{"entities":{"Q5312923":{"pageid":7342497,"ns":120,"title":"Item:Q5312923","lastrevid":48537829,"modified":"2026-01-05T03:44:34Z","type":"item","id":"Q5312923","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199312"}},"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":"Q5312923$484C6313-BD91-4D3A-A4CF-52AF5889F437","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":"Q5312923$5573FC69-834F-4D24-95A1-49FBD6025126","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad752aa78975c5639d5112151e7e69bb89bcc4c4","datavalue":{"value":"1103.68604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312923$1B99D9D7-98BD-4E89-89A2-4B84C1820BBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef04502a0cfdb62a3f751f54f67cd2b646ae92f9","datavalue":{"value":{"entity-type":"item","numeric-id":1856259,"id":"Q1856259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312923$24B6471B-EABC-4219-A92D-5F50939E906D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312923$FCEC6115-761A-4AC5-B288-D06FCFCBB666","rank":"normal"},{"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":"Q5312923$7032F0BF-51D9-4FDE-B33E-F256380B6A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cde83ede530e1fe1cb9a964c0ec29389b0cef5c8","datavalue":{"value":{"entity-type":"item","numeric-id":3390242,"id":"Q3390242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312923$F910E748-9B30-45FE-B308-4DC4901E0933","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":"Q5312923$63C684DB-DC3E-419B-A827-52AEB65D5384","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":"Q5312923$5A35CC6A-988B-449D-9BFC-3C77DF3B7E32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312923$A1FCBD6C-C296-40D3-84AD-393DA96E48AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312923$7440962B-729C-4CA1-94F5-E01157C24D9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a22dfe961522eba6286b3cfe6f2839e61c25372e","datavalue":{"value":"2199312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312923$A939C3ED-BA7B-49C1-93C9-1FF887AC2D65","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8c595ebeff3db9f2c5abab043e418dd92afdd42","datavalue":{"value":{"entity-type":"item","numeric-id":18927,"id":"Q18927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312923$1DBA5306-E020-426E-904B-0397F8B47453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312923$C8C9D927-325B-4123-A80F-65C583AA21B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312923$32EDCF3D-7595-47FF-A68C-9D27ACF678B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"817cb896f35f89cc5542ec75908314ecafeda59f","datavalue":{"value":{"entity-type":"item","numeric-id":20918,"id":"Q20918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312923$F33364EA-831B-4C31-A3A0-568F24853147","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":"Q5312923$F736E994-C3BF-4B11-9F30-04D69D55304A","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":"Q5312923$61B1E61A-8385-47B8-B118-30E11F77C7AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312923$75049F34-6A3A-4B19-9EAF-2D159E9804DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312923$40DE5ED6-6E41-4B55-8FD9-7E218F3357E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d39a80e157955a9c08fba9d344ea05898b7ad51","datavalue":{"value":{"entity-type":"item","numeric-id":5387827,"id":"Q5387827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44eb9095c28a5b6c5cde9f911ea351b2b52590e0","datavalue":{"value":{"amount":"+0.7937174439430237","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":"Q5312923$F0803D53-EB48-43D8-B725-14CE6716AA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65fd47484c6b00d882d3302f057fc283b851b47a","datavalue":{"value":{"entity-type":"item","numeric-id":4930739,"id":"Q4930739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc0af7d2a61ca6bb9f9600008cf64095ea429af","datavalue":{"value":{"amount":"+0.7386803030967712","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":"Q5312923$57F605A9-03E6-4AEF-B63C-A8FE785DB3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd40460bef7592e9f11c579ff25795b0835cbe7c","datavalue":{"value":{"entity-type":"item","numeric-id":4417909,"id":"Q4417909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9fca5051d46e635f00c133ed2d934a9208b4ed","datavalue":{"value":{"amount":"+0.7308810949325562","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":"Q5312923$6D4BC068-E7C1-4E38-BCC1-8EDC7E7E0EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd71d433d357833a1ab35135bc0074a796311f9","datavalue":{"value":{"entity-type":"item","numeric-id":4414373,"id":"Q4414373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e13c158a5c416c4136dbb6d7bc4238259d4bb1","datavalue":{"value":{"amount":"+0.7305186986923218","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":"Q5312923$E2C82468-5FF8-4B08-9388-92C059ADFFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356609ae3d55d23c02586fd1f83879a316c099d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3ac20703e0756d66ae45141cfb98dcfa40b4c7","datavalue":{"value":{"amount":"+0.7231121063232422","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":"Q5312923$23357C42-CB28-468F-A797-397AB7E4A671","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312923","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312923"}}}}}