{"entities":{"Q5716541":{"pageid":7746095,"ns":120,"title":"Item:Q5716541","lastrevid":48627616,"modified":"2026-01-05T10:43:54Z","type":"item","id":"Q5716541","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245498"}},"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":"Q5716541$5E67D88D-A977-44D6-B069-B2A04A929303","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":"Q5716541$02847F63-545A-494E-BF3E-4A2053CFFE7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8c443a0981a8c60fc5c348871cb2977c6c4a712","datavalue":{"value":"1081.68620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716541$C580AEC8-B7F3-4DA1-9C56-49A771DD8895","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"670630378a37ee9caa5b143e3303c512a4b6d9be","datavalue":{"value":{"entity-type":"item","numeric-id":934707,"id":"Q934707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716541$7FAFA5DD-91E1-4B87-A15C-589113A96D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716541$088D08BD-DEF6-4709-9D30-5A6BEA4C2A44","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":"Q5716541$5ACDF25B-8A7D-496B-88FA-A73E6F4A2A71","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":"Q5716541$A9043BEA-6AA8-44E8-9FAB-25BDD383C8BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716541$DF96C23E-0D6E-47FD-A4D6-07AC441E6BA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fad419d41dcd05bca17950e4b828a2a37f717882","datavalue":{"value":"2245498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716541$B73AA2FE-B3CE-4CAB-804C-41A857EAAD4D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716541$21CE9D6C-5AA8-4E04-931C-18B3BF7F78EE","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":"Q5716541$506CC2EF-D891-44A4-BC3F-225A6F45D6B5","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":"Q5716541$E773311F-3672-4D87-ACBA-C7AE155C1EC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716541$F60BB8A2-7FB8-41E1-83D4-74FAD6F59C9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716541$7ED0A9C1-1D6F-49F6-80F2-7AD978C61BF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3eab57d91a654c4eadcc66da4fb3257585003c","datavalue":{"value":{"entity-type":"item","numeric-id":4738460,"id":"Q4738460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9f62eb3fa5bab11b47d72cabfee004ca7fd2ca","datavalue":{"value":{"amount":"+0.8449748754501343","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":"Q5716541$10DB5ED6-9D09-4055-920A-CC6984C94E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356609ae3d55d23c02586fd1f83879a316c099d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"589b169adc1f0256a52c01cc6750ccd4f9f5d42e","datavalue":{"value":{"amount":"+0.820641815662384","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":"Q5716541$F3E7AC95-C165-4CF3-92EB-61851FA54290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ba4a8aa9df54de0a11218fc21a4da6a2aacf0b","datavalue":{"value":{"entity-type":"item","numeric-id":4804901,"id":"Q4804901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f60b5ac9f73520fbe91e1ab86583351e9a36c446","datavalue":{"value":{"amount":"+0.8122710585594177","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":"Q5716541$4E201DF0-EB7C-4DEF-907E-C65CFEF01697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032fda47f920a23a5bd24d18b53f68f5ff955ffa","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e49cf0125ac5af9682e27dc7df360e76d2fdf95","datavalue":{"value":{"amount":"+0.810937225818634","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":"Q5716541$2326D5F2-BA1C-41B4-AE21-C035C2552416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e0fff1b4bc3f8bda7efaf271f7270e4d54d584","datavalue":{"value":{"entity-type":"item","numeric-id":2291815,"id":"Q2291815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370ba853e20991c22ec9171d4af6cddc93d11510","datavalue":{"value":{"amount":"+0.8033025860786438","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":"Q5716541$902D183F-CA15-4551-BF07-C4912F98314B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716541"}}}}}