{"entities":{"Q5312938":{"pageid":7342512,"ns":120,"title":"Item:Q5312938","lastrevid":48537859,"modified":"2026-01-05T03:44:35Z","type":"item","id":"Q5312938","labels":{"en":{"language":"en","value":"Computer Aided Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199322"}},"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":"Q5312938$17475220-4A07-45C7-A0C0-0D2C8BE7B756","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":"Q5312938$356943A7-FAF0-4427-B544-EFC44A4C3D25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e026429878c5c070d659c350ff187b77ed7d6caf","datavalue":{"value":"1103.68644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312938$A30B5151-9EC4-4ABB-A8AE-F37F6169D56C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"899468d0fe4ec0ae9c5ef91b63881ae72bf40a46","datavalue":{"value":{"entity-type":"item","numeric-id":438532,"id":"Q438532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312938$58C8B055-53F1-4AA4-AAA3-700363BF8045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72adba9f768ed75b094ec0d09f4518e4b38f99e4","datavalue":{"value":{"entity-type":"item","numeric-id":1687751,"id":"Q1687751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312938$C3CE2B08-98E7-4640-81D6-C52DA9A056FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e260a263a8c533b05d7f8d3aa8c89b45a7453f","datavalue":{"value":{"entity-type":"item","numeric-id":2055858,"id":"Q2055858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312938$DC7A34A0-B824-43E2-B859-0B3F4D30CA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e26016f41a9add44c87112d66c917b6d5eb85b","datavalue":{"value":{"entity-type":"item","numeric-id":2754110,"id":"Q2754110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312938$D1946126-DFC8-4C3B-8024-CEA3120E371C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f977cc4afe30a7452131df7ff084411daffbbaa","datavalue":{"value":{"entity-type":"item","numeric-id":532428,"id":"Q532428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312938$4AE58DA3-E67B-4312-B5E5-D3BEECEFBA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00f475b4fdf76b005bc72fe14b40c387d4b0206c","datavalue":{"value":{"entity-type":"item","numeric-id":2842587,"id":"Q2842587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312938$5683ECAA-64E3-4625-8A9D-C3A604BD5566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312938$09F42A42-5FEE-443B-AE11-CE35212693E2","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":"Q5312938$445B0549-1A2F-47A5-98DD-3CE6DBD41145","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":"Q5312938$9F699A0F-5B43-41F0-8624-703B24216DAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312938$4941A13A-1CDB-484E-9902-A865024BBBD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7b2376a866d053b89fbcd2a68cbdb604397c97c","datavalue":{"value":"2199322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312938$9D22EEC7-D4B1-4885-9460-CD2DB037BC59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5312938$C5D3ABB3-8BBC-4DAD-9CF6-77FAC5E7EE2E","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":"Q5312938$833AA070-464A-415C-A4CA-9E7B6D013384","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":"Q5312938$0E3C3FE2-20E9-445E-A084-9330A933BF51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a98570942015b04cdd0a88618af752182e39498","datavalue":{"value":"W4298302743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312938$74BF4FD1-138E-4C5A-AA4B-706EC8CCF050","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1e2e184de41d0c7db992e2e99a6fd54b38a6df9","datavalue":{"value":"10.1007/B98490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5312938$306E06BE-01D8-4234-A3C7-0738CA0F8288","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d148f2efc7554233a315693343ea5700c2434da6","datavalue":{"value":{"entity-type":"item","numeric-id":5703821,"id":"Q5703821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b35a738b0c085d04e36227a076e385fe8ed95fb","datavalue":{"value":{"amount":"+0.8461775779724121","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":"Q5312938$140D316C-6C20-4545-9401-6E97DCB9CED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c37bd2cc98d9cb19a458db001822bcbdcf02248","datavalue":{"value":{"entity-type":"item","numeric-id":2753714,"id":"Q2753714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb97f38dc4b3da48b831804dbb9a13650d084cfe","datavalue":{"value":{"amount":"+0.8270242214202881","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":"Q5312938$190BA377-1480-4C5E-98B6-7300390EAD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cfc1e4d6930a9171b000b7902a304d8ffd328fd","datavalue":{"value":{"entity-type":"item","numeric-id":539218,"id":"Q539218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aaa1447aa5f74690a8ad4d50f0b230acc1ee41b","datavalue":{"value":{"amount":"+0.7757154703140259","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":"Q5312938$D3A7FAD2-7578-4D93-BF12-CF1EAF814F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff9581e14dcb6c5c46f2ca4201d4243b335d312","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5bc625ccbfbd97d2d56a7c051dfbf3513842c4c","datavalue":{"value":{"amount":"+0.7755751609802246","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":"Q5312938$51C6154C-2D05-4B28-BB71-5B7F8C1A44A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11637c3700a10f9beddadc1978f6d6b4e42d8a77","datavalue":{"value":{"amount":"+0.7678477764129639","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":"Q5312938$91853AAF-1730-4E0D-917E-7F3F52F2966A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5312938","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5312938"}}}}}