{"entities":{"Q5716585":{"pageid":7746139,"ns":120,"title":"Item:Q5716585","lastrevid":92831612,"modified":"2026-06-05T02:51:46Z","type":"item","id":"Q5716585","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245532"}},"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":"Q5716585$CFDF5C16-64A6-485A-B9AA-8D79C23EA0F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5716585$CC2CE70B-DDF0-4169-999F-E5362AFC1D66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e14763ff1269cf736e060cec5cfa4dcec98ee624","datavalue":{"value":"1081.68632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716585$A5589634-749B-4623-869E-AEDB3CEB27EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65933f7b3f46c07f53bf631dff0cb4433516a0d9","datavalue":{"value":{"entity-type":"item","numeric-id":3404123,"id":"Q3404123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716585$1262E090-A9DD-4C73-8E76-CAB3623F48D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bc0b1aba39e0e65bd369b90206aa366ad22e82d","datavalue":{"value":{"entity-type":"item","numeric-id":3404124,"id":"Q3404124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716585$8BDE92AF-7615-43A7-BC3A-B6C384B933F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2f63459d2c6acb4dc7d354c79fd71f0412f0ec7","datavalue":{"value":{"entity-type":"item","numeric-id":2889619,"id":"Q2889619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716585$71560942-8F37-4BD5-9C1C-7545A2A86DFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716585$9CCA1B7F-BDC8-4C7B-AF19-EB8EF8DDA1D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5716585$9844C831-E4DF-494F-8383-D0F5EDC88EA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716585$D6493642-0867-4A3E-A9C0-F90862D79EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716585$39C3DE64-5348-49E6-9D99-F36BF67D3774","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b89e82a84bcb7abad484a1c0982bf116f21deb1","datavalue":{"value":"2245532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716585$69A1D864-A8EB-4524-AED2-E8E0A3E4C6DE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716585$C1B0CD14-3712-43E8-ABCB-4E4C671885B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4671e4cb1fd66747f3274867a94f211f7c97b3c","datavalue":{"value":{"entity-type":"item","numeric-id":21763,"id":"Q21763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716585$8A14483A-E483-4EF8-8ABE-21528EDC63F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716585$0E152F5D-9FF0-45B9-A76E-538B10C6D654","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":"Q5716585$0CB944FC-B8F7-4119-A846-F6EF082E8E72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59192cc2deb09ff7c49a493186135c31d5f4ad9c","datavalue":{"value":"https://doi.org/10.1007/b138445","type":"string"},"datatype":"url"},"type":"statement","id":"Q5716585$CC06FACD-F3AD-498F-9C9C-72AFDDC3EB82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716585$02C03B64-3699-4CA5-BB1C-86880DB8D372","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716585$F251B05B-6C6D-4B98-8860-EBB0B42F56C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46a571790f3db9a5f9b5463e11f614e7db5b4aa5","datavalue":{"value":{"entity-type":"item","numeric-id":4551168,"id":"Q4551168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17cbaa75a06548bfa069f0ee9bacf121d6453512","datavalue":{"value":{"amount":"+0.7299691438674927","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":"Q5716585$F0792506-0051-4832-A3AE-D990DE04A537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e127554853b8a1092a1e3da564ba8c7a7f8ed68","datavalue":{"value":{"entity-type":"item","numeric-id":2842571,"id":"Q2842571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17cbaa75a06548bfa069f0ee9bacf121d6453512","datavalue":{"value":{"amount":"+0.7299691438674927","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":"Q5716585$6DE2E750-274C-4F9D-965F-95CA64465A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a4756403d3bd42cfaef9dee847628f1190f231","datavalue":{"value":{"entity-type":"item","numeric-id":5312940,"id":"Q5312940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0fccac0b34586572a89de998a2af4e7dc75ad2","datavalue":{"value":{"amount":"+0.7226682901382446","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":"Q5716585$511B6346-F6C6-4C94-AA7F-06FC37FD0167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49da0cdabfdc101e79ac28316a6419c8cf31b85","datavalue":{"value":{"entity-type":"item","numeric-id":3840911,"id":"Q3840911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"283051b6a9e58fa5e1be12a804444c983f688f9c","datavalue":{"value":{"amount":"+0.7212814688682556","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":"Q5716585$0791EC14-5DC2-4CB3-AEEA-0B5B25C54676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1a6531597250a09d68d722633b456147c1fd8a","datavalue":{"value":{"entity-type":"item","numeric-id":2729083,"id":"Q2729083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7026a9d19e55f6115d35c9d5bbbe16983bf12944","datavalue":{"value":{"amount":"+0.7086836099624634","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":"Q5716585$637F3B61-1304-4EE7-AE85-B75BE380D8BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Aided Verification (scientific article; zbMATH DE number 2245532)","badges":[]}}}}}