{"entities":{"Q5312899":{"pageid":7342473,"ns":120,"title":"Item:Q5312899","lastrevid":48537769,"modified":"2026-01-05T03:44:32Z","type":"item","id":"Q5312899","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199289"}},"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":"Q5312899$E928FD1F-9E77-4C0A-A384-7E04645D274F","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":"Q5312899$F9326C15-11CC-4D6A-86C6-EB6F3AB33E4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a046b04c4997dca2eaf03f70cd1b5e4d053398d","datavalue":{"value":"1103.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312899$46A62780-28E0-43A4-9321-318F3F3EF68E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90977d1bdd1e84f65b103450bc67621a9b3841ff","datavalue":{"value":{"entity-type":"item","numeric-id":1886035,"id":"Q1886035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312899$F72D8329-FE2A-4E40-BF69-8517006CD9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc296f41d11fea7b93d22457da52ba5c74d18ae","datavalue":{"value":{"entity-type":"item","numeric-id":389946,"id":"Q389946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312899$5F82AF87-EABF-47EE-A554-D8086E370D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312899$6006E338-57A4-4A1C-A55D-920554763937","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":"Q5312899$3C8F5D65-AD51-4ACD-99BD-D80EF15550FB","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":"Q5312899$6FB34C76-1584-4BE7-B2B9-BD65BDC5B2EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312899$8DE9035D-7C5D-4938-A76C-3CD10D47DAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312899$E4DAA146-EB4A-4D04-BD67-8C88000E1C18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3075fe9e3427f07ba28c4174bfa6f9406509a197","datavalue":{"value":"2199289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312899$267B8656-2D9B-4276-87F3-86832E745F43","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":"Q5312899$20B9DC59-008A-41F5-9C7C-C80ECFA9AF43","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":"Q5312899$4BA19FF8-31E4-47C5-A5D6-116A1772C798","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312899$9D6C8452-7FBF-4C60-9493-B3AD06E28AE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312899$827EF374-78B5-4661-B751-C220CC8B821B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6a09553cf6d87705c2240f3cb0ce2abc0a388a","datavalue":{"value":{"amount":"+0.8037782907485962","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":"Q5312899$52DB5513-7B34-4611-A752-E24C2269169B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb8f51e06cd7af3a1e24fa953ae37b4250bd009","datavalue":{"value":{"entity-type":"item","numeric-id":4503927,"id":"Q4503927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7a2ecf4f33fcec91a5b77b9b8b964ee1a8b15a","datavalue":{"value":{"amount":"+0.8035455346107483","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":"Q5312899$1215B36C-299F-496C-9972-AA9CB58681FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345ce6084d877d4521444930d1628629a7e3a3b5","datavalue":{"value":{"entity-type":"item","numeric-id":2946660,"id":"Q2946660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"119f7853e9fb4ce044855cf3958ae6068f34e1d2","datavalue":{"value":{"amount":"+0.8015437126159668","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":"Q5312899$1F23E74C-1D0C-4AF1-A104-81255935F4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60551692e600e110ca5b90f3a1d772a55d43c8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5703763,"id":"Q5703763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0edb3c4fdc750d1061eba418bbf62d85fab0e6bf","datavalue":{"value":{"amount":"+0.7925080060958862","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":"Q5312899$CA323538-8B29-436A-9CC8-EB4D8BE276B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e86c268dc1acaf66e0136a2fe8d43f16d7d0ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c56cb2968e9a9b2c1e189a0d6903a09db7da122b","datavalue":{"value":{"amount":"+0.7857474088668823","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":"Q5312899$9E736C1C-5FF3-4355-A605-700C9BEAD931","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312899"}}}}}