{"entities":{"Q5716568":{"pageid":7746122,"ns":120,"title":"Item:Q5716568","lastrevid":92831405,"modified":"2026-06-05T02:51:44Z","type":"item","id":"Q5716568","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245517"}},"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":"Q5716568$E54B27A4-D315-45B6-A36D-35BEAB9682EC","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":"Q5716568$C518A3B5-A517-4798-A4AA-E3C1FA95E32F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"979a467ebaf43c2a8a9af085e10c541e8494b623","datavalue":{"value":"1081.68606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716568$F8F06B30-CBF0-4D4F-8548-100C8D06035A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716568$2B69DF3B-5B92-4270-B325-1876BF900994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a9a3c7fcc460fae8268300b44782a5fb5e770ce","datavalue":{"value":{"entity-type":"item","numeric-id":171128,"id":"Q171128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716568$FD1940FA-E6E8-42BE-8E42-06E89CB54DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"160206bb9d8a89f080042e01ddcbea98c3bfb4e8","datavalue":{"value":{"entity-type":"item","numeric-id":812058,"id":"Q812058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716568$72BA3952-D15F-4A6B-996A-CCB9182656B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d925f3496cfa9635596b2e81548253baa6053dd","datavalue":{"value":{"entity-type":"item","numeric-id":812059,"id":"Q812059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716568$03829D35-87A0-43EC-A342-C656EE687D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716568$2238564E-45C5-4779-BC71-77FA78177DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12c17a78388b1f2e92062c88fa4de25086298b5f","datavalue":{"value":{"entity-type":"item","numeric-id":439947,"id":"Q439947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716568$489944C9-AB90-4D28-A966-7EC91CFA3796","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":"Q5716568$359FA834-A1E0-4DB7-A88F-4258D163E210","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":"Q5716568$39F60830-4267-4985-B644-EEA97E8199FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716568$DB24795B-CBA1-408C-8CEA-E9ABF16E9E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716568$63D63522-A70E-41B0-8FDE-04F11EFC2A08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4aca9fd27f9e8f55df7eead64d1389b6fb5f3599","datavalue":{"value":"2245517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716568$AEAA3AE3-8045-48A0-8160-A9CA0B8686FF","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":"Q5716568$B93C3F21-F89F-4323-B83A-D89C6D0F50FC","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":"Q5716568$7FE84FFA-F331-411F-BDCE-95EADE011596","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716568$6BA6B70B-5178-4D63-8577-79E0AE1879E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716568$2924561A-B7DB-4BE1-9191-A5A9E8B980D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cef918fa788e66daad3e07e1cfedb84348eab64","datavalue":{"value":{"entity-type":"item","numeric-id":4930715,"id":"Q4930715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4480a8dc63f061fa096a47c2f8a7db660bd8eab","datavalue":{"value":{"amount":"+0.8442574143409729","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":"Q5716568$4023A884-2F44-4615-9C93-E480149FD534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86411324ca28b2808ef4d1738380c1c5c9a73bdb","datavalue":{"value":{"entity-type":"item","numeric-id":812060,"id":"Q812060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050c2df456845a4ada9fd17901b1546bfcc5fa58","datavalue":{"value":{"amount":"+0.8284983038902283","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":"Q5716568$BCF849A4-57F4-459C-B6EB-CFFC0B793467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7a2be34ae3ea4bac90f21bd4f4bc1e9bbcf001","datavalue":{"value":{"entity-type":"item","numeric-id":5394193,"id":"Q5394193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a129ea038426af35719948f04ce27cefe4ef3ee0","datavalue":{"value":{"amount":"+0.8134018778800964","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":"Q5716568$B9B3E541-F9BC-44BB-8C87-A651767190BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e582f858bd35925726a755a13af036eb880c2eda","datavalue":{"value":{"entity-type":"item","numeric-id":3189822,"id":"Q3189822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd58d076db5aec530874b19ed01f2a557ab5950","datavalue":{"value":{"amount":"+0.7940980195999146","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":"Q5716568$293E6D30-ADFE-4C09-A68E-4D1974FA4A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6224010e4277d90a50d38be7e4387a9f0c9c37a3","datavalue":{"value":{"entity-type":"item","numeric-id":1865858,"id":"Q1865858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"976898ff098485c3f7b4c8d1167e1c2f3365c507","datavalue":{"value":{"amount":"+0.760835587978363","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":"Q5716568$C23E313F-FC71-4D94-8DDB-B6275B8E9BE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Aided Verification (scientific article; zbMATH DE number 2245517)","badges":[]}}}}}