{"entities":{"Q2049503":{"pageid":2060245,"ns":120,"title":"Item:Q2049503","lastrevid":78264311,"modified":"2026-05-06T11:10:55Z","type":"item","id":"Q2049503","labels":{"en":{"language":"en","value":"Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20--23, 2021. Proceedings. Part I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7386976"}},"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":"Q2049503$68212412-9CF2-4974-A7FB-2CEF5683ED19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b171d1fef1370b42cf45ce8fa0fc4feedd6537b3","datavalue":{"value":{"text":"Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20--23, 2021. Proceedings. Part I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2049503$DC511D95-3F54-445D-9085-166671993915","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfff77b9d6c590f78267a211e2f3d22c41ff7a82","datavalue":{"value":"1489.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049503$50ACF793-DFFD-463C-A852-9E41E67B3B00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"197a14a13dd9c1ffee89a90e4fd5d239d65f3eb3","datavalue":{"value":"10.1007/978-3-030-81685-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049503$F3EC378E-2A4B-4AB0-8305-0A6F6E31EE5E","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":"Q2049503$9CAD14A3-CBD2-42D1-92FB-83F2286F2EC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38f1072db89d93604c8c913d1acaf728e97560e7","datavalue":{"value":{"time":"+2021-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2049503$D7CAB698-8EDF-4E6D-AE5C-E2F7327ACCDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049503$80CC0D73-3B53-4E3C-A835-8E2F3ED73788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049503$89471082-9D85-4C21-944F-AEB55611EE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049503$069F08FB-3AD2-4942-BA30-54F5AB151236","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56a0868195978aa33fda75f85627bd2080e9f575","datavalue":{"value":"7386976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049503$6ED98836-1D52-4FFF-A21D-8BE358C1C254","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":"Q2049503$37282753-296E-4049-BA5C-5265F6A38041","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55ed19987c9f0c059cd3530941c7f08094a02190","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81685-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2049503$A3A11574-73B2-487F-82D4-477910B6B449","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f20d6437f8a702fada0b3c3ee7449044babac795","datavalue":{"value":"W3194120901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049503$EE968862-652F-4837-9897-1EE2F507E492","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f81f78dc252cf9fbec5abdeab0e8bf758ffed9","datavalue":{"value":{"entity-type":"item","numeric-id":2049504,"id":"Q2049504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d121338a397445af60c0e2fcfaae6489b6142799","datavalue":{"value":{"amount":"+0.9991423487663268","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":"Q2049503$A8522461-F672-4A9E-BCA9-435193A231F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f099a7a42a4e5f10495d75696cd0279ab737ac69","datavalue":{"value":{"entity-type":"item","numeric-id":826601,"id":"Q826601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39081937d152787e85afb27c649280ce53badb40","datavalue":{"value":{"amount":"+0.9498955011367798","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":"Q2049503$C48DCD0F-A4BA-47B7-A821-FFDFBEE3ACCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba2aa192e1d15f32dfd7199fbfa0e7e1fbacc4b","datavalue":{"value":{"entity-type":"item","numeric-id":826602,"id":"Q826602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c2b42d25f1f408fcac4b607f6b450abab0b86a","datavalue":{"value":{"amount":"+0.9481807351112366","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":"Q2049503$2AA23A0D-D4EB-40A0-9CED-E6690E59CFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824ffd10dc2a8e28b67e5aa38f413cede309686c","datavalue":{"value":{"entity-type":"item","numeric-id":2315423,"id":"Q2315423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed053eb44f47df418ed9110fcd31adeaa0dba0fb","datavalue":{"value":{"amount":"+0.9470360279083252","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":"Q2049503$CCABECEF-C77C-4E51-AD61-2CE44D30C7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821d7eec2190afc129781cab1a5735dfe795b106","datavalue":{"value":{"entity-type":"item","numeric-id":2315424,"id":"Q2315424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf76bd70cd005e363240ef510d203969fcefb9e","datavalue":{"value":{"amount":"+0.9452673196792604","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":"Q2049503$A3C46615-71E4-4A1C-BF16-BD3C756A7766","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049503$4C5BEAE5-9794-4547-A02D-F2E87782FB97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20--23, 2021. Proceedings. Part I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_aided_verification._33rd_international_conference,_CAV_2021,_virtual_event,_July_20--23,_2021._Proceedings._Part_I"}}}}}