{"entities":{"Q2804199":{"pageid":2814937,"ns":120,"title":"Item:Q2804199","lastrevid":58022919,"modified":"2026-04-03T12:03:30Z","type":"item","id":"Q2804199","labels":{"en":{"language":"en","value":"Non-obfuscated unprovable programs \\& many resultant subtleties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6574842"}},"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":"Q2804199$88099E01-DE7D-4F1C-BC48-3E24B1071D8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"337fd333c7c0b5d77334bba9b0806ac678838386","datavalue":{"value":"1448.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804199$8F04036D-8385-47EC-924B-85B2A842EC79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d887e4c47d689de055b57c204c25681b7b7bcb41","datavalue":{"value":"10.2168/LMCS-12(2:2)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804199$CAF751E8-F817-4E9A-BAB1-198103179851","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"267cf15627d1a715338ba1183862d76edd998408","datavalue":{"value":{"entity-type":"item","numeric-id":2804198,"id":"Q2804198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804199$DBBD9848-9C27-4AEF-B75C-8CE013F68CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18369b63bf2775c4485ffd805b1986a701043b3e","datavalue":{"value":{"entity-type":"item","numeric-id":235644,"id":"Q235644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804199$05CD7D30-B587-4AF8-94F4-A7ECE3D0D2B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804199$61733244-03AC-4A12-9258-66E6E1ECC9D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"023d69fc066169597fa101da2e0c4ab7a589a584","datavalue":{"value":{"time":"+2016-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804199$601CC1DA-B1E9-440E-9ECD-7ABDEA3EBD48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ae32bc98506a40a30cb0060687d0254a5ca1309","datavalue":{"value":"https://arxiv.org/abs/1603.09300","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804199$817EB008-28B5-494F-A0E1-703D3FCCC890","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804199$252F5291-0359-43AC-9B92-F95357949085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804199$D9EFFCB7-F6C2-4BE5-A540-63A17816992F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804199$FEC3AE34-5246-4F81-8D64-F7A4E5C5BCC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"343e06ebd6809bfb69a0f30b0f0c626a7ed0f642","datavalue":{"value":"6574842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804199$2E447659-EA3C-46B7-95D8-38E6AD090DA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023ce57622b1ab8764711a9bfbdafc710962cfef","datavalue":{"value":"computation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804199$889D19C2-B09B-44B7-933E-CA79F553B24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804199$226D5DB8-3A03-42FA-977D-D2063D42C7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5af57a20a640a228ee31952e85afe647d9beb750","datavalue":{"value":"runtime","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804199$F8843147-689D-469D-9B5B-27CE2A56B762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804199$19C5BDAA-F7D4-4899-99EC-5EE8D1DEDCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a34268804f2be58a3e6da93aa19043baf8e4fc95","datavalue":{"value":"program size","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804199$F58DA55B-43A4-43B4-9D64-6F479084245C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804199$848BA229-F8DB-4662-B0A0-D8CA157CF39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804199$B1B5161C-F56F-49E1-ABCD-59E2047504F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7c24935dcad54bb8b35bd2297a2d654d149a5b","datavalue":{"value":"constructivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804199$EBB37574-6E35-46FA-94A2-3E5E7FAC32AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3300d494d834018bd4caaa8717cf9394d7055b92","datavalue":{"value":"reasoning about programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804199$EEBE65DA-07ED-4299-8DFB-2485D905DC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804199$04D5339B-32B2-4B68-A472-740BF8A882F5","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":"Q2804199$736948AF-865D-42FE-AB83-72B1A80567ED","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"45fe1e6bdb5b5d4e5b388de9d159b8b268e9bdfd","datavalue":{"value":"Q126088240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804199$C540382A-DB51-4E06-B543-F9608C1C9BE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf28e6856b335f79856ad338f4a02f84c62b9011","datavalue":{"value":"W2322071946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804199$22CDEAF5-D1FF-4A70-916D-BA8B8860A7E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e38ab3cf9f12d6bfe09ff823f334b6edf911c5e8","datavalue":{"value":{"text":"Non-obfuscated unprovable programs \\& many resultant subtleties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804199$2CBA929F-33F5-4CC6-9964-D284A7E0152C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c5faecb5fda312f3c5174fbc97b6b5207b9dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2563951,"id":"Q2563951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb885afde0c5d8e7cd2903b0a650ef4143e1632","datavalue":{"value":{"amount":"+0.7046610713005066","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":"Q2804199$85707DB2-F7FB-4A99-886A-1F3CCD8F7456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678c0c38f6268df2cba63533bb44a641d219e574","datavalue":{"value":{"entity-type":"item","numeric-id":3197301,"id":"Q3197301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f78a5f9c4c74fedac6834d00d942dac0cacef4","datavalue":{"value":{"amount":"+0.7041698694229126","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":"Q2804199$8D63BED5-5E10-4298-B76C-1EBE660400CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286621dceae39ed4c4865eaae2eefab2f27b11b1","datavalue":{"value":{"entity-type":"item","numeric-id":1316958,"id":"Q1316958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26f0859eca557c87b367533114ea4a032a55ebf","datavalue":{"value":{"amount":"+0.701023280620575","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":"Q2804199$359D3004-6C4A-474F-8DE9-E3961EB8FB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe603bd2816a7377c708a6d590b5e092b2b23d8","datavalue":{"value":{"entity-type":"item","numeric-id":2963953,"id":"Q2963953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26f0859eca557c87b367533114ea4a032a55ebf","datavalue":{"value":{"amount":"+0.701023280620575","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":"Q2804199$0F48E516-6DB5-4D7F-A726-F63120E09CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf843fc562649d5f1d6e00070732b576086513d","datavalue":{"value":{"entity-type":"item","numeric-id":3654815,"id":"Q3654815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e39a522a9dac47810bb265dc8426fc5c0ea22cad","datavalue":{"value":{"amount":"+0.6986026167869568","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":"Q2804199$9850980C-701F-479A-AE4C-69F0706F86F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804199"}}}}}