{"entities":{"Q2575838":{"pageid":2586581,"ns":120,"title":"Item:Q2575838","lastrevid":72810546,"modified":"2026-04-14T08:00:32Z","type":"item","id":"Q2575838","labels":{"en":{"language":"en","value":"On the verification of finite failure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235959"}},"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":"Q2575838$8857378D-DC52-4FC3-8FC4-882CE490F7A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42798af5a46facbbafb85d262341a20eb46ed084","datavalue":{"value":{"text":"On the verification of finite failure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2575838$CE0EC0B5-38CA-405B-9FA2-B3CF09592F78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2db9a802b3cb17930d2da9c21a84e0dae35d7f9","datavalue":{"value":"1105.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575838$98B8F5B7-6506-4ADE-9A65-21BF644AB2A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aadd89b6cc4356f39201146726ac65253316123","datavalue":{"value":{"entity-type":"item","numeric-id":264546,"id":"Q264546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$A7FD6F43-A383-4329-BF09-6E93F078ED1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5a5ffda3b91beac514a35e59d9924cc050864","datavalue":{"value":{"entity-type":"item","numeric-id":915475,"id":"Q915475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$0FAF672B-013C-4B77-AE99-FDC01A2C556C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$1FFB731C-0E38-4AD2-A8DA-9D0EACEAEF81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a6b2dab0c1a850c148e524dd23e597ec7eb88d7","datavalue":{"value":{"time":"+2005-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2575838$613BA97D-6A4E-4CF8-A891-F807C139B1CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575838$F014B9AE-DC39-4394-A7FB-6B1034FA15FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575838$7050029C-0807-47F3-ACC4-978BBA01EE96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24e887402baf030b458150838433b428a1f9efde","datavalue":{"value":"2235959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575838$E7C9A1A7-7686-4116-A7E9-6988429B8DEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575838$60376F4F-ECC9-4347-9377-110154364AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd9894bb2ae50bf3e9702ac19cb1c5499b6fe1b","datavalue":{"value":"Logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575838$B6604ED8-4927-4D8B-9BD5-7F6966D0EB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9928ae9fcfaf03e4706ca2a7e2f249f4a8e042bb","datavalue":{"value":"Program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575838$ACBE0E05-743F-493E-B6BC-EF97E0672270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ac2543f2e71b57046e516d64df1d76d4ff9ad0f","datavalue":{"value":"Finite failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575838$72E97ABC-488A-41C0-8EFD-46E1AF0B7E92","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":"Q2575838$A01D8EAC-BCE7-448F-8BA3-9847D52B8D99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19789bb44ce209a572c8f65177e792a58c2b8681","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2005.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2575838$F1AE2813-8797-4DE0-8EDB-138D848B755B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1d899f2908c12621abef153929cadefca8ae8e9","datavalue":{"value":"W1982588979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575838$0188746F-36AD-49BF-AEE6-24E12205EF8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c6431267c37f0191f54aa4226a4ffe6e2b1db","datavalue":{"value":{"entity-type":"item","numeric-id":1346766,"id":"Q1346766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$62108484-7DDB-4553-886B-A0B624543D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$E753EC2E-26E9-41EB-B431-5C994C7205FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5382661bc98927f3e7272f3a7e5c556ae94b246b","datavalue":{"value":{"entity-type":"item","numeric-id":4305626,"id":"Q4305626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$854B7957-6D9A-4138-8502-D212F68845A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3386aa2181ee6a228198b658ca159467c3f9e7e9","datavalue":{"value":{"entity-type":"item","numeric-id":4506391,"id":"Q4506391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$BB3DDA72-BCA0-4627-8357-AC66142B2157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9803ce2aabd36400d1d98509744959986f604e","datavalue":{"value":{"entity-type":"item","numeric-id":4700386,"id":"Q4700386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$AC6A837D-6DB6-4671-B320-AC0D125DE016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3392c00211215ea2b6bc16d14713823091e58c9","datavalue":{"value":{"entity-type":"item","numeric-id":1274454,"id":"Q1274454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$FC1FB93F-2D36-4C41-90E0-B869DA25F76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$F0EC2B4A-7F87-4A9A-BBDF-FF731F7FF1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$B31F0F48-B374-4DE0-8EE1-2C8274C82E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$36C86E88-DAA3-43FF-8D0C-473B53446EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffd38fe69edbe355b40165941e34e66317c8714","datavalue":{"value":{"entity-type":"item","numeric-id":1105352,"id":"Q1105352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$594DB55A-4EBE-4EF4-B89B-C968C608023E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e99f116514106e68ae9cb033244e0968df00af","datavalue":{"value":{"entity-type":"item","numeric-id":3761666,"id":"Q3761666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$65A69D1B-E3C9-4D8F-A7D5-962F169AF312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e9c19f38755da71f536c7dda7dbc4d54215805","datavalue":{"value":{"entity-type":"item","numeric-id":1853617,"id":"Q1853617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$DE8FEADB-AEBC-4315-A596-9252A31604B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b790ff322ef1aa72e6e38e7793501bf2c8dee57","datavalue":{"value":{"entity-type":"item","numeric-id":4381868,"id":"Q4381868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$5E77C460-0C78-41A7-8F2F-D0C5AB3E4BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfba8b852c237e68b49ae008bb76f1f25f6a7a38","datavalue":{"value":{"entity-type":"item","numeric-id":4494369,"id":"Q4494369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$CFE07A7D-E9DC-4BC5-A545-A24496A8E580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62adc48f28f70a2c3cde2a5124aceaa34c03e9a6","datavalue":{"value":{"entity-type":"item","numeric-id":4217939,"id":"Q4217939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$F36CF565-BCFD-449B-B99E-BEB641868CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$96E49F58-AA9E-415E-ABBC-05C5855F276A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bde38236a7d4802aeea34926c65af7fc6bd7548","datavalue":{"value":{"entity-type":"item","numeric-id":1348532,"id":"Q1348532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$04FBE22D-1207-4DF6-9CF6-3EA6DD9082CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf30a91e9b577750eebbcc9d21e05c5272e3df34","datavalue":{"value":{"entity-type":"item","numeric-id":1595252,"id":"Q1595252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575838$55C32F32-AE68-4DB8-A55B-932C68884135","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ad82be4a237502c8d49cd5b7c1db73e5ee95a08","datavalue":{"value":"10.1016/J.JCSS.2005.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575838$35F29AA0-A9D6-410E-BB74-F51AC104D0BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b063044364dccbe707c283eba8180391e3678412","datavalue":{"value":{"entity-type":"item","numeric-id":4494369,"id":"Q4494369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0d3ecfc3418595686d7d202d5a014937e5b15b","datavalue":{"value":{"amount":"+0.975195288658142","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":"Q2575838$D34E36A7-6427-4D86-B9BB-F995E9A885B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75703213a5e6b1ffbe2a13631cdcfbae534fc6cc","datavalue":{"value":{"entity-type":"item","numeric-id":4938429,"id":"Q4938429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ba99b78e28e97f85229621fafb075bfa8c8ddd","datavalue":{"value":{"amount":"+0.7796139121055603","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":"Q2575838$7872735B-9EBE-40EE-9A5E-9FFE1DC6116A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551bea2aba51008895c20e5a0292bc96b0c490fe","datavalue":{"value":{"entity-type":"item","numeric-id":1853617,"id":"Q1853617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8c6c82351007976000d6108d08c7eee99580ae","datavalue":{"value":{"amount":"+0.7647562623023987","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":"Q2575838$25364512-7403-42EC-80AF-A4C17268E845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ce40be8f952d3a86a142e230a4fe22c2a4916a","datavalue":{"value":{"entity-type":"item","numeric-id":4381868,"id":"Q4381868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3a8981f62d286c03917724e0408f321a46ac1f","datavalue":{"value":{"amount":"+0.7476823329925537","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":"Q2575838$0E8A8935-7C75-4180-B1FB-F38D7B8258AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0c908013db6cfd3ad5c383f14dfe6493777c38","datavalue":{"value":{"entity-type":"item","numeric-id":4222905,"id":"Q4222905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c2c87b1d543fba31dd79b0de37f4d4223e979c","datavalue":{"value":{"amount":"+0.7247642874717712","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":"Q2575838$AA35FC22-10B5-44D8-9806-F1807935FF62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the verification of finite failure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_verification_of_finite_failure"}}}}}