{"entities":{"Q5716583":{"pageid":7746137,"ns":120,"title":"Item:Q5716583","lastrevid":48627736,"modified":"2026-01-05T10:44:05Z","type":"item","id":"Q5716583","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245530"}},"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":"Q5716583$40D6C093-CA92-40A1-AD68-D7774A05952A","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":"Q5716583$F085BE22-BFA7-44CE-BCFC-9742B7613DCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d3466b008881e04dcf94fec936703e555de1d9a","datavalue":{"value":"1081.68640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716583$1A92E575-CD8D-42F7-9330-805B1E413317","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5e3684b1f0785261e574b26cdbadab66f850893","datavalue":{"value":{"entity-type":"item","numeric-id":845243,"id":"Q845243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716583$C9290E45-2EB7-4311-8E32-31553C3BA27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2aa8fd9d95c405c3a22805eb4497c524afe8a64d","datavalue":{"value":{"entity-type":"item","numeric-id":3552048,"id":"Q3552048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716583$B18A8DE8-3AE2-4603-BC60-73488EC216A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716583$C539EE44-C27A-488A-9AEC-F2CC23D83B2E","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":"Q5716583$F011DC22-1827-4C63-A9A6-789C5807AED4","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":"Q5716583$91F5A274-663E-4BED-AFE7-D921F96027BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716583$664726B3-78E0-4552-A0DA-2FA97415D958","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0239a9eb5fee643d26fc79e8e29008d67c4a700","datavalue":{"value":"2245530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716583$591C6D47-D4D8-4DB0-A644-1FC9C6A1B206","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":"Q5716583$0CD3086E-8ED4-448D-87E2-4750AD91A4C8","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":"Q5716583$57842C4B-487E-4327-8A98-ED5BF8286322","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716583$1D1FE338-197D-486A-957C-F7419FBB69A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716583$E53E3E0F-3DB5-49B6-B7A9-4E7CE53B45C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c320af396b760fdd05d401fb159b56bc375fbd","datavalue":{"value":{"entity-type":"item","numeric-id":845244,"id":"Q845244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae112dd1dedf56d1af2596eae5657e15242047b2","datavalue":{"value":{"amount":"+0.8993056416511536","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":"Q5716583$F85728E5-C207-4B17-B441-4518B6800D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bff7b6c8023eb562e0665d4bfc1a227a6803c19","datavalue":{"value":{"entity-type":"item","numeric-id":5312938,"id":"Q5312938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f8d9c1e34399c294469d1cf4c6f40a9292b2b9","datavalue":{"value":{"amount":"+0.7256150841712952","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":"Q5716583$49782A32-E931-4B00-A86A-93FD8B168C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d935ad7aa04c42923f6efb5ad21ed0580c9e208","datavalue":{"value":{"amount":"+0.722184956073761","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":"Q5716583$E46E5295-822A-44F4-A152-9A9BA6F210C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39db03e2cf515bd41b470fb48106609845ec540d","datavalue":{"value":{"entity-type":"item","numeric-id":2476788,"id":"Q2476788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d935ad7aa04c42923f6efb5ad21ed0580c9e208","datavalue":{"value":{"amount":"+0.722184956073761","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":"Q5716583$41E99A66-02CE-482B-8C4C-CCE705D4A243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa08715ed2110647ca6e5fcaad03ccdffb1a49a","datavalue":{"value":{"amount":"+0.718949556350708","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":"Q5716583$9C943041-539F-47B8-8EB0-24FF0DB1E47A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716583"}}}}}