{"entities":{"Q5458840":{"pageid":7488399,"ns":120,"title":"Item:Q5458840","lastrevid":55915393,"modified":"2026-02-21T02:55:53Z","type":"item","id":"Q5458840","labels":{"en":{"language":"en","value":"Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267230"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$A38F3243-3EEE-4230-98E2-116505A50E1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68c8dc3b537d3c98887d45a44d551da2eb01c107","datavalue":{"value":{"text":"Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458840$AC0BC635-D76C-4397-B8E6-643DA486C8F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f6e6d20cc41ee3fd1beb0c54ebd956988056552","datavalue":{"value":"1136.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458840$56E1B9BA-8B40-4397-9B13-BF7683948086","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8ce1eeac7f7f6446cc42d63818912e20821f85a","datavalue":{"value":"10.1007/978-3-540-77050-3_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458840$4A9FF5C9-67CF-4A0F-AB23-CF8FA039E87C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0be1ac20fc64e80e03356c38e3c7d9190e7a1594","datavalue":{"value":{"entity-type":"item","numeric-id":290911,"id":"Q290911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$B1A8376F-6466-4145-AAFE-FF69D0B74D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4493e58bf4fbc540cfb048ba7a90aea2a6a229","datavalue":{"value":{"entity-type":"item","numeric-id":1045896,"id":"Q1045896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$D9AB8D19-05CB-4BC1-B140-E37DBECD8FF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f400cf98ce4c71458fdc00bd29010c3be676f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5458819,"id":"Q5458819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$D0B95E31-FC22-40A4-B8B0-68A8226E0E03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458840$29CE68E7-F176-406B-BAEA-4F750A47366E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458840$609B2F51-AE5C-4BCA-849C-2F96E9C3C838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458840$87177CCE-0054-4FEC-892B-0D94AF2EBAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458840$1A7848CA-7DD1-4F84-A402-7F9580C3E2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458840$13486D1A-ECD0-425B-A677-D9D304A96E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458840$0F83FF81-7E07-4275-A0ED-877F19CF3F89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16c168cce8f35b64a97b25dde85837484440cb8f","datavalue":{"value":"5267230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458840$A4129CA5-3093-42CA-94BC-3EDE6A2A7424","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2089572f0fb6132b1f06d0e9b780ef433f22f2b9","datavalue":{"value":"Post correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458840$ACC7FCC6-F368-48EA-BBF3-86F64D214E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fcd088e562393f41a8b90ad3dcdd3985ee98744","datavalue":{"value":"Lossy channel systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458840$6C9D0BF6-54ED-4FA2-AE20-83557C755AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95bfd6ce815069a25edc435477f5c4bf07bbfc3b","datavalue":{"value":"Higman's Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458840$E91C9CF8-859A-431B-A2CD-3274D286C38B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$834F7E66-8E8A-44A4-8551-B2C8AF2762DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb614d7ac275879b78351f483807c26258198b33","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77050-3_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458840$1434D135-C9E5-4996-B356-BD2F83C7E59D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"850fdfeadedb9c5d44d8cb8ed0edbc2a84dc15fa","datavalue":{"value":"W1528258327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458840$0E9A15BA-1418-4A18-8744-F0A2902FE434","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"43fd7dfce4c990b6920362a524c5a16847bd2f93","datavalue":{"value":"Q56095061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458840$EC67FF52-1EF3-4DB0-96A6-0BDBBC083FE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6568417d4238fec38579b935f14f3e0bdb38f7b4","datavalue":{"value":{"entity-type":"item","numeric-id":1776399,"id":"Q1776399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$ADA45B01-CCA6-4171-BD77-EAC50F6F82F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2fc2ea4bc1f716abf3be414b8e438cd1426902","datavalue":{"value":{"entity-type":"item","numeric-id":5716855,"id":"Q5716855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$45EC55C1-9EB8-4B82-8057-3DA23ECFE8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$BFB5C09F-8926-46BE-8209-465A40887835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db184f4cf650f16ff6a2ff6d0f9acf64a6ba5d3c","datavalue":{"value":{"entity-type":"item","numeric-id":3150203,"id":"Q3150203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$1D828F34-51F4-48A0-8930-2A37117D55C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3725f98177c3381a3638b1e83ae17578a0b12efe","datavalue":{"value":{"entity-type":"item","numeric-id":2503403,"id":"Q2503403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$8AEE3BD2-EC71-41CD-AEB9-7AF6E8363316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c1cc586f08515e85e2943e020580888ed2d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941069,"id":"Q5941069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$F7F10F0E-EAB7-4527-98FF-0E0052466F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361994bc5e4959426e39a3cfcacc93fd92994b71","datavalue":{"value":{"entity-type":"item","numeric-id":5394613,"id":"Q5394613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$39D1475E-56B1-491A-844E-049F01363FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84654a5c9e530f7b81a633bee8f3aab1cced6c34","datavalue":{"value":{"entity-type":"item","numeric-id":5705879,"id":"Q5705879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$E1001556-4DD1-4734-9A24-F233901B4AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf8663ee6d45c3185a10176c895ed8d23da520a","datavalue":{"value":{"entity-type":"item","numeric-id":5310684,"id":"Q5310684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$E9EFB739-A818-4916-A1AE-37A7DAB9CBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31570aef269799d433b4eee3cebf43b1b15c053","datavalue":{"value":{"entity-type":"item","numeric-id":792770,"id":"Q792770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$81E45D87-6029-4AFE-8440-78A888C76D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84aa3492e1e78b3174133ed020064159d81c51d","datavalue":{"value":{"entity-type":"item","numeric-id":5714450,"id":"Q5714450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$A9ABE489-5F09-4576-8D24-49B1795402D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03614393cfd083a0ec1d904cd9ce50b0636d0e52","datavalue":{"value":{"entity-type":"item","numeric-id":1853078,"id":"Q1853078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458840$56997508-736B-4937-BFE7-37D8EBB08FF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f015fea58dec577a81b2ad578ae59490fedde7","datavalue":{"value":{"entity-type":"item","numeric-id":5458353,"id":"Q5458353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d60043c23895ff9fcdb006f208523c645272352","datavalue":{"value":{"amount":"+0.8427209258079529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458840$C8F9F9C5-B892-4EFE-9BC1-3C326FCC57E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e03e697ebf10aa902b5ab477f6d5ee9a00917d","datavalue":{"value":{"entity-type":"item","numeric-id":3587427,"id":"Q3587427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac43d37fa6f5862f7c8f60a836891272e3b8c3ce","datavalue":{"value":{"amount":"+0.7852113246917725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458840$B5EC76D2-A02C-41D6-8E3A-606468B4325F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c3d6fa0d3b02bba9f7a50d0af28073ca838050","datavalue":{"value":{"entity-type":"item","numeric-id":5246728,"id":"Q5246728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b167841a443680bd708d7d758833120a319ea5","datavalue":{"value":{"amount":"+0.7726321220397949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5458840$7E894B7E-1E3A-4B01-B064-C9219BDE5239","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458840","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458840"}}}}}