{"entities":{"Q5312940":{"pageid":7342514,"ns":120,"title":"Item:Q5312940","lastrevid":48536839,"modified":"2026-01-05T03:40:13Z","type":"item","id":"Q5312940","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199324"}},"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":"Q5312940$8C388651-3495-40A1-866C-653945ABEBCA","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":"Q5312940$06DA52F3-E658-41D3-9771-DD53218F7515","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c19c92c235a09f6c20a8c798ef000d74323b8ff0","datavalue":{"value":"1103.68633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312940$26351FF1-20AB-496F-B160-E4BC7A9A42EE","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":"Q5312940$21136042-2EB6-4289-8864-3BF4677DCAB1","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":"Q5312940$0FB7E816-B46D-4523-B816-456F5E8C878B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312940$989284BC-3750-45D4-BB4B-FBC2BCCBD7CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30fbe6e0bdc49e1b68565071c64d5b90b6bd3c07","datavalue":{"value":"2199324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312940$3E48A2FE-6476-4262-B630-76D8B8291181","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":"Q5312940$D0736827-7973-496D-8012-13B5681EBC5A","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":"Q5312940$404397B6-3A9C-4873-AE3F-64482F6287C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312940$A57B90FA-8E7D-4C0B-85B8-DE357A46D1CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312940$25FB4AE6-B217-4F99-8113-FFA31F8209AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80224f212f3ddc22497a90769871494a9e8b7e81","datavalue":{"value":{"entity-type":"item","numeric-id":315303,"id":"Q315303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bf4f0f8113e7423f258994cf2ba5fb5f31e74c","datavalue":{"value":{"amount":"+0.8482347130775452","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":"Q5312940$C3D8DF5C-35E7-4583-BA95-A3AB6C9B20A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a212f8aa58e20670461e6382ec0681ed0633da2f","datavalue":{"value":{"entity-type":"item","numeric-id":4439587,"id":"Q4439587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d08192eff4f9e66acd26e310434cb71d2aac3534","datavalue":{"value":{"amount":"+0.7731838226318359","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":"Q5312940$D94FA77B-F573-4122-9528-384135DC8C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51dd88ff98890184f780bacff049e75fda55fbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3636862,"id":"Q3636862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed646ec403dc2fb8ea21500445a57c8ec676014","datavalue":{"value":{"amount":"+0.7247083783149719","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":"Q5312940$DA61CB8E-4F71-4862-A923-D6D84EE9509A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc32b51ae5daa968005b8395546c76efdf661fb","datavalue":{"value":{"entity-type":"item","numeric-id":5716585,"id":"Q5716585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0fccac0b34586572a89de998a2af4e7dc75ad2","datavalue":{"value":{"amount":"+0.7226682901382446","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":"Q5312940$CD648C7D-6E0C-4AEF-9716-B11D461CF610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d119b80e6484340e5918151ffb38cb0620293f","datavalue":{"value":{"entity-type":"item","numeric-id":4473705,"id":"Q4473705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc40acbf7954e5c3fc85123b645b7561cba40691","datavalue":{"value":{"amount":"+0.722584068775177","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":"Q5312940$41C34D8F-9DDE-4DC8-A66A-01EF2D645AE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312940"}}}}}