{"entities":{"Q5312902":{"pageid":7342476,"ns":120,"title":"Item:Q5312902","lastrevid":48537775,"modified":"2026-01-05T03:44:32Z","type":"item","id":"Q5312902","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199292"}},"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":"Q5312902$F0F48F26-E3FA-44CB-9342-A80736089AE0","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":"Q5312902$D9DA3EAE-B21E-4008-A149-97BC2AE3B5D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06eba2f44d6ae82076f6f1a76085cd99d386a43a","datavalue":{"value":"1103.68638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312902$0FF38F04-A84A-4356-9BA8-76BAA6125F0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312902$FB2472AA-02D1-48F9-916C-257D3648C78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dee375e96a94f690626081864dec8a3313a32033","datavalue":{"value":{"entity-type":"item","numeric-id":1295435,"id":"Q1295435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312902$434CC2AE-BA5C-435F-9EF3-FA86A455E9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a3a6d65cef09233c3157717e074297efd5d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":479825,"id":"Q479825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312902$41711037-4B8A-446A-AF02-9F57D7734E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312902$F768B4DC-B53C-4A5D-8166-B5260AE10AB2","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":"Q5312902$F4F1E154-CE37-46A1-8A74-213AAEE7952F","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":"Q5312902$E3C7B3B5-BB28-405C-84B3-10FDDE341C08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312902$AE787BD8-811B-448C-8BE3-F839FAFB3866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312902$55DF02C2-4C6B-4F4E-A77C-2646E2F87748","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dba1b5f61c74be960ccc5062401907ade0df152d","datavalue":{"value":"2199292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312902$937C8D94-F01A-4DBB-859F-C9070C28D719","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":"Q5312902$655ACAB3-9A65-46A5-90EB-D38F3DBE7EB4","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":"Q5312902$E36A5B6E-96D9-409D-9D84-831809A348E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312902$B696073C-73C5-4547-9A51-EBB1470757FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312902$1B30C14C-F4F3-445A-B985-21A844BD8D06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bffe8dbffeedd3a5bbdba52b07669a1c7cd1cc1","datavalue":{"value":{"entity-type":"item","numeric-id":2385196,"id":"Q2385196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f72e49af6f012e85505e6f6698b6381be4e6d6b9","datavalue":{"value":{"amount":"+0.9985636472702026","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":"Q5312902$2E1D123A-D351-4D2E-9AE5-A155D5CEED14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353c608691c01000aeeb208adf4492bc17b2a88d","datavalue":{"value":{"entity-type":"item","numeric-id":5897066,"id":"Q5897066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c506b386f0730b249f9c0c105b752ceda0a3fc","datavalue":{"value":{"amount":"+0.8109135031700134","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":"Q5312902$F3B1D2B8-32B0-470E-A232-4BE02E9AABDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c06c91ccc34184c97e64bdd0a94d2a8fce943aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4427896,"id":"Q4427896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7e131ffec77997281bee443fd42ca93abbbb02","datavalue":{"value":{"amount":"+0.7999992370605469","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":"Q5312902$006CC956-B11E-4E65-965C-BC53A6548E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c827e604e837f3914d63ecde41f01080b226335","datavalue":{"value":{"entity-type":"item","numeric-id":2336669,"id":"Q2336669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8323b9d51afed4d66eeadfbe833d2109775f00f2","datavalue":{"value":{"amount":"+0.782265305519104","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":"Q5312902$173E3103-A82F-434D-8A6A-9F6DA4C1B9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d3ca9c9dff24bba5e94e9ccffd5a85ed12e66a","datavalue":{"value":{"entity-type":"item","numeric-id":5312901,"id":"Q5312901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a7b45acc20df6e681423797b954b1a1ab6120d","datavalue":{"value":{"amount":"+0.7655596733093262","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":"Q5312902$69D6C277-6AF4-4AA7-AD08-641AEAA4EA7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312902"}}}}}