{"entities":{"Q826601":{"pageid":828449,"ns":120,"title":"Item:Q826601","lastrevid":57616185,"modified":"2026-03-31T15:28:41Z","type":"item","id":"Q826601","labels":{"en":{"language":"en","value":"Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21--24, 2020. Proceedings. Part I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7290433"}},"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":"Q826601$3A48E897-2AB1-4C46-860B-5F9FF1A71E67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5396e3e7a21fb58efec6927b4d58d845cf12b83","datavalue":{"value":{"text":"Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21--24, 2020. Proceedings. Part I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q826601$C8150F86-99D3-4AB6-922D-F13144525C4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d99839a886a16ae95bf347590fa823cf3f17567e","datavalue":{"value":"1453.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826601$271DCF8F-1A84-479B-9391-B4BF0EABA011","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7053d45793b5c38540ebafc8b1a7eb02943b529a","datavalue":{"value":"10.1007/978-3-030-53288-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826601$4F6DE64E-3C09-470C-80D5-513D75690E88","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":"Q826601$18B93AFA-0B42-4272-8F22-A3BE2FB6AD58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffd694188cb8b3ae07f68f797cbcbba876dff349","datavalue":{"value":{"time":"+2021-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q826601$5CFB9A26-E00D-4A04-B842-61A93A7FD8F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826601$7F6F11EA-145F-4311-88E1-EFB3BB2504D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826601$43C5C02D-2629-497B-A8E6-889941F3ECEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826601$823AA33E-F771-4C23-AB90-D67AC436BFF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa409518cc9eb337629d4cd975078c08fc396603","datavalue":{"value":"7290433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826601$9E7020D9-AC32-4D2C-B3A0-DEB97CA5878D","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":"Q826601$726B6E97-115F-4F98-854A-AC1BCD766D5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4033fcca24b0cd910d05bbb558f8a31746ccec88","datavalue":{"value":"https://doi.org/10.1007/978-3-030-25543-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q826601$CA0994B6-665C-4338-AE26-8646194C3871","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d92e202bf9ba062bfaa3f20dfddac3065995660a","datavalue":{"value":"W1987673506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826601$801C5551-4C03-43D5-94C3-ED70D39DBBA0","rank":"normal"}],"P1643":[{"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":"a6243fee164aac784bff9df59499ecbad398c0d2","datavalue":{"value":{"amount":"+0.9974652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q826601$2D8C69A3-0B15-4D16-A58D-858FED73B582","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":"4d08a441b8c471f72aea91d6529350025445384a","datavalue":{"value":{"amount":"+0.94445384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q826601$D0C902CB-52F5-4DB7-AF7A-D99CB37C098B","rank":"normal"},{"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":"b809896d5dffad2f03ee4212aebf284d539c554b","datavalue":{"value":{"amount":"+0.94399524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q826601$37B4D743-BDC9-40F7-80DF-4322668ABFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2557ccafea795ca9d1b67b8e8b12cc70f4f8f8","datavalue":{"value":{"entity-type":"item","numeric-id":2049503,"id":"Q2049503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76b50160b7f87b5df8430b91ab9b6aefebf7154","datavalue":{"value":{"amount":"+0.9417481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q826601$3DF68C54-EA6C-4D38-8CE9-D4884FFDDBCB","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":"df450e04f277057d1f963c9c8a29dcc8a4286bce","datavalue":{"value":{"amount":"+0.94050753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q826601$9DD1F9D1-50F3-4472-8FBB-76DBDED6031B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8e69114bb6f9155bbeb4fb0f88d840708b1c17","datavalue":{"value":{"entity-type":"item","numeric-id":428511,"id":"Q428511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3244462d5c2e12468510b4aa9a93c16daba5d0fb","datavalue":{"value":{"amount":"+0.93619776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q826601$01768A8C-C4C4-4311-8EA5-FC88AA59475B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa9023d4400ab01183bf14be58b8878c6e4818e","datavalue":{"value":{"entity-type":"item","numeric-id":2353659,"id":"Q2353659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8d7dc87c91488fe8f1539d8fefec2e09d4d5ec","datavalue":{"value":{"amount":"+0.93611443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q826601$5974EFE4-B474-485B-BAEB-F39C4C6BF990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a2a91db1d978e17ab46f5a0ecedc53e0b1fa18","datavalue":{"value":{"entity-type":"item","numeric-id":2355129,"id":"Q2355129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5f8975a032169a575e96d4300d95afc3c31af6","datavalue":{"value":{"amount":"+0.9356056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q826601$5C688075-B809-4FAB-8603-60DA5E03A983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcf5291701106b9f515c9e2cc3ea86d8dba0d09","datavalue":{"value":{"entity-type":"item","numeric-id":2165529,"id":"Q2165529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8777ec6ee599a8f6e05c7cead4e0de8adf852615","datavalue":{"value":{"amount":"+0.93317187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q826601$A778AC91-3302-457F-B5C0-47C36036A8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24d3f257dedd7fbed957d7cda3adde78bc7ba05","datavalue":{"value":{"entity-type":"item","numeric-id":2364105,"id":"Q2364105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55f450dd77e45cb2705d6309eb3626561d20031","datavalue":{"value":{"amount":"+0.933094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q826601$F29BA8B7-44E9-4FC2-A68F-DD79B978052D","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":"Q826601$69244A6C-68D8-45A7-83F2-04428CE3362E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:826601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:826601"}}}}}