{"entities":{"Q5312906":{"pageid":7342480,"ns":120,"title":"Item:Q5312906","lastrevid":48537787,"modified":"2026-01-05T03:44:32Z","type":"item","id":"Q5312906","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199296"}},"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":"Q5312906$3E81CD9B-E1BA-484A-AFC0-3C62B4E0EA59","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":"Q5312906$27B5CAB0-06F6-4473-9926-D09E8D6AF61F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3e953d986f7b3ed0350d539ae278cb36c28a26c","datavalue":{"value":"1103.68624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312906$6253D28C-AE09-45B4-8B79-627017A56670","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d108f2cc75f223419614b9663d463900e39edb7c","datavalue":{"value":{"entity-type":"item","numeric-id":2435314,"id":"Q2435314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312906$92DFEA09-3CC8-49C3-A773-3F347FA6E372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c287079e407405d0883d696b618e0b7ff853eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1020551,"id":"Q1020551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312906$44F411F3-F3DE-4CC0-805B-8CE48B78FD30","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":"Q5312906$58A666AA-9156-43B9-B176-503377C4727A","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":"Q5312906$8C55A980-10EC-4D52-9A45-910ED7F8691F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312906$23EA7B92-92FA-4430-94C1-9BC7E63CDA1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dd863abadb52120b067a1216d2e0196d1439b2e","datavalue":{"value":"2199296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312906$D9007304-9FCF-4AD6-ABB9-F0284DFB5F6A","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":"Q5312906$FE8600BC-3214-4345-AA51-108B770C0FFB","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":"Q5312906$4EC8D5F6-02AD-4146-887A-380993056598","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312906$3A63D9B7-809C-4B51-ACD3-CBD6FFD2B09F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312906$FA8437F9-6392-49B4-B1BA-88073900E7E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c08b12e2e57d200144a65bfc6cd29d62405e5254","datavalue":{"value":{"entity-type":"item","numeric-id":5492995,"id":"Q5492995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d928cc5eaec83db8828386644a27392d0964bbce","datavalue":{"value":{"amount":"+0.7035470008850098","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":"Q5312906$F902CB9E-B014-4A56-816A-097703B409FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb99e5e0ba057c6fe232d3763db011a9f9be580b","datavalue":{"value":{"entity-type":"item","numeric-id":4791838,"id":"Q4791838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b11e0df43ec1c3c71c13d36b408eb9d965da94","datavalue":{"value":{"amount":"+0.702446699142456","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":"Q5312906$D03303A7-D8DA-472C-9A82-D5440415E9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321d680e3ecd0819739a196166556b47eaea4723","datavalue":{"value":{"entity-type":"item","numeric-id":5714743,"id":"Q5714743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c27b38b92c901922fa9bb45a4cfc4cb0e361775","datavalue":{"value":{"amount":"+0.6960567235946655","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":"Q5312906$E254AF7A-B221-4B29-BE3A-4B88DE7AD229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e193be16922ac5039a5905cc569127ff5d8c0e53","datavalue":{"value":{"entity-type":"item","numeric-id":2866408,"id":"Q2866408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca205447a59be75feb991b6beee6df1c9d0f396a","datavalue":{"value":{"amount":"+0.6896148920059204","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":"Q5312906$D916BCFE-C518-4944-9CD4-68A0A5AABEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c4023c22660218d041fe51de40a0a5b64ab852","datavalue":{"value":{"entity-type":"item","numeric-id":1028967,"id":"Q1028967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8438da2ddf2a6d23c50417bbbfccc78016377753","datavalue":{"value":{"amount":"+0.6798123121261597","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":"Q5312906$3690ABA6-8B92-4C61-ABB1-E2F5D6B45A1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312906"}}}}}