{"entities":{"Q5312944":{"pageid":7342518,"ns":120,"title":"Item:Q5312944","lastrevid":48536851,"modified":"2026-01-05T03:40:13Z","type":"item","id":"Q5312944","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199328"}},"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":"Q5312944$1162B541-31FC-4252-8BF0-482D473183D1","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":"Q5312944$B1E84F16-EEB9-4362-A038-EB1C4C54DAD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b599c968989e46dd27ace85a0d6ff782be7ba7c0","datavalue":{"value":"1103.68625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312944$F2F11507-E326-4A4C-980D-2388E50920F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"843a32011b60efe25bc4ca739c64611b63386e90","datavalue":{"value":{"entity-type":"item","numeric-id":2849594,"id":"Q2849594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312944$4E35021E-6A53-4637-A1B4-E12D40686393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7720f22eb78695ebaa480087fac7db26e8fa935c","datavalue":{"value":{"entity-type":"item","numeric-id":2848676,"id":"Q2848676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312944$BA581E09-2A9A-4906-B0E3-2A3CDB8E116E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f58cd250110bf59c28a29d5e30b88533180a96","datavalue":{"value":{"entity-type":"item","numeric-id":832299,"id":"Q832299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312944$1C846615-D60E-451E-A49A-237DDB3F9A9A","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":"Q5312944$EA9810C7-5AEB-485D-AF4F-B4FB0A51EA28","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":"Q5312944$77A0B1BF-6CC1-4226-BA09-181CEF6251BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312944$BA6AA838-55C4-4026-BF51-D00CBF1A78B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bcfab6f7bd5fce83b7c777164d1ec74974e35e1","datavalue":{"value":"2199328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312944$CF6F47D7-2646-474D-B443-EBBCDF2F8A98","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312944$BCFE465E-922D-46E3-BD6D-A344B030BF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68889b620f959d2410d5024f9adee923736e93c3","datavalue":{"value":{"entity-type":"item","numeric-id":16818,"id":"Q16818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312944$81424244-31A1-42ED-B1C7-54FCEC84F0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312944$90EE83B5-829C-470B-B1C1-20DD76817AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312944$23B29875-59E7-41A3-9BF1-9216528530D3","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":"Q5312944$EC13C734-8F11-4D22-8BF8-FB97B05A6CDA","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":"Q5312944$AD1F116B-C393-41B7-9760-90C8EC52A381","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312944$52900CC0-63CB-4719-A5E3-B33D7A19F82F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312944$1505278C-B763-4104-8777-5E141BE8DA33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb993c9cdce160fb5e590abc6bcb1a9c2a3fe558","datavalue":{"value":{"entity-type":"item","numeric-id":5714752,"id":"Q5714752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec816e1df6a7aa3a5e19d418c07e18306dfe6af","datavalue":{"value":{"amount":"+0.8456445932388306","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":"Q5312944$630B0F2F-4999-4D85-A789-50C23EC8DA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b06f16848a2eaaf5412a299987f2ad860f8ac8","datavalue":{"value":{"entity-type":"item","numeric-id":1380431,"id":"Q1380431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1eec8d8d888b5b9d1d75305d9477a6c9ac39f37","datavalue":{"value":{"amount":"+0.7489533424377441","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":"Q5312944$03FD65D2-F89C-4A29-BC8C-31E425890AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a1bf693cef9178aadd375963cd412c8809cc24","datavalue":{"value":{"entity-type":"item","numeric-id":3176368,"id":"Q3176368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4b7387989232abc7cd0cf68c280bedd6534985","datavalue":{"value":{"amount":"+0.7103171944618225","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":"Q5312944$AE7E6D79-E03F-47BC-8DE5-A310A568859F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee356ae861b9bbcfde7895c962ba1a94d08ccb2","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf95f0a746e7602032b6b2f9d43d06c550a859bf","datavalue":{"value":{"amount":"+0.7096746563911438","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":"Q5312944$800B9286-5BA1-439E-8B53-6E2FD4F8D95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0337eec65669bdb027f080d3087ed0d70cc9320d","datavalue":{"value":{"entity-type":"item","numeric-id":4738483,"id":"Q4738483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3e2c4dce48f8996e706e2798436d839318aa58","datavalue":{"value":{"amount":"+0.7008690237998962","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":"Q5312944$72871AC5-6F96-4E18-8C39-E819CFEC6EC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312944"}}}}}