{"entities":{"Q5569451":{"pageid":7599011,"ns":120,"title":"Item:Q5569451","lastrevid":31162722,"modified":"2024-03-19T13:25:59Z","type":"item","id":"Q5569451","labels":{"en":{"language":"en","value":"The Undecidability of \u03bbK-Conversion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3286033"}},"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":"Q5569451$227C15C0-D163-4C42-BAAD-0FB41EE55529","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e986ae08bfa48472456e7be28bac983f8c6f052","datavalue":{"value":{"text":"The Undecidability of \u03bbK-Conversion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5569451$9A7213D1-39E7-458F-BA3A-B2C004EE1BA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5975854af31fb7c19ac8e07461aef3400c4058c","datavalue":{"value":"0179.02001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5569451$9D055973-07B2-4DC1-BC02-216A45543BF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1186b01061fb9f08a25cef3e8671fde6286eda3a","datavalue":{"value":"10.1007/978-3-642-86745-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5569451$5D951B17-F8F5-4D98-9BC8-A3D8550E06C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a9a6762b71c4cb75bea4c96667516c7188a3d0","datavalue":{"value":{"entity-type":"item","numeric-id":5351847,"id":"Q5351847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569451$ECD5A6AD-CFD6-4F1E-BFD1-70B709602F9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ebb271ba779bdc18e731b88d6d6d8739d7e37f","datavalue":{"value":{"time":"+1969-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5569451$D9E944E7-5853-4DA0-B89A-397D781610D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5569451$8095D71C-62DC-4D9B-8679-34285A6CA9CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dea3ec10f6e93b4e7be70409882fbfa4d487a784","datavalue":{"value":"3286033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5569451$D8133C2A-D526-4378-8493-643FCE281752","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5569451$F9F2618C-8E70-4FB6-9042-B8B79C38CE41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7119532effe095ac0ad4ad19f7f7e1492a6f80f","datavalue":{"value":{"entity-type":"item","numeric-id":769599,"id":"Q769599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569451$F64722CD-57EF-461F-AF95-BF713CDD1E90","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":"Q5569451$B0589025-0462-4F2D-B426-A2361CDD28BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebc10f932dc10db52f91880a4a75ff106e43980f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-86745-3_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5569451$2EC4ECD2-7031-49D2-8334-74009CA1BBFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52f6f4b074413ccba884492fe1e38fd02c06fe33","datavalue":{"value":"W123568568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5569451$FF8B7687-EF65-49D8-A6D1-6178EC8DF36E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5569451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5569451"}}}}}