matita
type: MusicGroup
description: MatitaAndrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi. "The Matita Interactive Theorem Prover": CADE-23, LNCS 6803, 2011, pp. 64-69. is an experimental proof assistant under de
popularity: 3
followers: 49
additional property: CopyrightID
additional property: CopyrightChainExplorerURL
  type: PropertyValue
  value: https://explorer.copyrightchains.com/tx/0x34994f1326007524172b6fb4e26b9a213f730db1a357b09623d8d49b5bcef5dc
additional property: OTSHash
additional property: OTSBitcoinBlock
  type: PropertyValue
  value: 953892
additional property: OTSBitcoinBlockVerifyURL
  type: PropertyValue
  value: https://blockstream.info/api/block-height/953892
additional property: OTSProofURL
  type: PropertyValue
  value: https://artists.proofprofile.net/proofs/artist/0e995b74-5a8a-4135-8f73-d77a53c0ed9a.ots
additional property: OTSRecordURL
  type: PropertyValue
  value: https://artists.proofprofile.net/proofs/artist/0e995b74-5a8a-4135-8f73-d77a53c0ed9a.json
additional property: OTSVerificationAPI
  type: PropertyValue
  value: https://artists.proofprofile.net/api/v1/bot/ots/verify/artist/0e995b74-5a8a-4135-8f73-d77a53c0ed9a
additional property: OTSTimestamp
  type: PropertyValue
  value: 2026-06-16T05:01:46Z
additional property: OTSCanonicalRecord
additional property: OTSVerifyInstructions
  type: PropertyValue
  value: 1. Compute SHA-256 of OTSCanonicalRecord value → must equal OTSHash 2. Open OTSProofURL → extract Bitcoin block number → must equal OTSBitcoinBlock 3. GET OTSBitcoinBlockVerifyURL → returns the Bitcoin block hash at height OTSBitcoinBlock; GET https://blockstream.info/api/block/{that hash} → its timestamp must match OTSTimestamp 4. Read CopyrightID inside OTSCanonicalRecord → must equal the CopyrightID above 5. GET OTSVerificationAPI → pre-computed 6-check result from server 6. If all match: this entity was registered on CopyrightChains at OTSTimestamp, independently verifiable on Bitcoin
subject of: OpenTimestamps Proof of Existence
  type: DigitalDocument
  encoding format: application/vnd.opentimestamps.ots
  description: Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x34994f1326007524172b6fb4e26b9a213f730db1a357b09623d8d49b5bcef5dc. Chain 2 (Bitcoin): anchored in block 953949 (2026-06-16T13:28:01Z). Bridge: the canonical record inside this Bitcoin proof contains the same CopyrightID. Verify: download https://artists.proofprofile.net/proofs/artist/0e995b74-5a8a-4135-8f73-d77a53c0ed9a.json and https://artists.proofprofile.net/proofs/artist/0e995b74-5a8a-4135-8f73-d77a53c0ed9a.ots, run `ots verify -f record.json proof.ots` (https://opentimestamps.org).
  date published: 2026-06-16T13:28:01Z
