{"entities":{"Q5716562":{"pageid":7746116,"ns":120,"title":"Item:Q5716562","lastrevid":48627691,"modified":"2026-01-05T10:43:57Z","type":"item","id":"Q5716562","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245511"}},"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":"Q5716562$2A1B40AA-C075-4B5A-8F00-F7305A8C2228","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":"Q5716562$6E44D10D-C261-4AF2-983D-26884CECFD30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77af7b8b371e5a846b3d004bc8bd709c5d79caf1","datavalue":{"value":"1081.68572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716562$97940140-292D-4148-BE82-CC6D82BBE7C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6abeeffb83ba8432b91ff805881a68bc6cd4285","datavalue":{"value":{"entity-type":"item","numeric-id":414903,"id":"Q414903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716562$DDC4BBBB-D015-4577-84AF-4ECBE248A124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58e54686f58864819aab983a70ae5584143f9edb","datavalue":{"value":{"entity-type":"item","numeric-id":414905,"id":"Q414905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716562$A3F99580-CA49-4E15-94B1-CB90E2A11B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"829d1799bc22697c2ada30fc3024258f331ca54b","datavalue":{"value":{"entity-type":"item","numeric-id":414906,"id":"Q414906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716562$202CACC2-5E7B-4C73-A71F-E43D17B7B5A1","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":"Q5716562$4D291853-B64C-4C5C-8E2C-223B708F847E","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":"Q5716562$35CF5D8D-BC9C-48EE-BA4F-1C71F9AAB547","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716562$E729659E-6B0B-4189-AB61-7446A399CE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716562$5BBD721F-1F0C-4A42-A093-14A7D3C50DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716562$80CF84AA-75E0-418A-8F09-141D3F531C9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac23204f4b86293093d91ba88f045b761e25bcfd","datavalue":{"value":"2245511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716562$E9A66E84-1327-4EE7-B520-AD5847D94A26","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":"Q5716562$ED8E5FD1-5B92-4F56-8626-C2A3B335C9EA","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":"Q5716562$48559E53-20D1-4F19-A981-1DECDCCFE253","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716562$03C95500-760B-408C-8C87-ED98F6C3CDD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716562$741E8C46-DBBB-418C-BD95-8565C149BC48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7813140a3f9852766ef1b8012544f87f6093c8","datavalue":{"value":{"entity-type":"item","numeric-id":5756732,"id":"Q5756732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b94323310cbfbb33dc3833b663729b6bfee397d","datavalue":{"value":{"amount":"+0.8488492369651794","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":"Q5716562$3AA79FA9-6539-4615-BB88-83012E164EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93e532cbd307b850171343278c1e7d6f71302b99","datavalue":{"value":{"entity-type":"item","numeric-id":414907,"id":"Q414907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df45a2fa967c0651ab97cb2ff9ea57c1e4bf312","datavalue":{"value":{"amount":"+0.8480775356292725","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":"Q5716562$89370B7E-05FD-4B64-8DC1-611DBF36A594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d228bb926d91885991466472accd6e04388c3596","datavalue":{"value":{"entity-type":"item","numeric-id":746769,"id":"Q746769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c5d790a3bdb72255383493f3212b5e2f893789","datavalue":{"value":{"amount":"+0.8291333913803101","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":"Q5716562$25C99EDD-F318-449A-9027-AD6CE11FFB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a01ff3405c12ac21cc62be24a9f7472202630a9d","datavalue":{"value":{"entity-type":"item","numeric-id":3297603,"id":"Q3297603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1bc6f8b2687a5a9337ac0b87b4e84018ab3e8d","datavalue":{"value":{"amount":"+0.7878250479698181","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":"Q5716562$3EE45587-DC8A-4C7C-8622-A4E9359D1D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21e0c94846dcc63d35d0296b7f7058a4749602b","datavalue":{"value":{"entity-type":"item","numeric-id":5039510,"id":"Q5039510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a53ea36c4b13087bb79f94a87083a03589f4e3","datavalue":{"value":{"amount":"+0.7590985894203186","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":"Q5716562$52C40F0D-A409-4130-BA93-D47D0E7CC1B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716562"}}}}}