{"entities":{"Q5312932":{"pageid":7342506,"ns":120,"title":"Item:Q5312932","lastrevid":48537844,"modified":"2026-01-05T03:44:34Z","type":"item","id":"Q5312932","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199317"}},"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":"Q5312932$3D9685F1-1BE5-424C-92EB-BF6043F9735B","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":"Q5312932$CD71A5D5-A229-4157-B500-C9AC006D5BB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba47567469ab4be0ff3420ca5e4d222fdccede53","datavalue":{"value":"1103.68628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312932$60F19476-C1A2-4530-995D-0A4B6D3D0C3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fc9efcacb156ebe441d1f18c88b7586f817c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":682352,"id":"Q682352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312932$8B8F2236-DFF5-4ED3-9134-4DE2D4BF5349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f249f40c4f258debe6dc3dacc160f2e23026fd","datavalue":{"value":{"entity-type":"item","numeric-id":557794,"id":"Q557794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312932$175692C2-F2A2-40AB-AD24-A3BA2C444B8B","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":"Q5312932$0D489A6E-EE6E-4A34-B94F-F4467721FFB3","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":"Q5312932$692DBA70-AC4F-4C9A-A610-B6558A5B5E20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312932$261EC42B-DEBA-4226-A990-C8D3EC129D42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90db65871d1d359f079d51ac6b1d61da80cbb716","datavalue":{"value":"2199317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312932$71391FB3-AD21-49A6-8C42-8A5FF3A98E6F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a35a47cef9f2baec76c3bfc2bf8f6032431cb1c","datavalue":{"value":{"entity-type":"item","numeric-id":16827,"id":"Q16827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312932$AC712718-FD00-4FB1-8404-8837C60F123F","rank":"normal"},{"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":"Q5312932$7D46115A-F489-4F07-AF29-3894321B607D","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":"Q5312932$75AF8CB5-EAB9-4031-9255-D308F80D95D2","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":"Q5312932$033EEDEE-2D36-45A8-B440-6EEE2F986850","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312932$B9FDEC24-E516-408E-BB51-C6D34CBAFBF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312932$65473133-A902-4A17-B335-651420093E6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0c4e2e4c31e9ec10c1b07a44660762cf4dcb14","datavalue":{"value":{"entity-type":"item","numeric-id":4804887,"id":"Q4804887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943c30fbc45ce816441ffede22564fa33fbf77c5","datavalue":{"value":{"amount":"+0.7479574084281921","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":"Q5312932$95F68F26-E5B6-4495-891B-177D0A85C3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4446e46f0b680729cda90c4cf5138200c899989d","datavalue":{"value":{"entity-type":"item","numeric-id":5191535,"id":"Q5191535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6efa9d60b90cf84cc890d15fd68d3303ac4ee8d4","datavalue":{"value":{"amount":"+0.7368385195732117","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":"Q5312932$3F609728-5AF0-4857-BD69-8C138BFA4157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8d614a1713015889e0900fda5bad81cf530c60","datavalue":{"value":{"entity-type":"item","numeric-id":4804919,"id":"Q4804919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"829d7a41e105a08c5f91b52cc6ded57fcc1c5880","datavalue":{"value":{"amount":"+0.7058466672897339","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":"Q5312932$DAC7D4F0-8A8A-4442-A76C-4238E2B0DE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7b486dfb9ff89724e74e5b26cd78fdf6025b67","datavalue":{"value":{"entity-type":"item","numeric-id":4427901,"id":"Q4427901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4844a624b5d52ab4fcc35d61743527ac61459b8f","datavalue":{"value":{"amount":"+0.7016392946243286","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":"Q5312932$7204C23D-B475-49BB-BF49-B36A3F2CF494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9b3d7b89b32fb2fb30747b57210770bc0a77cb","datavalue":{"value":{"entity-type":"item","numeric-id":4982077,"id":"Q4982077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eead8b8af9a2da970078228c77ddbb4976b8c298","datavalue":{"value":{"amount":"+0.6888464689254761","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":"Q5312932$45189FD6-711A-43A8-B798-51CDD03C286F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312932"}}}}}