{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:QN5DSHOFYAKZSAU4KDWDUM27IS","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":"e35a2b6701049f1f93ce36a491d443f2fd065427185b682e7fbf08f73b04176e","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-11-03T14:16:31Z","title_canon_sha256":"896ebbe60bff4b3984ed729522a670ebe5b2d4d06e432d091bd3d9dc55a96247"},"schema_version":"1.0","source":{"id":"1511.00915","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.00915","created_at":"2026-05-18T01:09:51Z"},{"alias_kind":"arxiv_version","alias_value":"1511.00915v1","created_at":"2026-05-18T01:09:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.00915","created_at":"2026-05-18T01:09:51Z"},{"alias_kind":"pith_short_12","alias_value":"QN5DSHOFYAKZ","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"QN5DSHOFYAKZSAU4","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"QN5DSHOF","created_at":"2026-05-18T12:29:37Z"}],"graph_snapshots":[{"event_id":"sha256:fa26c981e4076ea3e66bc4410dd226550a13658991288f51db97467c0069771b","target":"graph","created_at":"2026-05-18T01:09:51Z","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":"Recently, we see a new type of interfaces for programmers based on web technology. For example, JSFiddle, IPython Notebook and R-studio. Web technology enables cloud-based solutions, embedding in tutorial web pages, atractive rendering of results, web-scale cooperative development, etc. This article describes SWISH, a web front-end for Prolog. A public website exposes SWI-Prolog using SWISH, which is used to run small Prolog programs for demonstration, experimentation and education. We connected SWISH to the ClioPatria semantic web toolkit, where it allows for collaborative development of prog","authors_text":"Fabrizio Riguzzi, Jan Wielemaker, Torbj\\\"orn Lager","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-11-03T14:16:31Z","title":"SWISH: SWI-Prolog for Sharing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.00915","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:3d5306e480c779012a57274c8e86769c1c3055983eab4a0fb9f4b603865705ad","target":"record","created_at":"2026-05-18T01:09:51Z","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":"e35a2b6701049f1f93ce36a491d443f2fd065427185b682e7fbf08f73b04176e","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-11-03T14:16:31Z","title_canon_sha256":"896ebbe60bff4b3984ed729522a670ebe5b2d4d06e432d091bd3d9dc55a96247"},"schema_version":"1.0","source":{"id":"1511.00915","kind":"arxiv","version":1}},"canonical_sha256":"837a391dc5c01599029c50ec3a335f448ce75e5f0ce70ed363b4fb1462f32971","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"837a391dc5c01599029c50ec3a335f448ce75e5f0ce70ed363b4fb1462f32971","first_computed_at":"2026-05-18T01:09:51.829180Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:51.829180Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eY0IqnSGvQagtighZh31UREgt0pNWaXbOTaSzfwgWKTK8apn6p6BFu3CLzPvNbP/OsZz6XihDDdpyKBhgwIWDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:51.829942Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.00915","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3d5306e480c779012a57274c8e86769c1c3055983eab4a0fb9f4b603865705ad","sha256:fa26c981e4076ea3e66bc4410dd226550a13658991288f51db97467c0069771b"],"state_sha256":"24431c4c233cfe84320ceb811d977d90bd0b5ba98216dd836880bd91b6d5068f"}