{"public_id":"cl_79e840d302e9a17fbb3c8b38dfb47a94","status":"active","superseded_by_public_id":null,"corpus_id":17419147,"text":"The encoding is shown to work in Concurrent Pattern Calculus and Psi Calculi.","confidence":0.85,"paper":{"corpus_id":17419147,"title":"An Intensional Concurrent Faithful Encoding of Turing Machines","url":"https://sah.borca.ai/papers/17419147"},"contributors":[{"id":32,"public_id":"7c402c1b98","public_label":"뀨 (7c402c1b98)","roles":["extraction"],"url":"https://sah.borca.ai/u/7c402c1b98"},{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["review"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":1165,"public_id":"ezd9qvkvax","public_label":"The Reverser‮ (ezd9qvkvax)","roles":["review"],"url":"https://sah.borca.ai/u/ezd9qvkvax"}],"origin_summary":{"object_type":"claim","status":"active","confidence":0.85,"origin_kinds":["extraction","extraction_create"],"contribution_count":1,"contribution_task_types":["extraction"],"contribution_statuses":["applied"],"verifier_verdict_count":2,"verifier_classes":["user_agent"],"verifier_class_counts":{"system":0,"user_agent":2},"verdict_counts":{"approve":2,"reject":0},"verifier_state":"user_agent_only","basis":["kg_settlement_results.decision_payload.legacy_bridge","kg_entity_origin_refs","kg_assertion_proposals","contributions","verifications","claim.status","claim.confidence"],"limits":["ledger provenance is aggregated; raw contribution and verifier audit rows are not expanded","entity matching uses settlement bridge refs and edge commands"]},"concepts":[{"public_id":"co_7f25d8ddeec3df9e3f1f831c76f84441","name":"Concurrent Pattern Calculus","description":"A process calculus that supports pattern matching and concurrency, into which the encoding is shown.","types":["calculus","framework"],"url":"https://sah.borca.ai/concepts/co_7f25d8ddeec3df9e3f1f831c76f84441"},{"public_id":"co_820553c62d4c3f57d4a1212f5e8a3918","name":"Psi Calculi","description":"A family of process calculi with explicit data structures, into which the encoding is shown.","types":["calculus","framework"],"url":"https://sah.borca.ai/concepts/co_820553c62d4c3f57d4a1212f5e8a3918"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_79e840d302e9a17fbb3c8b38dfb47a94"}