{"entities":{"Q4601127":{"pageid":6630710,"ns":120,"title":"Item:Q4601127","lastrevid":89772512,"modified":"2026-06-04T18:13:39Z","type":"item","id":"Q4601127","labels":{"en":{"language":"en","value":"A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6827712"}},"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":"Q4601127$9AEB61A7-E2FC-4E1D-B83A-1542B3DD1192","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5505ffc660ac16444f14bfbe27c88f2746fab3e8","datavalue":{"value":{"text":"A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4601127$264FC508-1779-4F47-9246-8CC94B1935F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f737e165d3e82ef7fa1963dc4d44f53950bb67ec","datavalue":{"value":"1420.03102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601127$A9E5B91C-612D-4EFE-9D82-9A5D75B6E4D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d297a90cf7322118a649fb3f11bee47ae14cb1a1","datavalue":{"value":"10.3233/FI-2017-1558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601127$C5EDC865-C776-4CD7-A896-064ADE0B83FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd30f3f0d1798b43b8e423e2420eb7e5d7953751","datavalue":{"value":{"entity-type":"item","numeric-id":1637232,"id":"Q1637232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601127$42F162D2-4634-4C93-AB90-520368911E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59d83211de22bb9037eb8bb17627d49ead9fa4a9","datavalue":{"value":{"entity-type":"item","numeric-id":287018,"id":"Q287018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601127$68706918-1040-4C94-A6E3-8D0494388659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1040094bf74402ed6fa4c78436dda64e324757","datavalue":{"value":{"entity-type":"item","numeric-id":1806108,"id":"Q1806108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601127$30977F5B-6D11-45BD-B224-F72BCD516D92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601127$19C062BC-C8D2-4332-9CE2-930FBF66F146","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3706de551438a6e783012180a02b770ee4195f88","datavalue":{"value":{"time":"+2018-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4601127$B65608EB-D2D4-493D-B1C8-20A077D9F22E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601127$E567E9B9-8677-49C0-A4E2-3FD02A53B552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601127$DFB7549E-472E-4C2F-86FD-69EDF23F7EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601127$29F715CC-923A-4DD3-8333-8FDD369E11C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"778f399fe9b56250ef5668f728b7d27150bd72e6","datavalue":{"value":"6827712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601127$6EB91CE8-2271-4851-817D-8B9662A84E19","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":"Q4601127$7CCCB7A9-D38A-43AB-8AD7-91739EE45044","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a0a9644198837379d477e854a61e6dae9bd7830","datavalue":{"value":"https://doi.org/10.3233/fi-2017-1558","type":"string"},"datatype":"url"},"type":"statement","id":"Q4601127$9B534A7D-D2CC-4337-B719-1A8207288BE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f74d007b2b39c218604fc6713c025024c967853","datavalue":{"value":"W2743083486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601127$5AAF3361-EBF4-467E-9BF7-8057E946A0A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_New_Proof_for_Undecidability_of_the_Bi-Infinite_Post_Correspondence_Problem"}}}}}