{"entities":{"Q5312918":{"pageid":7342492,"ns":120,"title":"Item:Q5312918","lastrevid":48537820,"modified":"2026-01-05T03:44:33Z","type":"item","id":"Q5312918","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199308"}},"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":"Q5312918$A0EA489F-DAE5-46AB-83C8-007DD7CF482E","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":"Q5312918$274CB81B-A840-4815-AA31-EA92E17053E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9675ebcb3cb154d7837c1cd21e5f8e651f8a5217","datavalue":{"value":"1103.68601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312918$F0BEFB67-43F9-4A5F-8972-E6426203B214","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa87e6e13e12e2772f7f5954b0ff2440076a4177","datavalue":{"value":{"entity-type":"item","numeric-id":2729087,"id":"Q2729087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312918$A80F7A53-1417-4B3A-B125-5B54AB8D4755","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":"Q5312918$FA04F0C2-9D61-4064-80FF-33137E316588","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":"Q5312918$9C7CFC9E-AF37-4C8D-85DB-7FD96E8638DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312918$811C22B7-1D8D-42CC-86A5-FC43C7CAC48E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dfb9a0f6580a0cb1584a8c87a0fef0f5dae9a8b","datavalue":{"value":"2199308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312918$D28E992B-7653-4B23-9B74-FBB80EF97FBD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312918$D8B81D7D-578F-408D-9716-8AFE7E7C7F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66062915c8f8307ed1d4569cd30a02c394839f8d","datavalue":{"value":{"entity-type":"item","numeric-id":21998,"id":"Q21998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312918$555328E0-9F1F-448B-A4E9-80F4E6A0B3BD","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":"Q5312918$CF0EE8FA-2136-48A1-A4B5-0AF103653E03","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":"Q5312918$67293821-4D85-4487-AF1A-86E0743972BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312918$E5B86D55-F5E5-42B6-A912-0D6800DD63E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312918$8890E602-9F73-4CD8-9894-9633BC2D2F20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d9a309aa4b7cc358b2d051cdf6f20e8e91493e","datavalue":{"value":{"entity-type":"item","numeric-id":5900689,"id":"Q5900689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80729a9434711005665294f50244da6e01472ed4","datavalue":{"value":{"amount":"+0.8320227861404419","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":"Q5312918$26377AE0-AEAB-4E65-BC5E-EC2E90B2A94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9188802db0ca6e5855031ba620da0bd0ddef4c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1604724,"id":"Q1604724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e046be24bcbc43d56074592d626acaf09061d98","datavalue":{"value":{"amount":"+0.8043515682220459","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":"Q5312918$622ED7CB-EC6C-4DF1-90A4-243AC5BF15A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079326ee9986ea30e28dabfd373c522d9c16f222","datavalue":{"value":{"entity-type":"item","numeric-id":2754112,"id":"Q2754112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e046be24bcbc43d56074592d626acaf09061d98","datavalue":{"value":{"amount":"+0.8043515682220459","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":"Q5312918$6C5EC884-7105-4FA4-8104-1D9532B7B802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c6d795a219ec9ebce796a3683f6d4653faea77c","datavalue":{"value":{"entity-type":"item","numeric-id":2729088,"id":"Q2729088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ddd7fccec0fbf28c86f795d865e84dbaf88f17a","datavalue":{"value":{"amount":"+0.800018846988678","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":"Q5312918$77DEA12E-D3D3-4C47-9E05-51BC7CF2DA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37fbafcccaf439e1f7cb33ef651e7a286c92fdd6","datavalue":{"value":{"entity-type":"item","numeric-id":1604722,"id":"Q1604722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"407976c9f0dc97bff7274b53228db0ad5d3ecf08","datavalue":{"value":{"amount":"+0.7603253722190857","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":"Q5312918$5D8A4165-848A-462F-9599-C8DF6358AE1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312918"}}}}}