{"entities":{"Q5716545":{"pageid":7746099,"ns":120,"title":"Item:Q5716545","lastrevid":48627640,"modified":"2026-01-05T10:43:55Z","type":"item","id":"Q5716545","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245501"}},"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":"Q5716545$1E015A6E-E061-4D54-8E55-1C6773790337","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":"Q5716545$4841E5AB-1D88-4FE3-AC17-1051427CAD61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0526f9307d8fb7a10103cee6ec5dc2448dec2b03","datavalue":{"value":"1081.68614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716545$76AE4BD3-F7F5-4EFE-B3E9-1CFA49E55468","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":"Q5716545$84928F62-2BAB-484B-8008-E12C206C1D26","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":"Q5716545$600E5207-FCB5-4A0F-833C-4BB66BFED190","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716545$27A61DB1-BBC2-4272-80D2-D37D78A4EFAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04693dbc439dc9be2f7649e20fc03b82657a422c","datavalue":{"value":"2245501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716545$387FB629-F889-4B15-8ACB-B0069EA832D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c13ff997fd9ca4b90e1463ffecaf8df742f5c1","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716545$94BC54EB-CC2E-4FFD-A933-F80FB02BE50E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716545$3CE946EF-FB1F-4083-8566-B6A205C9F2DA","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":"Q5716545$C3F4E912-25C3-4B5D-AF68-067BB0C18F96","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":"Q5716545$CCC26AC7-34B2-4D5B-8C8C-18C498CBACED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716545$1BF965CB-EEF1-4FEF-B15C-9E412F26A326","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716545$F30B94A1-C8B3-40AC-A237-C22CE9F80841","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5a37b1c080cc6749930416084e59c058a1126e","datavalue":{"value":{"entity-type":"item","numeric-id":2769440,"id":"Q2769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908ce210548da143576d9210bbcaf47581ef0428","datavalue":{"value":{"amount":"+0.8399366736412048","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":"Q5716545$16B65889-ADA9-4131-A6C5-C8CCEDB88622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb36254aca9ce96e4bf6f89f2ebcd90cb9cd50c","datavalue":{"value":{"entity-type":"item","numeric-id":1874284,"id":"Q1874284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb74c029320d823a8c41b827e15bba876f5ad48d","datavalue":{"value":{"amount":"+0.8286207914352417","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":"Q5716545$1E16797C-A817-42B1-9A45-10066FDA4868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027d01452061cd96895758d35e71f90332b94a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4551130,"id":"Q4551130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a42882e92aab727ab007d054ffc31e724dccc6","datavalue":{"value":{"amount":"+0.8179091215133667","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":"Q5716545$B6EFAFEA-1887-4137-9B2B-3B18B387E6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692eaa62c6daba5ff22022792cbfeba82e9bdf42","datavalue":{"value":{"entity-type":"item","numeric-id":1405989,"id":"Q1405989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41da0c7fcd2e82dd08a8ed67c6cfdacdff1fb421","datavalue":{"value":{"amount":"+0.8136383295059204","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":"Q5716545$4E73F3C3-C1F9-4D20-9745-E9719298632C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c33c5459aee600cf4d4743005ca61ff60fbdcc2","datavalue":{"value":{"entity-type":"item","numeric-id":1405996,"id":"Q1405996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0535b17edeea03428986e012c3e26826ed17a1","datavalue":{"value":{"amount":"+0.8046582341194153","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":"Q5716545$661D35BD-5389-449A-9A11-8D5E1A192E90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716545"}}}}}