{"entities":{"Q5716590":{"pageid":7746144,"ns":120,"title":"Item:Q5716590","lastrevid":48627754,"modified":"2026-01-05T10:44:06Z","type":"item","id":"Q5716590","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245537"}},"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":"Q5716590$6A4DA824-BAD5-4795-AEA7-159ECD5143CE","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":"Q5716590$9ECBF4D2-4514-4FE6-803B-A9D72AA8934A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a67cdaeaf2c1d4987910f342d0f6381a35134bf","datavalue":{"value":"1081.68584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716590$D297C0B5-2130-4216-A30B-2276496D2EAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fc46d144417f584659c704c54d9a909aee733d","datavalue":{"value":{"entity-type":"item","numeric-id":4738388,"id":"Q4738388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716590$208B3E36-1778-402A-BD3C-212800486C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8613ca94bb02f105ef1f9bc1f5bd869f5077ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":859960,"id":"Q859960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716590$D762A1FA-D2BE-4766-A3E2-645C0796DB48","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":"Q5716590$D1A37D2B-CF67-4996-A4B8-E69E812D1BC1","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":"Q5716590$283B038C-EDDC-4585-BF4A-1AC12AAA6FF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716590$F994B022-0090-47E9-8D8E-060070AFE664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716590$2A6E05FB-DC82-415F-95FC-1FF725F2AFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716590$398FD550-D375-4FAC-B45B-4C14A4270ABE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22a1631124b4b45ca41f02f7f8818dce05240ee2","datavalue":{"value":"2245537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716590$5726E38F-9312-4FA2-A9A6-5E65B53C4D50","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":"Q5716590$DC1FC8F3-B5D8-49C2-BDC7-4C112054CE52","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":"Q5716590$C4C3594C-1D80-4DF8-A658-9DDCA6B548DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716590$AE7678D0-2615-4275-A3CC-3B21051C58F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716590$B5F90B8D-3768-40B6-8B9B-9FEE5967FA7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ff1e6c6fc26e94b52a8731f0edc52b7b70a33a","datavalue":{"value":{"entity-type":"item","numeric-id":744329,"id":"Q744329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2241eb091e9f9c1a0ebc06c345dd7e9134c1c9","datavalue":{"value":{"amount":"+0.765056312084198","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":"Q5716590$10171A9C-8EB9-41DA-920B-2093168D8B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"820ef20e3254e183ecf8e93e57f32a74b82f8203","datavalue":{"value":{"entity-type":"item","numeric-id":4417835,"id":"Q4417835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"878cdde6bfe1cc8c0bcb8abbf2920a75acb1a039","datavalue":{"value":{"amount":"+0.7544488310813904","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":"Q5716590$55ACA229-E6AB-4ED0-AA06-04A83AEABC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f929b2b078f05c9b7b73c3dc0c1edaf1d0368100","datavalue":{"value":{"entity-type":"item","numeric-id":2145329,"id":"Q2145329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d568a5a543a1ecc67d0dc08b9597157c82db942a","datavalue":{"value":{"amount":"+0.7492550611495972","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":"Q5716590$042BBB3D-D5A0-446E-BBB6-E3BAD6A5EA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"500d63d94709eb017b31978b3c74de1e0942ac59","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45ebb320b08d400dc2fc5d9cb634bdfb2618104","datavalue":{"value":{"amount":"+0.7412277460098267","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":"Q5716590$3505B7FA-1F10-42E4-8EE5-DD4F6D4BAE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74e7ae950967d9d83198b88f58fe257c62a8a73","datavalue":{"value":{"entity-type":"item","numeric-id":2643337,"id":"Q2643337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a64ed2169e45154c061f8851558a55ec44844e1","datavalue":{"value":{"amount":"+0.7412276864051819","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":"Q5716590$565BC856-3536-4DFD-A642-9D1BC02D71F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716590"}}}}}