{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:C5E5NEZS44TIQJHUEIAQE5V4ZK","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":"20850caace1827d4123c8eb3a88891bf047a285b590c1911c67c73f4ace92c47","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-03-09T09:30:01Z","title_canon_sha256":"c0ae8e479bde0eb82c1a6bd4cf955a40122c2b1c28909d15514d6b081acf06f3"},"schema_version":"1.0","source":{"id":"1703.03193","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.03193","created_at":"2026-05-18T00:49:01Z"},{"alias_kind":"arxiv_version","alias_value":"1703.03193v1","created_at":"2026-05-18T00:49:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.03193","created_at":"2026-05-18T00:49:01Z"},{"alias_kind":"pith_short_12","alias_value":"C5E5NEZS44TI","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"C5E5NEZS44TIQJHU","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"C5E5NEZS","created_at":"2026-05-18T12:31:08Z"}],"graph_snapshots":[{"event_id":"sha256:5b728f7bb0114b2b82c8c312e754a56661c65c7e98e3ca00eb607748771ad9e4","target":"graph","created_at":"2026-05-18T00:49:01Z","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":"We propose a new linear algebraic approach to the computation of Tarskian semantics in logic. We embed a finite model M in first-order logic with N entities in N-dimensional Euclidean space R^N by mapping entities of M to N dimensional one-hot vectors and k-ary relations to order-k adjacency tensors (multi-way arrays). Second given a logical formula F in prenex normal form, we compile F into a set Sigma_F of algebraic formulas in multi-linear algebra with a nonlinear operation. In this compilation, existential quantifiers are compiled into a specific type of tensors, e.g., identity matrices in","authors_text":"Taisuke Sato","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-03-09T09:30:01Z","title":"Embedding Tarskian Semantics in Vector Spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.03193","kind":"arxiv","version":1},"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:a9851263de97c692f895153a064e4d232b73bfedbf3e5bf091546a5a4e66c34f","target":"record","created_at":"2026-05-18T00:49:01Z","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":"20850caace1827d4123c8eb3a88891bf047a285b590c1911c67c73f4ace92c47","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-03-09T09:30:01Z","title_canon_sha256":"c0ae8e479bde0eb82c1a6bd4cf955a40122c2b1c28909d15514d6b081acf06f3"},"schema_version":"1.0","source":{"id":"1703.03193","kind":"arxiv","version":1}},"canonical_sha256":"1749d69332e7268824f422010276bcca86ff391f2a88b03efe5f2c8a5a4a3542","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1749d69332e7268824f422010276bcca86ff391f2a88b03efe5f2c8a5a4a3542","first_computed_at":"2026-05-18T00:49:01.168161Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:49:01.168161Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pq4RUuA09I2uYfduA2ts1BW7w5yA+cUJWlGjmen7RQI6DvD/BqcuPpr95pHFhxsY5O1SYX8ck7ycHntYsM4CAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:49:01.168660Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.03193","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a9851263de97c692f895153a064e4d232b73bfedbf3e5bf091546a5a4e66c34f","sha256:5b728f7bb0114b2b82c8c312e754a56661c65c7e98e3ca00eb607748771ad9e4"],"state_sha256":"9a7a59d8d08c71e94db54a066ce6872ae7e6f7691a86defd2420af59bb34dde0"}