{"entities":{"Q5312927":{"pageid":7342501,"ns":120,"title":"Item:Q5312927","lastrevid":48537832,"modified":"2026-01-05T03:44:34Z","type":"item","id":"Q5312927","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199313"}},"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":"Q5312927$D3D49B79-D0C8-453D-A991-D4488D0651E0","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":"Q5312927$27A01259-DD60-4D8A-8033-735F98EB2CC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d046fcd1880756b4fcaeec48c8862526d6b399f2","datavalue":{"value":"1103.68602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312927$101EDFF3-B0BE-4DB7-914C-DE2D5AFBB0E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d50bf94252f950a77a1c5a9b8270343cba608c96","datavalue":{"value":{"entity-type":"item","numeric-id":3163919,"id":"Q3163919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312927$AAD625C3-74EE-47C8-97FB-9FB670D9B550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c48be433893868e131def341ae13b90f7ce04db3","datavalue":{"value":{"entity-type":"item","numeric-id":266862,"id":"Q266862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312927$519A01CF-BA1E-4231-B194-7009ED70E73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312927$06BC04CD-782C-4758-A2D6-00442A904497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d696a62db857e0e0387fdae67ce3f9f0035603e1","datavalue":{"value":{"entity-type":"item","numeric-id":5312924,"id":"Q5312924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312927$349317B0-46EB-45A5-AC93-2971F748567B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9ec8a88beb1aa57866559e86363322422b98a29","datavalue":{"value":{"entity-type":"item","numeric-id":5312925,"id":"Q5312925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312927$0BD104EE-F5B8-4C01-9EF7-134BB89865C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115137d973f46b8536a96a2cf61283af2b285240","datavalue":{"value":{"entity-type":"item","numeric-id":5312926,"id":"Q5312926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312927$CBFA01BA-CC32-44AE-96AC-EEAF629EA235","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":"Q5312927$BBFA0167-E5A7-45E0-9473-EC6F29370626","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":"Q5312927$D54AD8DD-CACE-4B3B-BD9C-5A07C71DEAFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312927$8B092195-9979-49C8-89EC-4522BB5FC6ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac59670d30de586b6cb60a5c00645390257e9146","datavalue":{"value":"2199313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312927$438C7541-D147-4383-BBAD-F636AB02427E","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":"Q5312927$82662655-34A7-4495-AE4B-A894EDB21C02","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":"Q5312927$503F4EAF-14AB-4035-B016-40B47B328383","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":"Q5312927$761DC237-A7CB-45A0-A1DC-568A379F56FB","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":"Q5312927$54E602FF-63B1-4542-A732-D0FE466B2AAF","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":"Q5312927$5367B498-FCCF-405E-B4CC-A68E019C3534","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":"Q5312927$D456862C-5E1A-4CA2-A5A2-402759493299","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312927$DBCAF2F4-3F21-4CAE-BF5C-95322BB38649","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312927$06E0DD13-3CC6-4268-9DE7-A81F3B127F59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f38b53b98c65f89ee27d6f3305cd7b54e8437c0a","datavalue":{"value":{"entity-type":"item","numeric-id":5312939,"id":"Q5312939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2021221164db9898b78bf9cb509bf9bf18fcb2","datavalue":{"value":{"amount":"+0.7323238253593445","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":"Q5312927$ABC4B44A-B54A-4B4E-92B1-82C17F83EA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4c57aa0ee60c757fb7af46499eda4a2f6bc9c4","datavalue":{"value":{"entity-type":"item","numeric-id":4738465,"id":"Q4738465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d773083b8931520168be366e7e2569c86ccbbb2b","datavalue":{"value":{"amount":"+0.7250368595123291","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":"Q5312927$67683D8C-149A-4296-BCB4-149BC2679F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde774097e35286f41f58d34129369087a47c35a","datavalue":{"value":{"entity-type":"item","numeric-id":3067542,"id":"Q3067542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535989b62e66859413f3e1b198e35236e41ec1f0","datavalue":{"value":{"amount":"+0.7245146632194519","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":"Q5312927$5E406014-1919-4A25-96F3-FFF3361BEEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c33c5459aee600cf4d4743005ca61ff60fbdcc2","datavalue":{"value":{"entity-type":"item","numeric-id":1405996,"id":"Q1405996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5010115f68012ef2d737ea10cb9b572e691c84","datavalue":{"value":{"amount":"+0.7210344076156616","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":"Q5312927$460F8FC9-B94F-4AAE-AAC4-B44740FBC6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f7fdb48c22a836be3b80fd8b38ffd9d187b626","datavalue":{"value":{"entity-type":"item","numeric-id":5308375,"id":"Q5308375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb7c35bd14c7aec1a7c3dc5ce0f6a8dd3b643a0","datavalue":{"value":{"amount":"+0.7186426520347595","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":"Q5312927$9547B009-36FF-4266-B78A-63DCBC666D3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312927","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312927"}}}}}