{"entities":{"Q6638457":{"pageid":14249609,"ns":120,"title":"Item:Q6638457","lastrevid":95653205,"modified":"2026-06-05T09:30:13Z","type":"item","id":"Q6638457","labels":{"en":{"language":"en","value":"Incompleteness theorem for computable problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7944495"}},"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":"Q6638457$291D8D50-6FAE-4EAF-B1A9-06E58C12A88E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84e6cdad8d408a13c44393777e96e2d277931b05","datavalue":{"value":{"text":"Incompleteness theorem for computable problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6638457$2FBD843C-1C01-4E97-8271-95ABA8E9B5AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61fc4f22cf5832b0c7d41742a937171474ad49be","datavalue":{"value":{"entity-type":"item","numeric-id":315002,"id":"Q315002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638457$F178D856-ABBC-41E5-902B-8A8085318990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42bf4d1af9a064344152535c0bc73eb6ab576493","datavalue":{"value":{"entity-type":"item","numeric-id":6066028,"id":"Q6066028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638457$8AD4C5D1-2235-4472-A2B1-89CF8BC01A38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638457$9F7CA6EF-BB94-48D6-89B5-FD60D2E516F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb9cdf9730b26db5897216e4448861f44aafb525","datavalue":{"value":{"time":"+2024-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6638457$E19E314A-CC3E-4E07-92AC-1FF68474A308","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638457$B547B726-5FBD-4AEA-B845-A2BED2FB72AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638457$BAE6B45F-75EC-4576-AD7E-F4841E7C8513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638457$B2AF54B3-5819-4849-935B-D45918FA668A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07e690e5832dbb74c083456869831f711216302d","datavalue":{"value":"7944495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638457$84D79717-00BA-42FE-8B4A-130363569840","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f979e184390b89615d5137e03b906ba48de5f596","datavalue":{"value":"diagonal method","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638457$8CA82228-62E0-4AD8-BBBD-9820AAFD8FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a44ba929878b43c4e66ff26632fe557ee210c0f","datavalue":{"value":"Diophantine set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638457$49A0D02B-9320-4FE7-BDA4-B61181E3D1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb5e53e93edfb5e939667dfe247041de4aa4ea85","datavalue":{"value":"recursively enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638457$5C14D3F2-67B1-479D-8ABA-FA09440D0DDC","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":"Q6638457$CD73AF2D-F298-43D3-B49D-730BB8146F77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d13be93326fe439d9ba63c1d8fc97ba3bcf3655","datavalue":{"value":{"entity-type":"item","numeric-id":3893911,"id":"Q3893911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638457$E134C1FA-35C6-4B5C-AF02-73CFB5CE42E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a421839b720b307a70a60e713db5fc8e1da1e6bd","datavalue":{"value":{"entity-type":"item","numeric-id":6066029,"id":"Q6066029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638457$F6AF484B-E864-47D4-ACA3-BA8EF1EF9517","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fdec5931f6f684368b9a362c67282ba74d106f1","datavalue":{"value":"10.1007/S10559-024-00707-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638457$D537D277-2823-429B-8E38-0347AB9AA53C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incompleteness theorem for computable problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Incompleteness_theorem_for_computable_problems"}}}}}