{"entities":{"Q5312912":{"pageid":7342486,"ns":120,"title":"Item:Q5312912","lastrevid":48537802,"modified":"2026-01-05T03:44:33Z","type":"item","id":"Q5312912","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199302"}},"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":"Q5312912$D889F79E-7F21-421F-AD4B-F3CE24522EE5","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":"Q5312912$F40DD856-C629-48EF-8D0E-13DEA9511529","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef9030253708c2094ed4e1a4bf193288880f011e","datavalue":{"value":"1103.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312912$A148A37B-1D67-4731-A5F0-2AE1A01582AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bc925e7d7ffb84064486f1630240b163a5b7fd9","datavalue":{"value":{"entity-type":"item","numeric-id":219456,"id":"Q219456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312912$C3241FC3-3295-4A57-A772-ED77E6969D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbf6f2b250839c6bb1d68b7a903ea54097448910","datavalue":{"value":{"entity-type":"item","numeric-id":2500699,"id":"Q2500699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312912$D38B87A1-1B2B-4DCF-A635-641DE6E4B26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c27d31e262626be5ce88a9c50bdb83cdec87b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":2302270,"id":"Q2302270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312912$C0D76C19-31D5-4786-A181-B7F76810D0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312912$3047EECF-3F34-43BC-9FAF-B7359B5BAFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312912$CE8C91A7-E2EC-4694-AEB3-78894501A2A3","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":"Q5312912$520BFA7A-2814-4180-9BA6-88FCA050ED8F","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":"Q5312912$CA41130B-042B-4DA5-A80B-67DEAF8496CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312912$EDDF3123-4F04-491C-897A-A2352F95168D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312912$D20E3243-B866-4BE6-BC5A-11EADB6A5510","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c2716ea408fdb2852b62e8d1a0eaf4f93d9a27d","datavalue":{"value":"2199302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312912$C7F7EBBC-15C2-4019-9F46-DCE2013136BB","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":"Q5312912$036F2DDD-93F4-431C-858A-6EE2E658F83C","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":"Q5312912$D9385B74-2F4E-4C15-A0BB-BA071FF006B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312912$429D0E78-9B99-4FC3-87FE-F6D4CF30B01E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312912$E78FEB50-CE08-4C9C-BDBF-1EA1BD132C3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9812515b3ccb140eed3b46a394afb70e05cba7f2","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68386bde0160ba5b7179cd2ee9ce7594183913e4","datavalue":{"value":{"amount":"+0.8496450781822205","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":"Q5312912$F0D661BE-2637-48AC-A348-F93AB1C0E598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff3425787aea28c8198974ec0d095be505fb445","datavalue":{"value":{"entity-type":"item","numeric-id":6045028,"id":"Q6045028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac42f45d1b6e2a1f4c7428681bc33de61f0da25","datavalue":{"value":{"amount":"+0.8399014472961426","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":"Q5312912$57E4B47F-5BFD-4A7B-9C10-18FE0C8B5A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f46a425a9a29a7b242dd1459072961c4e8e195","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889654ebfb4456feb9e0879c7eb8157d377fbcff","datavalue":{"value":{"amount":"+0.8332890272140503","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":"Q5312912$33DBF406-C321-4524-8C9E-E3BCBD86DF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a4e69567d6aa8b80c6dee0fc5a69e3f2431b1e","datavalue":{"value":{"entity-type":"item","numeric-id":4474215,"id":"Q4474215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac103f5333cae0757e69673fd08e9fa3d8b2dcc","datavalue":{"value":{"amount":"+0.8207767009735107","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":"Q5312912$DA35ED6E-9828-4388-8CFE-D5F7121CE4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81965cfa0e8625dbb8c2028308bfbcb856bff3ec","datavalue":{"value":{"entity-type":"item","numeric-id":5900681,"id":"Q5900681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd1266612a836b917c64c64c9946259373a63556","datavalue":{"value":{"amount":"+0.8125844597816467","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":"Q5312912$497DD95B-1378-4E44-9D30-CAFAA455E0F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312912"}}}}}