{"entities":{"Q5716569":{"pageid":7746123,"ns":120,"title":"Item:Q5716569","lastrevid":48627715,"modified":"2026-01-05T10:43:58Z","type":"item","id":"Q5716569","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245518"}},"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":"Q5716569$0074C94F-D7E5-45ED-872A-93FF480660F4","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":"Q5716569$59372AA2-487F-48BE-A12C-5BC1024000AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e1410b07f6162eb24598068a8bfa1bebc36cbf1","datavalue":{"value":"1081.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716569$73508A09-A9DE-4D0A-AAC7-BED7A276B24A","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":"Q5716569$EA67CCD5-F87E-4683-B153-E0A315EB01BD","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":"Q5716569$03FBDE0A-D15E-4EBB-8628-17A1DC7DDA15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716569$C0430808-2C6F-4830-81AB-7F7F6DCCE07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716569$D7B4C83E-850A-4527-9999-C9E24E40D378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4db22146753f5305670e78aa06ee0367ddbad55b","datavalue":{"value":"92B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716569$6930C783-B670-4E29-84E4-DBE8447CE8D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96fe33b9f91eb087f71ba7e55a63a53f0cc8710a","datavalue":{"value":"2245518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716569$6265C90D-47B7-4748-90AD-46DE1D2969B7","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":"Q5716569$5C3CC5D4-70DE-4E98-AB82-2E284CB01525","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":"Q5716569$D74A86D5-D6A7-4084-9F3F-FAF60CF47E1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716569$27432084-AF7A-40C5-ABE7-4A0A7A4A5042","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716569$E47F121D-6F62-44F5-8BAE-EFF80C4EC5CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9519b8d2012e86e7eb1cd02b749d441949012e","datavalue":{"value":{"entity-type":"item","numeric-id":5491865,"id":"Q5491865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122aca4b0d63ad388ab3f256d0a3da88725fdacd","datavalue":{"value":{"amount":"+0.833584189414978","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":"Q5716569$C3F938DA-A2F2-43FF-80D3-4B9127A62FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3dcce4c62cc2f54e2de49ae3a5559642dd6645e","datavalue":{"value":{"entity-type":"item","numeric-id":5429361,"id":"Q5429361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e036d7150e2272bdfc074690cc77fc9b44dd6248","datavalue":{"value":{"amount":"+0.8091599941253662","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":"Q5716569$5DD0CD3D-3822-4397-A79F-5F25E0AA2331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4ea514c25f21c7938eba1975695d832f96a800","datavalue":{"value":{"entity-type":"item","numeric-id":969180,"id":"Q969180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5955258629f852ad55700f92e30071a75073182b","datavalue":{"value":{"amount":"+0.8050433397293091","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":"Q5716569$09887BCD-B750-4BF2-AD95-4CB6F84F4CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f7d6cd2d6ae5b7e02a84b9f8a96cbb8cc0db3e","datavalue":{"value":{"entity-type":"item","numeric-id":5404076,"id":"Q5404076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f2a5f1063f2235d51e115f4893b8780eeed40d","datavalue":{"value":{"amount":"+0.7897464632987976","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":"Q5716569$A7261E20-9EFB-4D47-A1AE-AD68BF0AD686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d719d9383302e86a07cdcda3e182fa3d4d47bf1f","datavalue":{"value":{"entity-type":"item","numeric-id":2852017,"id":"Q2852017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c8cb5d91cba95839dc01a7d8165f2a22cfa85f","datavalue":{"value":{"amount":"+0.7783240079879761","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":"Q5716569$9D58AC08-E576-40C9-B74D-A6F2F1179722","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716569"}}}}}