{"entities":{"Q1401309":{"pageid":1412049,"ns":120,"title":"Item:Q1401309","lastrevid":68625000,"modified":"2026-04-13T01:00:25Z","type":"item","id":"Q1401309","labels":{"en":{"language":"en","value":"Undecidable problems in unreliable computations."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965327"}},"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":"Q1401309$85326817-5BE5-4213-BEC3-D2A79EE0AF5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ebc2dcb0a890c4e9215ebb0dc56efd6e4b16a57","datavalue":{"value":{"text":"Undecidable problems in unreliable computations.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401309$1650104F-1868-4041-B7A3-C62F317CAF99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d34ce3b13e788d22a44aa4d97047cd0454a31555","datavalue":{"value":"1044.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401309$64E63B05-F448-4CB8-85AC-BFFE94BCE789","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf127cb4115a0e050cd1b7fe3ef934e1ccb6aa43","datavalue":{"value":"10.1016/S0304-3975(02)00646-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401309$B0A3645F-A8C5-46EC-9B76-563DC78D4CAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$5E3B14B3-7202-43CD-B0B6-650FE7CC76A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$850E9F74-0D67-42E5-A1DC-8A0257E66383","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401309$9817F362-607E-4F92-BB96-7FA629937E7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401309$B41BF4D3-FBAF-420F-A9F3-255CA0E1219D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"933c360ce83daab8a46835172273c5280089ee76","datavalue":{"value":"1965327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401309$4CDC126F-B373-4274-8FDA-89ABD82264DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20099646c68e0aba76c7db6acb8ad390030cf2e2","datavalue":{"value":"Counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401309$0971A3A9-1468-417D-9FDC-9C3196A56B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d56337458cef5cf0a17751a740ce19abd65bc17c","datavalue":{"value":"Lossy counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401309$93899A91-0BC4-4995-B7F2-EC9DF45A2F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401309$B1CF849F-242D-4C49-8CFF-29B8626E3082","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":"Q1401309$C7937507-755B-4125-AE8D-10D0C66AD948","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$AC10009A-5D05-4753-8C71-886854BF386A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2fc0a63389634a9e98983124e81872cbd40ee63","datavalue":{"value":{"entity-type":"item","numeric-id":675223,"id":"Q675223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$A111D9B2-7F30-4A1B-89E6-5A6F374B4A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1f7c77caeeaf6f88e52136397f517769aac8c9","datavalue":{"value":{"entity-type":"item","numeric-id":1960526,"id":"Q1960526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$383BE71F-5530-4070-AE62-CCD4F695D4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8364c618ad76db52057e29b74d52fa66ec4e18c2","datavalue":{"value":{"entity-type":"item","numeric-id":4251060,"id":"Q4251060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$91725946-EDC0-4682-958C-A2C191E4E58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1cd4c2e45e61ad45ad2f7a29f6c1dd31ffaa91","datavalue":{"value":{"entity-type":"item","numeric-id":1908353,"id":"Q1908353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$05BF7302-3229-4503-B9A6-EB513B699D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$A4A718BD-7F27-4806-83E6-FC882615E931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$AFCFB0C6-0BCC-4473-882D-53CF592EF58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b535dfaa1c90eb455e7f79ab1884232d5aced7","datavalue":{"value":{"entity-type":"item","numeric-id":4938633,"id":"Q4938633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$AE131C7E-ECF5-4CFB-A339-C46D40078B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$37DA31AF-45DD-4DCD-A9F8-FC17DA1A5D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$D66CF45B-4886-493C-AF44-FC8877996D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$8A0892E2-3F5C-4451-916B-84D106C62A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$E31CF0B6-C8C5-474B-80A3-20D2B7AD6FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87108acf045bf78204a3fa41cc71b5de23f7a79a","datavalue":{"value":{"entity-type":"item","numeric-id":4715674,"id":"Q4715674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$12ACBD6A-FE35-4B6F-A05B-E62A807D93BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$6D416CA2-6587-48A1-B050-3EF64F9C9287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$E0FDEDB0-2EEC-4D9A-AF7D-C021DB2A24BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e209850286bd1c33e6bc8fdc439ddcdef426a8d","datavalue":{"value":{"entity-type":"item","numeric-id":2754155,"id":"Q2754155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$1B5CEB19-6CEE-4196-A296-BF151698D070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$DE11A2A4-ACF1-446A-83AB-E13B887549CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d7d93a9512ab236f4772935e1df8ec2aa25fe5","datavalue":{"value":{"entity-type":"item","numeric-id":6104374,"id":"Q6104374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$B7F10754-2ADD-4686-8CAB-360EEFE92A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$EC43AC0A-967B-4D00-94A1-4E458639C6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31570aef269799d433b4eee3cebf43b1b15c053","datavalue":{"value":{"entity-type":"item","numeric-id":792770,"id":"Q792770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$5F3D56B3-FD5E-430E-83D4-4A7D9C7B8DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb4f6a3c1627cb246bf2f13f11b3ab2cfeb2eef","datavalue":{"value":{"entity-type":"item","numeric-id":1184737,"id":"Q1184737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401309$DAAE58C2-3B7B-44AD-92B0-87CFF223BE20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ec57515412ed5c2987f5638abe4e0855b6d60d2","datavalue":{"value":{"entity-type":"item","numeric-id":4508393,"id":"Q4508393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13c99adb6637f21502ad56b4e1242ee51115fbf","datavalue":{"value":{"amount":"+0.994692325592041","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":"Q1401309$FC6B67C7-1A40-4E9F-A4E7-EEE4F57C6290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d1cde502c2717d0ec1f1da0842a5ba6f90af1e","datavalue":{"value":{"entity-type":"item","numeric-id":675223,"id":"Q675223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51facdc96130c6451c3c44169246a55a7c796d4","datavalue":{"value":{"amount":"+0.8517419695854187","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":"Q1401309$6A026571-0485-45AD-B175-C4142AFD09DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4d0163d0d9d459687f0b796aad297201d2b800","datavalue":{"value":{"entity-type":"item","numeric-id":4632436,"id":"Q4632436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b38c711ee66d3e7858d297c730ea073c5b52656","datavalue":{"value":{"amount":"+0.8195056319236755","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":"Q1401309$15C67574-5CC2-4BAF-A448-CD3EA970CCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56bf9ae01a7685d51d88a5420c06d10c209cd78","datavalue":{"value":{"entity-type":"item","numeric-id":3584961,"id":"Q3584961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8268fd4c76cebfd3a4b43ef4308830a34b603d90","datavalue":{"value":{"amount":"+0.8073623180389404","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":"Q1401309$B8A7A0C3-E012-419E-83E0-743345026A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e7c489b75fae4bcdc70c6503f47174f82cea840","datavalue":{"value":{"entity-type":"item","numeric-id":4708602,"id":"Q4708602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1ce437ebc4c496f9645c8a808cecd406fd68c9","datavalue":{"value":{"amount":"+0.7825541496276855","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":"Q1401309$F1718E64-205F-4418-B7F0-BB7EA92A7407","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidable problems in unreliable computations.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidable_problems_in_unreliable_computations."}}}}}