{"entities":{"Q5312891":{"pageid":7342465,"ns":120,"title":"Item:Q5312891","lastrevid":92425487,"modified":"2026-06-05T01:41:24Z","type":"item","id":"Q5312891","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199283"}},"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":"Q5312891$A9703565-CFF5-46E7-85D3-B2DBA672554E","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":"Q5312891$E4C5BF54-C73F-48FD-BE6F-D0C838E51D35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"776e1046cde5b26e5a79fc43717f339db6e33af0","datavalue":{"value":"1103.01309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312891$2A6F4AFE-0E89-4282-B883-755FDF5C5385","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":"Q5312891$E8BC3B99-98A8-455B-86D8-AD5F4B1F0220","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":"Q5312891$52E3F2ED-6A38-44AB-ADBB-C6CBFB4BE278","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312891$E0CCE6AC-FA8C-4607-B1C4-CC63824137C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0031d28e3df8d079abb857b19688166793fdd24f","datavalue":{"value":"2199283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312891$7A456449-C99A-49FF-B06C-3E9733724CD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a8349cf07d155ee1440be5dd81b06cb2a5e9ce4","datavalue":{"value":"obituary","type":"string"},"datatype":"string"},"type":"statement","id":"Q5312891$52CF6D51-1D06-4FAE-91BD-9F9BE445AAD9","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":"Q5312891$FA531264-92BC-4E61-AA65-521373327275","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":"Q5312891$A9FFBD9E-28F2-448F-89C6-72367E132218","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312891$1E9340A9-53E0-4342-8949-70E91AF0102A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312891$05C514F4-6975-4181-8463-BAC5CD13A273","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80902fe47a08e8f678888ada7506e9fd12f8e1b","datavalue":{"value":{"entity-type":"item","numeric-id":3530141,"id":"Q3530141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecfae43840a8b3fddf81ba08c3a5713bbf433e39","datavalue":{"value":{"amount":"+0.5964357852935791","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":"Q5312891$E980F491-DBEE-4857-9632-617EDCE1800C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8702ae1bd6aab8cf35173d80adf784a503a191d6","datavalue":{"value":{"entity-type":"item","numeric-id":4830528,"id":"Q4830528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2d474f0314864ccab856b5ff42c0769ac64461","datavalue":{"value":{"amount":"+0.5904616713523865","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":"Q5312891$547179AB-B041-4D48-A493-DF0B99F109C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0acfd56429c0d706e3c3818e4c79ee017aee7a8f","datavalue":{"value":{"entity-type":"item","numeric-id":4863684,"id":"Q4863684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb0472c1deb5e72daaf8a145021d5ff31d1234c","datavalue":{"value":{"amount":"+0.5849239230155945","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":"Q5312891$F59EF171-90A8-41D2-8789-0FF5398EC9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a59460d06b778cb36b90f297ac64f5bbb704751","datavalue":{"value":{"entity-type":"item","numeric-id":4967217,"id":"Q4967217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7edda6bef8551b237d19f624e795840926877a41","datavalue":{"value":{"amount":"+0.5841450691223145","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":"Q5312891$58F62651-7AF3-4970-A00F-4F8F0C7128E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7cbb3b1d9f0932c831cbcc2d08af2471e083761","datavalue":{"value":{"entity-type":"item","numeric-id":3076923,"id":"Q3076923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e2cb41a2684de4d56293c6b170f35af21962ac","datavalue":{"value":{"amount":"+0.567914605140686","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":"Q5312891$9073EF0C-4EAE-4C6B-83F9-89ED7BD36515","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Aided Verification","badges":[]}}}}}