{"entities":{"Q5716558":{"pageid":7746112,"ns":120,"title":"Item:Q5716558","lastrevid":48627682,"modified":"2026-01-05T10:43:56Z","type":"item","id":"Q5716558","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245508"}},"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":"Q5716558$5A1E371A-8A30-4577-B5DC-14790E51B428","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":"Q5716558$A1A2A6D2-59DD-40B5-9BF0-87CF65CE7A4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"878d0a847e2deb26134bff070652284a017add1c","datavalue":{"value":"1081.68602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716558$D98D4821-A33B-452D-A229-CB7964A62720","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa87e6e13e12e2772f7f5954b0ff2440076a4177","datavalue":{"value":{"entity-type":"item","numeric-id":2729087,"id":"Q2729087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716558$02C290BF-2E84-4F8C-BACB-EF6D4525E5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"980158606f1269d2a73a43c17bf2784769247fc1","datavalue":{"value":{"entity-type":"item","numeric-id":5716556,"id":"Q5716556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716558$89FDD1CE-40DC-407B-961B-84DB43288952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d92818e59c1c1e061569f357623fe5f5b2fd830","datavalue":{"value":{"entity-type":"item","numeric-id":1274451,"id":"Q1274451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716558$351D8B85-9C47-49D0-9C2B-181D5D78A330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba407791e0a2b5ab5935b63868713e0ed68324ef","datavalue":{"value":{"entity-type":"item","numeric-id":4417921,"id":"Q4417921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716558$957A1113-AF1B-4795-8B86-7D6938F91A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc706c073e014953881c777e462c163bf47555b9","datavalue":{"value":{"entity-type":"item","numeric-id":5716557,"id":"Q5716557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716558$3D0510DD-35CC-4028-9009-36C585F0940E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dee375e96a94f690626081864dec8a3313a32033","datavalue":{"value":{"entity-type":"item","numeric-id":1295435,"id":"Q1295435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716558$0AA7E398-395F-4F6D-A474-D5A268376FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cc44051e4f58137ff29fc58fe4c774353613a2d","datavalue":{"value":{"entity-type":"item","numeric-id":1377347,"id":"Q1377347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716558$597F9A27-735C-4E57-9B2F-09615E9AF0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716558$2BDE744D-1E85-410D-9AA1-1FAACCED2448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12c17a78388b1f2e92062c88fa4de25086298b5f","datavalue":{"value":{"entity-type":"item","numeric-id":439947,"id":"Q439947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716558$6DA564BB-015D-4AA7-98BD-C9C3461C0E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"069f246fa8ad36ecb5bb99bbe0949d3227501349","datavalue":{"value":{"entity-type":"item","numeric-id":1277460,"id":"Q1277460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716558$5D249E97-BE82-416D-960E-0E3979C9A03C","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":"Q5716558$A69F5810-AD18-4573-9FF0-FE34E035A3F2","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":"Q5716558$BC44F91B-145A-4ED3-9B52-D314B3511A52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716558$15EA8712-550C-46CB-87B0-8CD6A515F8E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2e36ce6855475b9957a180e7834cad7e6723ea9","datavalue":{"value":"2245508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716558$5A8CC843-7B15-44A8-B00C-F71F2ECAAF9E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716558$FD64533E-6E99-4C93-8708-6FE7F498476D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce63d9106f2c1c934cab3902cda6a895f70e9488","datavalue":{"value":{"entity-type":"item","numeric-id":15060,"id":"Q15060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716558$7DA08E76-5DCD-4969-B448-8B09475667B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716558$B5CA9063-E135-4BCC-ACF0-3D27D735A543","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":"Q5716558$69F84A0A-5C45-4764-B789-3C8A304EAC78","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":"Q5716558$28B79FCA-BEF1-4774-A357-70774716543F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716558$5A806C2E-F596-426F-A316-EE1E49DFDB73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716558$3F737F42-DAC2-4AD8-9246-0FC69CF10B0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e649264ee8c5f77323097969c0d9813410c2c8","datavalue":{"value":{"entity-type":"item","numeric-id":2754046,"id":"Q2754046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58ba517b285154c0cff022925e9b608d59b6bbc","datavalue":{"value":{"amount":"+0.6926518082618713","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":"Q5716558$47A94133-11D7-496C-ABFF-81E886D7D9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640202a31f8c49d131a7b6418020112c3a0d4f4c","datavalue":{"value":{"entity-type":"item","numeric-id":2506297,"id":"Q2506297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aeb06399005c304c125ecb09fd894004298e652","datavalue":{"value":{"amount":"+0.6834930777549744","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":"Q5716558$D279DABF-1DAD-4B20-A202-A0B632EB8E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0000ad03fdb0c51ad9e171b99ff2766bfc4d2555","datavalue":{"value":{"entity-type":"item","numeric-id":3216113,"id":"Q3216113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7cb37a6dede974793d67bee27df31513678baf0","datavalue":{"value":{"amount":"+0.6681063175201416","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":"Q5716558$9A1D5A85-E8D0-4C01-A97B-2B79849F375B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602db440aac5dab828da4b1edbc1911f1413f4cf","datavalue":{"value":{"entity-type":"item","numeric-id":4373487,"id":"Q4373487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa69416138435b330543a959c98825f7a8ef634","datavalue":{"value":{"amount":"+0.660449206829071","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":"Q5716558$C012D282-46E7-4A7D-8559-18C5770F9894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5a640b2aa08a40f52b7762342761ddc44de8bc","datavalue":{"value":{"entity-type":"item","numeric-id":5312945,"id":"Q5312945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa69416138435b330543a959c98825f7a8ef634","datavalue":{"value":{"amount":"+0.660449206829071","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":"Q5716558$108168F8-2283-4249-B948-3D67C673B2E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716558"}}}}}