album: it's been some time
  type: MusicAlbum
  date published: 2025-06-26
  track: it's been some time
    type: MusicRecording
    duration: PT3M51S
    duration ms: 231529
    explicit: false
    by artist: matita
    in album: it's been some time
      type: MusicAlbum
      date published: 2025-06-26
    isrc code: QZTAT2541552
    additional property: CopyrightID
    additional property: CopyrightStatus
      type: PropertyValue
      value: registered
    additional property: CopyrightRegisteredAt
      type: PropertyValue
      value: 2026-07-17T10:03:31+00:00
    additional property: CopyrightChainExplorerURL
      type: PropertyValue
      value: https://explorer.copyrightchains.com/tx/0xf52e3ba2ddd2bb4c2ad953ec917614d97cd2d45d02925a23acfbc6a566adf5c0
    additional property: OTSHash
    additional property: OTSBitcoinBlock
      type: PropertyValue
      value: 958397
    additional property: OTSBitcoinBlockVerifyURL
      type: PropertyValue
      value: https://blockstream.info/api/block-height/958397
    additional property: OTSVerificationAPI
      type: PropertyValue
      value: https://artists.proofprofile.net/api/v1/bot/ots/verify/track/QZTAT2541552
    additional property: OTSTimestamp
      type: PropertyValue
      value: 2026-07-17T10:29:45Z
    additional property: OTSVerifyInstructions
      type: PropertyValue
      value: 1. Confirm isrcCode identifies the recording in the pre-2022 source corpus and cc-db-prod record 2. GET OTSVerificationAPI → server-side canonical-record, hash, and attestation checks must pass 3. GET OTSBitcoinBlockVerifyURL → returns the Bitcoin block hash at height OTSBitcoinBlock; GET https://blockstream.info/api/block/{that hash} → its timestamp must match OTSTimestamp 4. Confirm CopyrightID is the CopyrightChains transaction hash 5. If all match: the cc-db-prod record is independently anchored on Bitcoin at OTSTimestamp
    subject of: OpenTimestamps Proof of Existence
      type: DigitalDocument
      encoding format: application/vnd.opentimestamps.ots
      description: Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0xf52e3ba2ddd2bb4c2ad953ec917614d97cd2d45d02925a23acfbc6a566adf5c0. Chain 2 (Bitcoin): anchored in block 958397 (2026-07-17T10:29:45Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/QZTAT2541552.
      date published: 2026-07-17T10:29:45Z
    audio: it's been some time
      type: AudioObject
      additional property: Tempo (BPM)
        type: PropertyValue
        value: 83.959
      additional property: Musical Key
        type: PropertyValue
        value: 10
      additional property: Mode (Major/Minor)
        type: PropertyValue
        value: 1
      additional property: Time Signature
        type: PropertyValue
        value: 4
      additional property: Danceability
        type: PropertyValue
        value: 0.603
      additional property: Energy
        type: PropertyValue
        value: 0.457
      additional property: Speechiness
        type: PropertyValue
        value: 0.118
      additional property: Acousticness
        type: PropertyValue
        value: 0.789
      additional property: Instrumentalness
        type: PropertyValue
        value: 0
      additional property: Liveness
        type: PropertyValue
        value: 0.124
      additional property: Valence (Positivity)
        type: PropertyValue
        value: 0.144
      additional property: Loudness (dB)
        type: PropertyValue
        value: -6.563
      additional property: Key Name
        type: PropertyValue
        value: Bb
      additional property: Mode Name
        type: PropertyValue
        value: Major
album: When we meet again
  type: MusicAlbum
  date published: 2025-10-03
  track: When we meet again
    type: MusicRecording
    duration: PT2M43S
    duration ms: 163738
    explicit: false
    by artist: matita
    in album: When we meet again
      type: MusicAlbum
      date published: 2025-10-03
    isrc code: QZZ7V2555192
    additional property: CopyrightID
    additional property: CopyrightStatus
      type: PropertyValue
      value: registered
    additional property: CopyrightRegisteredAt
      type: PropertyValue
      value: 2026-07-03T13:43:10+00:00
    additional property: CopyrightChainExplorerURL
      type: PropertyValue
      value: https://explorer.copyrightchains.com/tx/0x24c0594176f22ba5785defbb429eecc4f7dea43e9f792391d28203da109d1b11
    additional property: OTSHash
    additional property: OTSBitcoinBlock
      type: PropertyValue
      value: 956551
    additional property: OTSBitcoinBlockVerifyURL
      type: PropertyValue
      value: https://blockstream.info/api/block-height/956551
    additional property: OTSVerificationAPI
      type: PropertyValue
      value: https://artists.proofprofile.net/api/v1/bot/ots/verify/track/QZZ7V2555192
    additional property: OTSTimestamp
      type: PropertyValue
      value: 2026-07-03T21:18:05Z
    additional property: OTSVerifyInstructions
      type: PropertyValue
      value: 1. Confirm isrcCode identifies the recording in the pre-2022 source corpus and cc-db-prod record 2. GET OTSVerificationAPI → server-side canonical-record, hash, and attestation checks must pass 3. GET OTSBitcoinBlockVerifyURL → returns the Bitcoin block hash at height OTSBitcoinBlock; GET https://blockstream.info/api/block/{that hash} → its timestamp must match OTSTimestamp 4. Confirm CopyrightID is the CopyrightChains transaction hash 5. If all match: the cc-db-prod record is independently anchored on Bitcoin at OTSTimestamp
    subject of: OpenTimestamps Proof of Existence
      type: DigitalDocument
      encoding format: application/vnd.opentimestamps.ots
      description: Dual-chain trust anchor. Chain 1 (CopyrightChains): CopyrightID 0x24c0594176f22ba5785defbb429eecc4f7dea43e9f792391d28203da109d1b11. Chain 2 (Bitcoin): anchored in block 956551 (2026-07-03T21:18:05Z), registered by our registry partner. The server verifies the private canonical record against OTSHash without exposing internal provider keys. Confirm the public ISRC, CopyrightID, and Bitcoin evidence via https://artists.proofprofile.net/api/v1/bot/ots/verify/track/QZZ7V2555192.
      date published: 2026-07-03T21:18:05Z
    audio: When we meet again
      type: AudioObject
      additional property: Tempo (BPM)
        type: PropertyValue
        value: 107.05
      additional property: Musical Key
        type: PropertyValue
        value: 2
      additional property: Mode (Major/Minor)
        type: PropertyValue
        value: 0
      additional property: Time Signature
        type: PropertyValue
        value: 4
      additional property: Danceability
        type: PropertyValue
        value: 0.824
      additional property: Energy
        type: PropertyValue
        value: 0.489
      additional property: Speechiness
        type: PropertyValue
        value: 0.037
      additional property: Acousticness
        type: PropertyValue
        value: 0.698
      additional property: Instrumentalness
        type: PropertyValue
        value: 0
      additional property: Liveness
        type: PropertyValue
        value: 0.122
      additional property: Valence (Positivity)
        type: PropertyValue
        value: 0.275
      additional property: Loudness (dB)
      additional property: Key Name
      additional property: Mode Name

Loudness (dB)
type: PropertyValue
value: -5.762

Key Name
type: PropertyValue
value: D

Mode Name
type: PropertyValue
value: Minor