{"entities":{"Q5312895":{"pageid":7342469,"ns":120,"title":"Item:Q5312895","lastrevid":92425523,"modified":"2026-06-05T01:41:25Z","type":"item","id":"Q5312895","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199286"}},"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":"Q5312895$BC99E573-6CAD-422B-A638-5BD1352D8740","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":"Q5312895$6A844719-EC61-4E5A-BD73-F64970023010","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31a971e3e9171b96449369f0a200b1b86ce015e3","datavalue":{"value":"1103.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312895$78AA4D39-315C-4AF8-BB70-1714B59012B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cceade98888683f531a914b64c3671aa7fbe275","datavalue":{"value":{"entity-type":"item","numeric-id":3421011,"id":"Q3421011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312895$EE05F86D-14C0-4CEE-AFE7-170076329D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17aa6222375e5b52844ca43f39ca6b801e31b463","datavalue":{"value":{"entity-type":"item","numeric-id":934711,"id":"Q934711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312895$0F990BFF-585F-457F-9650-3EFB7DEC97C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312895$2789DED3-5C37-4DA0-97DB-8492961CA934","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":"Q5312895$8AB4D5EA-FE65-4653-BAFA-D26DE0E0190E","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":"Q5312895$2CE8937A-7E1E-4741-A5C9-BEFAF9BB521F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aca40131a4b359e0412a5ddeceecc24f8a40f1e6","datavalue":{"value":{"time":"+2005-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5312895$5738BC00-9FB9-4904-9F6D-70E010F086A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312895$011833C7-E8FA-47B6-B1BD-14BA47ECB2FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66932da1bf4f46108e73294f3e93de04e444290e","datavalue":{"value":"2199286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312895$8C6CD01E-2737-40F5-83BD-90C82385E882","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":"Q5312895$391FFEF5-C4D5-4C1D-87E2-5C8B91BF5B46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc85b80a186ab9851fed94472e07b18c0eda8535","datavalue":{"value":"https://doi.org/10.1007/b98490","type":"string"},"datatype":"url"},"type":"statement","id":"Q5312895$3332466F-E4DE-43ED-BEA1-960F91391456","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312895$A67ED1BD-38E4-4EDC-BACF-40EB0DB9C100","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312895$80F1025D-831E-4066-815A-1ABE6F9E8498","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08912331d8e77cc41be4fb52d38eaa1484cd116","datavalue":{"value":{"entity-type":"item","numeric-id":862390,"id":"Q862390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb19e571cacc0ee7416a17b10e49b9994d2ea392","datavalue":{"value":{"amount":"+0.8146594166755676","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":"Q5312895$215AF382-DE36-48AB-B833-1189E9B6CFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1d807fec9ff369bc56366ccb4b6be58ed1a33f","datavalue":{"value":{"entity-type":"item","numeric-id":5387848,"id":"Q5387848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17bd6a1a790c2815204f2e3f67ba212ab55d58a0","datavalue":{"value":{"amount":"+0.8088988661766052","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":"Q5312895$FD604170-1AEB-4A2B-94D2-CAB80B13D081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5bf26dccf8f9d6378c88be589f2bf961246287","datavalue":{"value":{"entity-type":"item","numeric-id":4474229,"id":"Q4474229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8084ecc73066f8023022482f826906b8cfa5b2a0","datavalue":{"value":{"amount":"+0.7992002964019775","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":"Q5312895$BEB7AD93-C113-4110-9774-5F7236D2E3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1337f6f778fe290fe3a403311747133f44a1a0","datavalue":{"value":{"entity-type":"item","numeric-id":1990511,"id":"Q1990511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0162a878770ca7419768fcfefd9ebe1359e6d80","datavalue":{"value":{"amount":"+0.7975422143936157","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":"Q5312895$32F9E00D-2DC1-4F16-93AD-B612EE49A983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f54f8ca4ea4287e8548c97e990f9f054a98a7c","datavalue":{"value":{"entity-type":"item","numeric-id":1799106,"id":"Q1799106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cce358641113969bd9a0f870432b2bc09a91795","datavalue":{"value":{"amount":"+0.7820099592208862","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":"Q5312895$AA01B775-2993-4FB9-AFBD-551B0D3B869B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Aided Verification (scientific article; zbMATH DE number 2199286)","badges":[]}}}}}