{"entities":{"Q5312921":{"pageid":7342495,"ns":120,"title":"Item:Q5312921","lastrevid":95941403,"modified":"2026-06-05T10:04:09Z","type":"item","id":"Q5312921","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199310"}},"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":"Q5312921$202D7489-FACB-45D1-B5DC-0B9080D1EBC5","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":"Q5312921$4AC572AC-29B5-4E3D-80C2-394493C35344","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5e3264d66bc90fc38704b83513a6c08e58d7fe7","datavalue":{"value":"1103.68615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312921$A6C0ECCA-0351-49C6-B9EF-73156FA42B92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312921$D71FC896-53E1-4517-95BB-1761A2F3DD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee8a4ecaa1abef1ca704f01bee315e6f78f7fa2","datavalue":{"value":{"entity-type":"item","numeric-id":685102,"id":"Q685102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312921$544C8C43-AD71-4367-A5F3-7278B7EFE0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3495207d1965356b5c09ec509a7ee4275d91cd14","datavalue":{"value":{"entity-type":"item","numeric-id":947793,"id":"Q947793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312921$77DB9AB9-69D4-455E-A6BF-0A75BBAF4D98","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":"Q5312921$27C4B543-0666-4AAE-8244-DDB228C548A2","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":"Q5312921$9D056BA3-3E50-4BCF-B7B8-43B95A7E069A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312921$6DDFC768-6D6D-4CDA-8430-092D7465C7CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"738641dbcb72b73b3320bb0ee3ac566ec4740aa6","datavalue":{"value":"2199310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312921$20728995-45A1-44A0-A1FB-408DB666332F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312921$A62F237E-DECF-46AB-8F54-AE2053B2F531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312921$5B6118D6-07FC-4A88-8EA9-173F7B5644E1","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":"Q5312921$31749A72-8FEC-450D-85FF-65E656E1E52D","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":"Q5312921$56343A53-AE9D-46DF-84E7-DF1ACB0A3874","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312921$61B951AE-0D41-4D0B-A7F2-0399C3A3F5C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312921$538A0C0C-94F7-4D67-A415-F45368469C4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32b3672cc96864b7e62405e27802cdee7a9bde9a","datavalue":{"value":{"entity-type":"item","numeric-id":816213,"id":"Q816213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d6610eb92e9595e1e3db3bde6023374b48bd14","datavalue":{"value":{"amount":"+0.713080644607544","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":"Q5312921$31B5C318-7F2D-4396-B590-E462486236A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc30b245ec6b807d4e24f0d259d8f49ecc3c7a9","datavalue":{"value":{"entity-type":"item","numeric-id":5758121,"id":"Q5758121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f00e454623484f3a6725c65a6b852fe1bbd289","datavalue":{"value":{"amount":"+0.7122480869293213","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":"Q5312921$015C9E7D-97D9-4394-B878-57B96380D613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417f3b972ebf403c2e595613f41ecaa318eb253e","datavalue":{"value":{"entity-type":"item","numeric-id":1878909,"id":"Q1878909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5198666c3d3b937f7e6f9817555bd0755e70d886","datavalue":{"value":{"amount":"+0.7093752026557922","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":"Q5312921$637A07E1-1C5D-46C5-8A15-A5C4766B3242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71b6b5cc90bb67a92210e8685c10448d05b24f0","datavalue":{"value":{"entity-type":"item","numeric-id":5897077,"id":"Q5897077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359658ddb6a196e986e65017e1a73da79f45ca08","datavalue":{"value":{"amount":"+0.7015316486358643","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":"Q5312921$A2781D40-4102-4816-B99F-1F10E5C9DFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6163a7aa78d81cf3b8065a62f631a6a5857595d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ffc3b96ff02b6b5c6a52777ad0e6be7f5b55baa","datavalue":{"value":{"amount":"+0.6981214284896851","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":"Q5312921$0EDB7B0E-CCB3-4620-95AB-B8187B73659C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Aided Verification (scientific article; zbMATH DE number 2199310)","badges":[]}}}}}