{"entities":{"Q5716593":{"pageid":7746147,"ns":120,"title":"Item:Q5716593","lastrevid":92831684,"modified":"2026-06-05T02:51:47Z","type":"item","id":"Q5716593","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245540"}},"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":"Q5716593$BFFE21EF-DCCF-4761-9972-7BA823BAD45E","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":"Q5716593$E20370A5-711B-46BA-A079-6CD74E08F4C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f15f4c5155e518ffd72e80388080bc60877b6aaa","datavalue":{"value":"1081.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716593$0963B4A8-9D11-4236-A44C-4355DF157848","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fc9efcacb156ebe441d1f18c88b7586f817c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":682352,"id":"Q682352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716593$1ED76C56-EA2A-4D25-AC3C-DBBCD3B108CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef04502a0cfdb62a3f751f54f67cd2b646ae92f9","datavalue":{"value":{"entity-type":"item","numeric-id":1856259,"id":"Q1856259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716593$7EF03E6E-FC97-4D77-9D51-B8FDE8AD0EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716593$7A7E4660-55BD-4BA4-9C9D-906669FBDCB1","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":"Q5716593$E0336872-850A-47C2-88EF-215A75C4E724","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":"Q5716593$B417AFC1-F166-4F7D-80F7-F7937AFB02F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716593$8C09C82B-1011-48CD-8F1C-77B9B010B1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716593$5C34043C-C1D8-4916-9C04-F1211DA13610","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"240b62e6f402173ddae9579b48e26f4e03ec6c5b","datavalue":{"value":"2245540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716593$0261976E-C7D3-4F99-B767-A7E8D98BA2A7","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":"Q5716593$026C50DC-7450-41A7-B9C5-3AE272971DF5","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":"Q5716593$6A1031A2-5238-497E-B28C-2E7816B9C1B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716593$E8151349-B4B7-415B-BB81-03BE26940A95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716593$17C8B08B-E80B-4B16-B8F2-0B8DB3026BE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac78345bf4b123188e46cf39b9cc0686336332c","datavalue":{"value":{"entity-type":"item","numeric-id":5310686,"id":"Q5310686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23430cd043076a41044684d3b3c5fff6ec16a937","datavalue":{"value":{"amount":"+0.98476380109787","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":"Q5716593$9C6491B6-0AC8-4CEC-A158-B78C95098937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9545e7860357cf9f1ee9e4b7cecb27cd402b0e27","datavalue":{"value":{"entity-type":"item","numeric-id":5900675,"id":"Q5900675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c8a3590d0fd32063b481a8146fa9a7ace68a37","datavalue":{"value":{"amount":"+0.901094377040863","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":"Q5716593$145F3139-9EFD-4E77-B84A-293677D4CD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18177d8357753c8dd75456ee7c56c747f213d512","datavalue":{"value":{"entity-type":"item","numeric-id":5308422,"id":"Q5308422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f23c868ccf0c9616f2e87b28682b991709936d","datavalue":{"value":{"amount":"+0.7915785908699036","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":"Q5716593$AD941E47-4807-4FB3-A309-014F235C1703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32bcb08b914105f35b32b1fd55111f84a27b081","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e14bd359faa4bbeec180a88711712f525ee4f307","datavalue":{"value":{"amount":"+0.7890903949737549","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":"Q5716593$A3733A3D-97B5-49F8-898B-5D6ED907546D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b85eb390ca89c4206ca5aece9f558858df6a1ea","datavalue":{"value":{"entity-type":"item","numeric-id":5898619,"id":"Q5898619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec619fb4b502de73d6255823c69f5478ada723eb","datavalue":{"value":{"amount":"+0.7849810719490051","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":"Q5716593$3BC4DEEE-8A4B-4135-B6B4-C84B787D89D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Aided Verification (scientific article; zbMATH DE number 2245540)","badges":[]}}}}}