{"entities":{"Q4342007":{"pageid":6371606,"ns":120,"title":"Item:Q4342007","lastrevid":46503450,"modified":"2025-12-24T22:29:28Z","type":"item","id":"Q4342007","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1027996"}},"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":"Q4342007$9769D46B-9B87-4DB7-802D-3435A2DC75C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60eb848a13b5335ed6a927455cbba6d770f7ed33","datavalue":{"value":"0872.01030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4342007$2F068639-C8F9-49CE-9D7F-2093AD780E27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573eaa9f09b805670b2c75654b95c91de0ddd1a3","datavalue":{"value":{"entity-type":"item","numeric-id":2723403,"id":"Q2723403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4342007$41C1DFFA-C635-4E31-861E-558EA85FFE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053ce09180b2d822547e737529a79dc34c62def8","datavalue":{"value":{"entity-type":"item","numeric-id":1862361,"id":"Q1862361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4342007$81DBE071-DB8D-45A6-B8F2-0B33A31819BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00f9d13ed39f59c9c1392ae0c1f7dc89d06bd50","datavalue":{"value":{"time":"+1997-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4342007$8345A791-0F51-4123-8541-22D85AF82F94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4342007$97068B8B-56D2-4B71-A7D4-49BBCF144BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4342007$84F36A99-1E5C-4889-B9BD-8F1979C5E241","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a24065857dfd6ad2bf06385f3f5fecf8f60e17dd","datavalue":{"value":"1027996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4342007$CB638D0F-2239-4C08-998A-2DD05CA6C1A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$6708DE70-3842-4B39-A247-18A8839637C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$2E51EDD4-4D01-4205-94EE-70FADF96A914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$80080277-AA0C-4242-9429-C94C353FFC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$C6453855-9573-4E32-9062-BEC3AFDF12AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744f9aaa8e2290b02bfd1b66ad9b70a3c743d9ae","datavalue":{"value":"foundations, proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$44843FD6-56DD-47A5-9458-D9A88C7C1D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac29fe212ac0c4f3218093771cefb4e2fa0aea78","datavalue":{"value":"Hilbert's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$03B15AFB-E86A-409E-86D3-9C5CA02C3AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0bfa2656e61301cb469b984a24f838c0debf94","datavalue":{"value":"cosmology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$A4178A56-8EA7-4962-975B-9C187A72F8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5e1c951a113c8bef70e13dfd99bd8d64e330e13","datavalue":{"value":"time journeys","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$AF3E1C59-1251-4726-A993-EE1C93FA7191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"446c789d72051169fe588592cf7c6936a5a7ea1c","datavalue":{"value":"philosophy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$BDA015D7-37D2-466C-A877-DA214B8880D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d5008895167e582839aa308a56682360abe0adc","datavalue":{"value":"physics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$AA833B49-B3B6-4CC0-9A02-A250D1409280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a10a6d9eecd81833801dba1c7e4716d12489f780","datavalue":{"value":"computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$B639FE6C-CB3E-4FFE-8E95-E2DFF14007BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$B799CF14-4661-43EF-B95C-A3838FAEE136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad222f55139ace7eef123ebe088589440dc6572d","datavalue":{"value":"cognitive science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$A5DCAC30-8C16-4658-8D03-A8CEB7605610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$90421DD4-89E7-46C2-A211-3F1EFC4EE9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43fad87ee75d833443194a294914e2bb12af2355","datavalue":{"value":"Turing computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$597C82D2-AC77-447F-BC99-2AF77ACBB412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"488d34f52ca579a4f51954c3134ba7a1bebf6d45","datavalue":{"value":"undecidability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4342007$B0FCE021-3E4B-40E2-AB30-97A11A5108F4","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":"Q4342007$C7455293-2920-481C-94F4-CEC6B13BE466","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ccc0ceedb15aa4f84d387c65ed0c8a67411a68b","datavalue":{"value":{"entity-type":"item","numeric-id":4518170,"id":"Q4518170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5229eb5177061d842ecf8b21e678b0f48018604f","datavalue":{"value":{"amount":"+0.8389769792556763","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":"Q4342007$FE2246BE-0F53-4F1A-BC5A-6CE8A93D081E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba7942d3fdad38b7c94d6e8171f930c5a21f339","datavalue":{"value":{"entity-type":"item","numeric-id":4550583,"id":"Q4550583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e609f3df6a86e9634a75c8a455fead089ab9fa0","datavalue":{"value":{"amount":"+0.7919921875","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":"Q4342007$225415CA-580F-4BEF-A8CE-B1C3D633F6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9861692ffc34eeaf0b143e7977f72128c622c057","datavalue":{"value":{"entity-type":"item","numeric-id":2170477,"id":"Q2170477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41d2c18a6bdcb905b77b14de74753f5e394c3fb","datavalue":{"value":{"amount":"+0.7722952365875244","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":"Q4342007$45A742C0-EA2D-4C34-B5AE-BF7AFE518592","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4342007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4342007"}}}}}