{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:JQRRBOLYJAJVINDNM3DSTEMCC5","short_pith_number":"pith:JQRRBOLY","schema_version":"1.0","canonical_sha256":"4c2310b978481354346d66c729918217506aa387dfb993749e02556841244cf1","source":{"kind":"arxiv","id":"1205.6235","version":2},"attestation_state":"computed","paper":{"title":"Algebraic logic and logical geometry in arbitrary varieties of algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.GR","authors_text":"Boris Plotkin","submitted_at":"2012-05-28T23:27:22Z","abstract_excerpt":"The paper consists of two parts. The first part is devoted to logic for universal algebraic geometry. The second one deals with problems and some results. It may be regarded as a brief exposition of some ideas from the book in progress: B.Plotkin, E.Aladova, E.Plotkin, \"Algebraic logic and logical geometry in arbitrary varieties of algebras\""},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1205.6235","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2012-05-28T23:27:22Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"69471314369357620a5c8ba1d3ed0afc732418d0f02996cc2b44512c9d37ae6b","abstract_canon_sha256":"9c1f4d044e22a89b66f30b51e31cb4efb1e145552728f018678eec9069e12cc6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:54:25.350951Z","signature_b64":"ipcTCq/hI0wOpw0RvlmlwKVi430nVhA9g4fj6ThCJwt7OS9B78xSAwZVLSRbqyosNNCefNTb8pLvpYoKlOO4BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4c2310b978481354346d66c729918217506aa387dfb993749e02556841244cf1","last_reissued_at":"2026-05-18T03:54:25.350398Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:54:25.350398Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Algebraic logic and logical geometry in arbitrary varieties of algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.GR","authors_text":"Boris Plotkin","submitted_at":"2012-05-28T23:27:22Z","abstract_excerpt":"The paper consists of two parts. The first part is devoted to logic for universal algebraic geometry. The second one deals with problems and some results. It may be regarded as a brief exposition of some ideas from the book in progress: B.Plotkin, E.Aladova, E.Plotkin, \"Algebraic logic and logical geometry in arbitrary varieties of algebras\""},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.6235","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1205.6235","created_at":"2026-05-18T03:54:25.350492+00:00"},{"alias_kind":"arxiv_version","alias_value":"1205.6235v2","created_at":"2026-05-18T03:54:25.350492+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.6235","created_at":"2026-05-18T03:54:25.350492+00:00"},{"alias_kind":"pith_short_12","alias_value":"JQRRBOLYJAJV","created_at":"2026-05-18T12:27:11.947152+00:00"},{"alias_kind":"pith_short_16","alias_value":"JQRRBOLYJAJVINDN","created_at":"2026-05-18T12:27:11.947152+00:00"},{"alias_kind":"pith_short_8","alias_value":"JQRRBOLY","created_at":"2026-05-18T12:27:11.947152+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JQRRBOLYJAJVINDNM3DSTEMCC5","json":"https://pith.science/pith/JQRRBOLYJAJVINDNM3DSTEMCC5.json","graph_json":"https://pith.science/api/pith-number/JQRRBOLYJAJVINDNM3DSTEMCC5/graph.json","events_json":"https://pith.science/api/pith-number/JQRRBOLYJAJVINDNM3DSTEMCC5/events.json","paper":"https://pith.science/paper/JQRRBOLY"},"agent_actions":{"view_html":"https://pith.science/pith/JQRRBOLYJAJVINDNM3DSTEMCC5","download_json":"https://pith.science/pith/JQRRBOLYJAJVINDNM3DSTEMCC5.json","view_paper":"https://pith.science/paper/JQRRBOLY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1205.6235&json=true","fetch_graph":"https://pith.science/api/pith-number/JQRRBOLYJAJVINDNM3DSTEMCC5/graph.json","fetch_events":"https://pith.science/api/pith-number/JQRRBOLYJAJVINDNM3DSTEMCC5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JQRRBOLYJAJVINDNM3DSTEMCC5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JQRRBOLYJAJVINDNM3DSTEMCC5/action/storage_attestation","attest_author":"https://pith.science/pith/JQRRBOLYJAJVINDNM3DSTEMCC5/action/author_attestation","sign_citation":"https://pith.science/pith/JQRRBOLYJAJVINDNM3DSTEMCC5/action/citation_signature","submit_replication":"https://pith.science/pith/JQRRBOLYJAJVINDNM3DSTEMCC5/action/replication_record"}},"created_at":"2026-05-18T03:54:25.350492+00:00","updated_at":"2026-05-18T03:54:25.350492+00:00"}