{"entities":{"Q5716600":{"pageid":7746154,"ns":120,"title":"Item:Q5716600","lastrevid":48627784,"modified":"2026-01-05T10:44:07Z","type":"item","id":"Q5716600","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245547"}},"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":"Q5716600$4860A504-463D-4F68-9C3C-836C07D4864D","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":"Q5716600$67B6AD3F-C5AD-4AD7-A7D0-4B7C0233FCE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"645b93b10b4c0b01b177704aaf64b565076ea35f","datavalue":{"value":"1081.68633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716600$28FA71EE-A8B6-4D84-9FD6-A80A450A9F5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53179ed98ae470a6c2fd35d951f847bdfc8f0a86","datavalue":{"value":{"entity-type":"item","numeric-id":2848680,"id":"Q2848680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716600$F7BC9497-3BD1-4D23-9479-4E3E63C3746B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716600$AFC2E961-AD9E-4490-B362-FA27E11269A1","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":"Q5716600$63D47C6E-326B-4D71-8A10-F12554EEFBF5","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":"Q5716600$BFABEC58-8F5F-43C0-96B0-817AA058C28A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716600$CC62B439-2E83-473C-900D-606AFDCD425F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716600$A046C375-32CD-42F4-8BE5-6BC3C6BE8B8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40c481c5eb722e7a8728f715d6f5333cca2d8d76","datavalue":{"value":"2245547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716600$8F106D6A-8F5D-48F8-95CA-2025565CC159","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6522ca7747c785bf9d644f39dd3e0aca04c1c6aa","datavalue":{"value":{"entity-type":"item","numeric-id":13781,"id":"Q13781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716600$9E8E5798-8F9C-478C-B723-A454BB8C3AAF","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":"Q5716600$D44BCCF1-546D-4C81-B201-5651BEA56523","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":"Q5716600$5914C351-DE62-4A16-8CB7-5EF0B9C49B4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716600$29268638-BC37-4623-99BD-120441C62983","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716600$9894CEBD-D30A-417A-99AD-F452AC83C9EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41695abde90f6c902344d748b2f5dad8930e63bc","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34cdfdad810cef8fbad6c49bcb017d79444c012","datavalue":{"value":{"amount":"+0.8422180414199829","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":"Q5716600$AEA0B0F7-2A00-4F4B-85EA-C2B5C288A463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c270dc035825547c35d6bd73ac01bdfc061acd","datavalue":{"value":{"entity-type":"item","numeric-id":1784791,"id":"Q1784791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957af6e9375e802f4dc46acb44cd3f73c5297e06","datavalue":{"value":{"amount":"+0.8104182481765747","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":"Q5716600$85577A97-02F7-4872-8EE6-00C763B9E2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417f3b972ebf403c2e595613f41ecaa318eb253e","datavalue":{"value":{"entity-type":"item","numeric-id":1878909,"id":"Q1878909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db748162d1a05ad0e6b74b4ad2d5a70e6f62bf0","datavalue":{"value":{"amount":"+0.7954219579696655","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":"Q5716600$07FF02E0-32A7-4717-8FD7-02E38C02304E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49fa52d4f6f64da344488e7c632f25a795b9ee9e","datavalue":{"value":{"entity-type":"item","numeric-id":5899041,"id":"Q5899041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3660361b5d5c6047770ebc12cfca8731ff672816","datavalue":{"value":{"amount":"+0.7895301580429077","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":"Q5716600$51811E1C-71DD-4BE4-8ED9-C0EFDC7C9460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad56d5cf5a0914eae3e1991359f1a1939c792e8","datavalue":{"value":{"entity-type":"item","numeric-id":5898914,"id":"Q5898914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad2d56ae36d7e9584da803c689b093e8ad13994","datavalue":{"value":{"amount":"+0.7891130447387695","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":"Q5716600$625C4F23-DFF5-4463-B09B-1EBB61ABF848","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716600"}}}}}