{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:4RWXGCWB5TL3ALYQ2XYGPCI2V7","short_pith_number":"pith:4RWXGCWB","canonical_record":{"source":{"id":"1403.2194","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2014-03-10T09:39:12Z","cross_cats_sorted":["cs.AI","cs.DB","cs.IR"],"title_canon_sha256":"0caa113c75ce630507e6f109d951cf3d1bc8006bc55422bf5f04d04da5f4d597","abstract_canon_sha256":"abf29707261836148d887d69028c5356afa93526e09a7625c9c2e17b6472e95e"},"schema_version":"1.0"},"canonical_sha256":"e46d730ac1ecd7b02f10d5f067891aafc6dd5e131ac97fef513b1457a1661353","source":{"kind":"arxiv","id":"1403.2194","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.2194","created_at":"2026-05-18T02:51:56Z"},{"alias_kind":"arxiv_version","alias_value":"1403.2194v3","created_at":"2026-05-18T02:51:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.2194","created_at":"2026-05-18T02:51:56Z"},{"alias_kind":"pith_short_12","alias_value":"4RWXGCWB5TL3","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4RWXGCWB5TL3ALYQ","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4RWXGCWB","created_at":"2026-05-18T12:28:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:4RWXGCWB5TL3ALYQ2XYGPCI2V7","target":"record","payload":{"canonical_record":{"source":{"id":"1403.2194","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2014-03-10T09:39:12Z","cross_cats_sorted":["cs.AI","cs.DB","cs.IR"],"title_canon_sha256":"0caa113c75ce630507e6f109d951cf3d1bc8006bc55422bf5f04d04da5f4d597","abstract_canon_sha256":"abf29707261836148d887d69028c5356afa93526e09a7625c9c2e17b6472e95e"},"schema_version":"1.0"},"canonical_sha256":"e46d730ac1ecd7b02f10d5f067891aafc6dd5e131ac97fef513b1457a1661353","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:56.617937Z","signature_b64":"ltnyaGGShdhnUWKLcufPmpXv/Gpf8Eu8b6WAc3Hp9KeIwz33aOK0QmxBGPOfk4BH6J77dV/7oBGHrNpyAatLAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e46d730ac1ecd7b02f10d5f067891aafc6dd5e131ac97fef513b1457a1661353","last_reissued_at":"2026-05-18T02:51:56.617483Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:56.617483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.2194","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:51:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N6Msm97azoyatubUTqcKj2BKsaVIP74VohWFsmgREej1Uzp05maX3/8D8Ftq4fV+TCVNhwFOmgLtTWppZQsJCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T07:17:42.235544Z"},"content_sha256":"761d3fc44a69b204175145b134c233e1685e9879b1108b072603a07a8788847f","schema_version":"1.0","event_id":"sha256:761d3fc44a69b204175145b134c233e1685e9879b1108b072603a07a8788847f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:4RWXGCWB5TL3ALYQ2XYGPCI2V7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.DB","cs.IR"],"primary_cat":"cs.CG","authors_text":"Pedro Quaresma, Yannis Haralambous","submitted_at":"2014-03-10T09:39:12Z","abstract_excerpt":"Dynamic geometry systems (DGS) have become basic tools in many areas of geometry as, for example, in education. Geometry Automated Theorem Provers (GATP) are an active area of research and are considered as being basic tools in future enhanced educational software as well as in a next generation of mechanized mathematics assistants. Recently emerged Web repositories of geometric knowledge, like TGTP and Intergeo, are an attempt to make the already vast data set of geometric knowledge widely available. Considering the large amount of geometric information already available, we face the need of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.2194","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:51:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t4rp8UDhWK8nWjTrz7t+rnBIKdl6WjMs/RGk3uOzS0ooGBghsZ0jUKxVUoTCIsD7XrMl4g0KWK88Q4czpC58CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T07:17:42.236160Z"},"content_sha256":"210b006a5e387a2c49f318ef2b62e5c9517c4b82cc225f099049cc0fb44b6c70","schema_version":"1.0","event_id":"sha256:210b006a5e387a2c49f318ef2b62e5c9517c4b82cc225f099049cc0fb44b6c70"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4RWXGCWB5TL3ALYQ2XYGPCI2V7/bundle.json","state_url":"https://pith.science/pith/4RWXGCWB5TL3ALYQ2XYGPCI2V7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4RWXGCWB5TL3ALYQ2XYGPCI2V7/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-01T07:17:42Z","links":{"resolver":"https://pith.science/pith/4RWXGCWB5TL3ALYQ2XYGPCI2V7","bundle":"https://pith.science/pith/4RWXGCWB5TL3ALYQ2XYGPCI2V7/bundle.json","state":"https://pith.science/pith/4RWXGCWB5TL3ALYQ2XYGPCI2V7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4RWXGCWB5TL3ALYQ2XYGPCI2V7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:4RWXGCWB5TL3ALYQ2XYGPCI2V7","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"abf29707261836148d887d69028c5356afa93526e09a7625c9c2e17b6472e95e","cross_cats_sorted":["cs.AI","cs.DB","cs.IR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2014-03-10T09:39:12Z","title_canon_sha256":"0caa113c75ce630507e6f109d951cf3d1bc8006bc55422bf5f04d04da5f4d597"},"schema_version":"1.0","source":{"id":"1403.2194","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.2194","created_at":"2026-05-18T02:51:56Z"},{"alias_kind":"arxiv_version","alias_value":"1403.2194v3","created_at":"2026-05-18T02:51:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.2194","created_at":"2026-05-18T02:51:56Z"},{"alias_kind":"pith_short_12","alias_value":"4RWXGCWB5TL3","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4RWXGCWB5TL3ALYQ","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4RWXGCWB","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:210b006a5e387a2c49f318ef2b62e5c9517c4b82cc225f099049cc0fb44b6c70","target":"graph","created_at":"2026-05-18T02:51:56Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Dynamic geometry systems (DGS) have become basic tools in many areas of geometry as, for example, in education. Geometry Automated Theorem Provers (GATP) are an active area of research and are considered as being basic tools in future enhanced educational software as well as in a next generation of mechanized mathematics assistants. Recently emerged Web repositories of geometric knowledge, like TGTP and Intergeo, are an attempt to make the already vast data set of geometric knowledge widely available. Considering the large amount of geometric information already available, we face the need of ","authors_text":"Pedro Quaresma, Yannis Haralambous","cross_cats":["cs.AI","cs.DB","cs.IR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2014-03-10T09:39:12Z","title":"Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.2194","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:761d3fc44a69b204175145b134c233e1685e9879b1108b072603a07a8788847f","target":"record","created_at":"2026-05-18T02:51:56Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"abf29707261836148d887d69028c5356afa93526e09a7625c9c2e17b6472e95e","cross_cats_sorted":["cs.AI","cs.DB","cs.IR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2014-03-10T09:39:12Z","title_canon_sha256":"0caa113c75ce630507e6f109d951cf3d1bc8006bc55422bf5f04d04da5f4d597"},"schema_version":"1.0","source":{"id":"1403.2194","kind":"arxiv","version":3}},"canonical_sha256":"e46d730ac1ecd7b02f10d5f067891aafc6dd5e131ac97fef513b1457a1661353","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e46d730ac1ecd7b02f10d5f067891aafc6dd5e131ac97fef513b1457a1661353","first_computed_at":"2026-05-18T02:51:56.617483Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:51:56.617483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ltnyaGGShdhnUWKLcufPmpXv/Gpf8Eu8b6WAc3Hp9KeIwz33aOK0QmxBGPOfk4BH6J77dV/7oBGHrNpyAatLAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:51:56.617937Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.2194","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:761d3fc44a69b204175145b134c233e1685e9879b1108b072603a07a8788847f","sha256:210b006a5e387a2c49f318ef2b62e5c9517c4b82cc225f099049cc0fb44b6c70"],"state_sha256":"00d79b80f7e5105beeb63b2cd415b83ed98710dbe579767412a19024148a2557"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/zl0c2OJFoeSWchOIgFdb5eORaYsgrVxuX3dtMlaaPOScLzZdw4AsRdXyS20KSI8a1vJYCSML1iYiZUWtgVgDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T07:17:42.243430Z","bundle_sha256":"89d1857a4faf754db5495eb350eea15841479ff2fc4b5f15bd59217967dcd6df"}}