{"entities":{"Q5312894":{"pageid":7342468,"ns":120,"title":"Item:Q5312894","lastrevid":48537757,"modified":"2026-01-05T03:44:31Z","type":"item","id":"Q5312894","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199285"}},"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":"Q5312894$341DDAF2-19A9-4B86-B2ED-2CDCE3D535CF","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":"Q5312894$B22BDD7B-F516-4BDC-8DA9-BD67D1BAEDC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6a7039ce0d08473cfe618eef9a9bfb6fae4b30a","datavalue":{"value":"1103.68627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312894$52E69A8E-926C-43BA-8BFE-C56D75118C58","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":"Q5312894$7A3A2DCB-8FDD-4BC4-B453-D23D551225FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312894$5A060DCE-D0E9-4E37-9AE2-1B3F1716B4C1","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":"Q5312894$824851F4-2182-45EF-9517-5F93EFE8422C","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":"Q5312894$DF41D780-DA41-4CE3-B2A0-B63E0433308C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312894$5DDEFEE5-0ECF-4B9B-A16E-D932D47DEDAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10ef757ad20fc3a02de3c542471c41f63ff15ae1","datavalue":{"value":"2199285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312894$7D8FAFEF-6F24-4E6A-9DA9-EF4B09818D63","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ad725596f99b531ed67c340f4e5db7fc66fe2c1","datavalue":{"value":{"entity-type":"item","numeric-id":19812,"id":"Q19812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312894$B11178F5-CFA6-4F8E-BDB1-1B1B87597FA1","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":"Q5312894$09670D70-CED0-4FA4-BA3C-21919DA75677","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":"Q5312894$CEABDB6B-9EFF-4A9D-9A6B-3F69BB89E633","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312894$BBE4056E-A76C-499C-8EFE-A51B2DA2CDD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312894$DFB61F0E-AD39-47B9-B02B-207B686159B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dadf15a86ab27de24c71c6278f501043afe2c895","datavalue":{"value":{"entity-type":"item","numeric-id":5277793,"id":"Q5277793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41509351485e746aeea3cce7d41000f6b2451b70","datavalue":{"value":{"amount":"+0.8256012797355652","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":"Q5312894$E9FF9BB0-CF04-412E-98B7-397288E0E08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef1008b80011faf6c45c5de6770c7a7142f4b24","datavalue":{"value":{"entity-type":"item","numeric-id":5901914,"id":"Q5901914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d2296267e4b0ed58fd204b0b6117628742f848","datavalue":{"value":{"amount":"+0.8010395765304565","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":"Q5312894$7D11A0D4-F086-48D2-A81E-840B120EB6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32bcb08b914105f35b32b1fd55111f84a27b081","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f342a1dec9a774b0d0d74dcd7ac5c9ef67a9a16","datavalue":{"value":{"amount":"+0.7820590138435364","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":"Q5312894$52AC353D-7C8C-4475-A4C6-40CC67B83875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e75173b2bbc6a44245b2e18863d9edde1aac69","datavalue":{"value":{"entity-type":"item","numeric-id":4427892,"id":"Q4427892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"198cb92b3b350b6b720003d59be307cea8634211","datavalue":{"value":{"amount":"+0.7807909846305847","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":"Q5312894$8AA4079A-E81C-45FE-AFD2-F64DD0E35F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9545e7860357cf9f1ee9e4b7cecb27cd402b0e27","datavalue":{"value":{"entity-type":"item","numeric-id":5900675,"id":"Q5900675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea007dfadc35332afe1992e0a69c4d92c80907ad","datavalue":{"value":{"amount":"+0.7601006627082825","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":"Q5312894$2E53D87B-0A9E-4335-BE51-4E5A816611F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312894"}}}}}