{"entities":{"Q5312914":{"pageid":7342488,"ns":120,"title":"Item:Q5312914","lastrevid":48537808,"modified":"2026-01-05T03:44:33Z","type":"item","id":"Q5312914","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199304"}},"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":"Q5312914$0DDD1A69-69A9-4F56-BBDC-72C227B7B4FA","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":"Q5312914$B39C615D-8915-4E42-86B2-5FC5B9DC7C5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16f175a96a53b5a5b9e5e9499e08d32365b3b5ae","datavalue":{"value":"1103.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312914$47DC0DD1-9FB8-4E11-93C5-1F912D01A087","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312914$7C92FC99-1A6C-4F7A-B166-760127083FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312914$F17D58E8-9413-4D99-899D-5A74A085C7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312914$F50D322B-939D-47CA-B7A4-BD08581F5A17","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":"Q5312914$17294CB7-AE4E-4525-B82D-B44A4E68E282","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aca40131a4b359e0412a5ddeceecc24f8a40f1e6","datavalue":{"value":{"time":"+2005-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5312914$E7D00D0E-4FB9-43AD-9052-5C8A30F5D2E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312914$9B9FA49E-E7ED-4831-82CD-0E0865FDFE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312914$1FEA628A-B0EF-48F7-990C-A07B236E0B92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9de258d367ac0e3f2cff93b77b1fddd86257b861","datavalue":{"value":"2199304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312914$96DF250C-E71B-415A-95AC-403D80CC59D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312914$18668BE3-DB3A-4E2D-89AD-5B922C3B6119","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":"Q5312914$A7BE62C4-6357-44F1-9D8F-C247489C100D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc85b80a186ab9851fed94472e07b18c0eda8535","datavalue":{"value":"https://doi.org/10.1007/b98490","type":"string"},"datatype":"url"},"type":"statement","id":"Q5312914$695EE9D3-361F-4353-9F8B-34725DA0F07A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312914$E7B51B53-D517-4712-A210-594625DA71E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312914$0A054555-1831-4B19-8DE5-8A3944BC07EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9812515b3ccb140eed3b46a394afb70e05cba7f2","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd0c78cad86e582dc2125a42428bb65cb96040f","datavalue":{"value":{"amount":"+0.8717350363731384","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":"Q5312914$CAC557B7-670A-4BD8-AB1A-81A1EDF07454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f46a425a9a29a7b242dd1459072961c4e8e195","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398114c49114143a4d9a81adf43b74ba3a911eef","datavalue":{"value":{"amount":"+0.845434308052063","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":"Q5312914$78E15F0B-5E09-452A-9F5A-E8BED1F30647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff3425787aea28c8198974ec0d095be505fb445","datavalue":{"value":{"entity-type":"item","numeric-id":6045028,"id":"Q6045028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e32576a22a7ca2460f6f049e34b713c311ac65cc","datavalue":{"value":{"amount":"+0.8454264402389526","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":"Q5312914$B1D9DFD3-5A89-429F-827E-D6E216CB7778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"136566685968582f4b4c330630cc53a377c69a86","datavalue":{"value":{"entity-type":"item","numeric-id":2852015,"id":"Q2852015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d84e5682101f4b580ef1bf6c2abc57e5464aa2f","datavalue":{"value":{"amount":"+0.833885669708252","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":"Q5312914$CA49F124-42E1-44B7-8C61-9172BE768A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de754979d8ed4a332bfa07f8950b63fa1e5f35b","datavalue":{"value":{"entity-type":"item","numeric-id":5429319,"id":"Q5429319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47525514f23c93fabc43e454a10309b173477966","datavalue":{"value":{"amount":"+0.8300023078918457","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":"Q5312914$3893C7F4-3EC0-47B8-8B90-F403DB4B463E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312914"}}}}}