{"entities":{"Q1015487":{"pageid":1017335,"ns":120,"title":"Item:Q1015487","lastrevid":65957697,"modified":"2026-04-12T06:34:56Z","type":"item","id":"Q1015487","labels":{"en":{"language":"en","value":"Proof systems for reasoning about computation errors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5552252"}},"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":"Q1015487$B0118FB7-A422-4E88-A3A1-15E4C264389E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6ccef0355814fed17f1b35a3d8de2d59581cf1d","datavalue":{"value":{"text":"Proof systems for reasoning about computation errors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1015487$B5982B99-8E21-444A-AD47-213BAEE582A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6e2813cffa46dbef65f0f10dd7f887eb91604df","datavalue":{"value":"1169.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015487$C8B32C30-7B30-4EA7-AB18-8F93561101C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$54320C0F-12C9-4D1F-BC37-66421E57A878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa73845da6faeb3595ac4dea6415bdc68ae4978","datavalue":{"value":{"entity-type":"item","numeric-id":229730,"id":"Q229730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$13115A79-749A-4BC3-B456-1D8980AAFC52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$991071F7-474F-4558-9138-A7B9A592EFCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0cec347d54f050ae0dec1dd3bc541b9e6406b282","datavalue":{"value":{"time":"+2009-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1015487$208DB4A8-5922-4BFC-AD83-14B956CAC6C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015487$0E6FC803-B28C-4237-8385-9F1FC6383ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015487$1FB16408-784F-45B2-9D5B-3C6AD5B8F0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015487$69306501-5C9B-489B-8531-FB31238ED1C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b26a6cebc45af4dce685b5d34bd2c91cba8e00a","datavalue":{"value":"5552252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015487$D322B867-BA64-4034-B812-37A86F6FB77A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a0ff8c32958866c8802a26e0ad8674cbda54a8","datavalue":{"value":"three-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015487$CF392536-084F-448D-8744-5F0C6FB316D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75ecb7f195e719501567f01a005e59394f7c5096","datavalue":{"value":"four-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015487$A7AB3FD4-92D8-434C-AFFA-887178D3C4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"431ad0527b194c43bf7b26fc7f3a3705c49e72a4","datavalue":{"value":"parallel computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015487$9B2566CA-B015-48A5-BD7C-F71DFA5B2C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77a027cc70cb425d0f2fabad3d766c7496e9cd6c","datavalue":{"value":"lazy sequential computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015487$39F4EDC3-25D9-42B9-8E2A-5425D7796470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8255c68db389005022ef0ff538b4d1cf3bcecc84","datavalue":{"value":"computation errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015487$A4AD1ADC-014E-4430-9ECC-14D07BC4C0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5c8cafedf90cad7529aaffc7632bff61f54d145","datavalue":{"value":"nondeterministic matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015487$C9EC2395-CF10-446E-AF1C-DB5DD1E8FB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015487$B8A9CCF7-386D-4D7E-96E9-9FC40DE5B3C9","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":"Q1015487$EB9A96D1-4278-41CC-ADF9-E0FED0D131DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de19a2fc7cb5c5418cbb4d06818588b132f36d80","datavalue":{"value":"https://doi.org/10.1007/s11225-009-9175-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1015487$322666B6-8659-454F-A172-A02C22C541A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c1590eda15a521c0dc287ff1e0d4e3df69a5e05","datavalue":{"value":"W2037668023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015487$C5486BC0-54A2-497B-8933-3A3A51D8136E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d7992e583cf45900673369824994739769f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":5703736,"id":"Q5703736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$572CD7DB-0B0E-4BC5-AFD0-F580DFB121A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6cdb2b765f973a0f9222ca8bd9da646898a07b2","datavalue":{"value":{"entity-type":"item","numeric-id":874747,"id":"Q874747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$822BDF9B-A6A9-45D6-8509-F79F7A05BCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1d811262dd8c2250bea4bc0f676125b4798fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$E99FD4ED-BE18-43F7-91AA-CD0FB1CF7800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ae24754f75a802a2da40737e8cd0fedd5ca062","datavalue":{"value":{"entity-type":"item","numeric-id":3025337,"id":"Q3025337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$88ED4D92-F06A-45AA-BA74-7C9B7E700179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f474b409a8f3415f67c4fa840940f857e860d83","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$9E930601-4665-4551-A333-0268978AEAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fec93bfe72def66b65d9a4fe2e51dccc3fdab8","datavalue":{"value":{"entity-type":"item","numeric-id":3977996,"id":"Q3977996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$85235D0B-34F7-4FFA-B76B-87997092CAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"140c9aac44480bab89ac9b255c4d7eb0098b67b7","datavalue":{"value":{"entity-type":"item","numeric-id":1079560,"id":"Q1079560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$FC23819E-7FBA-41B5-8407-32B9FAF93754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$368B0690-FC36-4C27-B5A9-0189230BA603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a239cbd69f526ed7163709b0c5b1fb2c80486fe8","datavalue":{"value":{"entity-type":"item","numeric-id":3977997,"id":"Q3977997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$38B262E0-42D6-4572-9EC8-07A90EE93E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafbfe9c4b9298b1b51388dd5bc00db790de7fad","datavalue":{"value":{"entity-type":"item","numeric-id":4275696,"id":"Q4275696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$EDCAD27A-F46A-4FE9-8ED8-777E7EC5DB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3827f4e0cf25c69d09b1f7a81cae37faa1e288","datavalue":{"value":{"entity-type":"item","numeric-id":3086716,"id":"Q3086716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$C7B9FF57-14DC-4F3F-B0A1-B0455DB4B6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912a94b9aa74896494661ace6ed3d265ac5ba25a","datavalue":{"value":{"entity-type":"item","numeric-id":5546862,"id":"Q5546862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015487$9F0A53C2-A450-4406-B721-3F6A0BED9902","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e83ee13649b7026f80bdcc3d8bc0e84d1d76ac32","datavalue":{"value":"10.1007/S11225-009-9175-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015487$64FF58FA-967E-4B83-AF81-3CBF6D164272","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e14bbc4067b112a76282db867868d76f94f2370","datavalue":{"value":{"entity-type":"item","numeric-id":3086716,"id":"Q3086716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4ee91fe224758992646f44f59ea817cde15096","datavalue":{"value":{"amount":"+0.8459910750389099","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":"Q1015487$65E7552A-9A22-41A4-9885-697343BCD89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20133feb004415d0891bd22f1d052d6f724b335c","datavalue":{"value":{"entity-type":"item","numeric-id":549178,"id":"Q549178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85fa090029312a7ecb8edd40cde1c66694d881fc","datavalue":{"value":{"amount":"+0.7687599658966064","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":"Q1015487$F265BE9C-BA73-4D5D-9860-666F1A12A2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0470f39263b18f6f6e64b3037d10f234ba2736aa","datavalue":{"value":{"entity-type":"item","numeric-id":2737176,"id":"Q2737176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb47008fd1c24d084e87cca9151719ed7d22077b","datavalue":{"value":{"amount":"+0.751046895980835","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":"Q1015487$23734700-4229-4711-B76B-D5AD98C76D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed2c35b24dd9a94d60f228ccf132022a4f51a02","datavalue":{"value":{"entity-type":"item","numeric-id":3977997,"id":"Q3977997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382a9645ec36169f0fd694eaa1e3836afc1f1aa6","datavalue":{"value":{"amount":"+0.7401236891746521","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":"Q1015487$555B7B54-06B3-423E-BDCC-97D5BA2F4228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52674fa6fe68f2084037b5b78f4e5e5399ac0988","datavalue":{"value":{"entity-type":"item","numeric-id":3336678,"id":"Q3336678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"668d4ecec893a9c746f02646e539eba143e7de55","datavalue":{"value":{"amount":"+0.7401235699653625","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":"Q1015487$742D1EE7-906F-435B-972F-16693E29677A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof systems for reasoning about computation errors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_systems_for_reasoning_about_computation_errors"}}}}}