{"entities":{"Q5716580":{"pageid":7746134,"ns":120,"title":"Item:Q5716580","lastrevid":48627724,"modified":"2026-01-05T10:44:04Z","type":"item","id":"Q5716580","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245527"}},"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":"Q5716580$6C6369F3-40A6-49B2-A615-AC3A119C39B3","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":"Q5716580$E454B627-7EBD-406A-959C-297D0A297AB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af0fdbb9237e3cca7984d6de454c7751283f0a42","datavalue":{"value":"1081.68619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716580$56FAACD7-D180-4F72-B7EE-6516D15A9423","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c3f9f38aefd8497e435cf677955510a3778959","datavalue":{"value":{"entity-type":"item","numeric-id":487252,"id":"Q487252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716580$BEBD0484-757F-40B7-81E6-17089604860D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"361a20a56f2e0f656dc8adae728ee345469aece8","datavalue":{"value":{"entity-type":"item","numeric-id":553289,"id":"Q553289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716580$4B326E21-8B01-4AAC-85FB-350DF0CB6C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716580$8194155C-A36F-4DE1-BAE1-293F1BADC3CE","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":"Q5716580$2BC1D3EF-3BCF-469C-8B57-D1AC2B5ED4FA","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":"Q5716580$3FA8FA41-3970-4044-97EB-02A3C97599F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716580$7D3C66E7-AB7E-4431-8B32-234C62870B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716580$F95B1845-26A9-4835-82D5-FA5C413C431E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59c18fcf4a8df80d88bf6088f025d9096b6451c9","datavalue":{"value":"2245527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716580$82B26399-41E1-4BE8-8E83-78E168EB9986","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":"Q5716580$2665ECF0-83EF-45BE-8856-40E5FD7416BB","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":"Q5716580$842F99BC-D0F2-4199-A85E-59A2B3D64028","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716580$BA20C8BF-660A-49A9-A3D7-8549EFD23E60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716580$DD715981-67CE-433B-BB81-C1EE5CB5D74B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487a31bee9555fea1032c2af8cf443599daa15ea","datavalue":{"value":{"entity-type":"item","numeric-id":2581762,"id":"Q2581762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68b54bba13f32a16017fe3a94488264ecde899a","datavalue":{"value":{"amount":"+0.8793762922286987","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":"Q5716580$1CDD288C-0EA6-447D-A004-996F9A1CB36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3417144d9b1c15ccf5fb15ae0c7ca49c5626a6f4","datavalue":{"value":{"entity-type":"item","numeric-id":5465861,"id":"Q5465861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754c8c160d761b8743a01fb87e98b30509459562","datavalue":{"value":{"amount":"+0.8705089688301086","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":"Q5716580$1562A450-2455-472B-9289-AE9EC447240E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b90e27d531e42a2f0b8ded58a8096c7995ddb71","datavalue":{"value":{"entity-type":"item","numeric-id":2842103,"id":"Q2842103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59db7854d164d39b581dec2c35e6bbfd093466ce","datavalue":{"value":{"amount":"+0.7823591232299805","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":"Q5716580$F1E76CD2-7DAD-4F32-A37F-D404AC76A67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f471a79c5f169224f998ea120f665ac785a4d3","datavalue":{"value":{"entity-type":"item","numeric-id":5898609,"id":"Q5898609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b4691b923972b4ec989beabb8f23524df0ad8a","datavalue":{"value":{"amount":"+0.7771493196487427","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":"Q5716580$7705289E-AC04-40B7-B1D6-91FD4E1F99B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78eb6cc7d213f0caaa58d401d9adb5439f8b6bbc","datavalue":{"value":{"entity-type":"item","numeric-id":2272922,"id":"Q2272922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44927a91c13fcb9444f4ba4a6231b7314e6a187d","datavalue":{"value":{"amount":"+0.7606852054595947","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":"Q5716580$F84503FA-680C-4FFD-AA19-34ADD5EE6400","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716580"}}}}}