{"entities":{"Q5716539":{"pageid":7746093,"ns":120,"title":"Item:Q5716539","lastrevid":48627604,"modified":"2026-01-05T10:43:53Z","type":"item","id":"Q5716539","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245496"}},"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":"Q5716539$2CFE421A-BC78-4DBD-9E35-595E53BAF8C4","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":"Q5716539$99DBDDD2-CD80-408D-94EC-7AA535E24F28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac9d5d5b7bd0a547721a31cb8a9159c7af0feee7","datavalue":{"value":"1081.68628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716539$2E718226-63F6-4944-B204-F5FF833AA335","rank":"normal"}],"P16":[{"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":"Q5716539$A1EBDE72-FE82-40E2-BFC6-CC5F957DD2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b5dac73a626864066e391d75e33e945e00da80","datavalue":{"value":{"entity-type":"item","numeric-id":859959,"id":"Q859959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716539$CCD9A922-DB47-400B-85EB-AC0CFA7CFB1E","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":"Q5716539$8F6C053C-86BC-4CF6-B864-6E36F1BD49A8","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":"Q5716539$49C1C7F9-8BC1-461C-BEB6-883FCDE93072","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716539$EC202CBA-476D-4CB5-9DFA-C241052A1DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716539$B310F4CC-656F-4F45-B72A-16D4A4EC4FBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f32f4bcbd3bd55ec60f7773ef05f2e3c85cab517","datavalue":{"value":"2245496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716539$21EDBF6D-228A-4D95-9E07-0ED5F4FE6142","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":"Q5716539$643F2648-A77D-45DD-B0EA-F7E795C6EB47","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":"Q5716539$4B451F78-FA27-4EC8-9DF3-C89359E95C20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9959a61941989cfbebbcd6b289a6e155bf820997","datavalue":{"value":"W2507913385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716539$067B5F29-5CF9-4DF2-9099-B0B5A30770C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654cf1a91aa5f165fb4ceeca0044933ca81bba7","datavalue":{"value":"10.1007/B138445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716539$49C59622-A5DF-4A96-B7D3-18343D8A8760","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fa4380aa847f05a8dd71c16090e8f1414bc1a5","datavalue":{"value":{"entity-type":"item","numeric-id":4547768,"id":"Q4547768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d89424f1f76175ed866bb234ca25faef16978c57","datavalue":{"value":{"amount":"+0.7757302522659302","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":"Q5716539$445CB02A-49E4-4E7A-B08E-6950A8271049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce69134ab21ed390353231f89ad42dbdfb0d2d7b","datavalue":{"value":{"entity-type":"item","numeric-id":2942914,"id":"Q2942914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36461f2134da3742b3c96f314f173f25654366fd","datavalue":{"value":{"amount":"+0.7757301926612854","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":"Q5716539$C12ED294-EFD3-4933-A414-F494C6F45A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d6246401ef06531874c3e52c11c56e6f07e202","datavalue":{"value":{"entity-type":"item","numeric-id":5276156,"id":"Q5276156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9182fe05007c4867f037b766e91a32085a0c5f76","datavalue":{"value":{"amount":"+0.7659427523612976","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":"Q5716539$746D0FE0-6DC7-4162-8BEC-1F842F2E1600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195341238ec884fef4c1d57e3b631063fc7b6ed0","datavalue":{"value":{"entity-type":"item","numeric-id":3189808,"id":"Q3189808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0d418f45f5231bc352569e75b154a77c677c6e","datavalue":{"value":{"amount":"+0.758430540561676","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":"Q5716539$36ADEC93-B492-4CAF-BF93-0ACD2A391A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac533c4a2838a391eef3f46811ecb2461e09ffd0","datavalue":{"value":{"entity-type":"item","numeric-id":5325843,"id":"Q5325843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd0661ff52d983ea05e59e1f685e7167be1cbaa2","datavalue":{"value":{"amount":"+0.7583175301551819","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":"Q5716539$BD302964-0FF9-4E0D-B016-68D994226F6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716539","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716539"}}}}}