{"entities":{"Q2049504":{"pageid":2060246,"ns":120,"title":"Item:Q2049504","lastrevid":78264320,"modified":"2026-05-06T11:10:55Z","type":"item","id":"Q2049504","labels":{"en":{"language":"en","value":"Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20--23, 2021. Proceedings. Part II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7386977"}},"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":"Q2049504$4FBD9DAC-EAD4-42DE-A75F-8A24EE6B0EB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da6900dd3ebe3ad98e480046bb0b507a45c35218","datavalue":{"value":{"text":"Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20--23, 2021. Proceedings. Part II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2049504$36CC88A3-0D03-4F6B-A6B8-A0429391BC5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58e8126bfbf79ee58c8b3fa83aebc3be0bc4c515","datavalue":{"value":"1482.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049504$B2CD1527-CAD9-4C70-B0E5-33B2BEA3A40D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe336d69052d6646970b16acaf94da75d204cba9","datavalue":{"value":"10.1007/978-3-030-81688-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049504$030DE1A8-E9CB-4707-836C-2D64E53DB056","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":"Q2049504$626DBB78-F550-4515-BE43-E2075F1D11AC","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":"Q2049504$14194E63-C285-4EA7-B0D2-154D62DC85EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049504$2C3951FE-F7D2-49B1-85A4-88406959AF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049504$8A76BB18-914C-469B-9CD8-4ACCA1590E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049504$4F634CFF-F08F-417B-9C4D-ABC81F49FB90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14e7f37e6c1cf9216191f55713a87bc3b59cb335","datavalue":{"value":"7386977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049504$B8971403-0F00-4E7D-830F-85D13538C207","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":"Q2049504$15344D23-0D25-4ADF-BD93-8697BDA49D48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e5345bffc809387950be66f54dfb09656019497","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81688-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2049504$9F701BD4-329D-4706-A12B-C7F279C28EAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4862e8ec0ef3e0e27f21f1076c1514892f1aee1","datavalue":{"value":"W3151801563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049504$15BBF7C9-5A0F-487C-8F86-E80E25690253","rank":"normal"}],"P1643":[{"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":"6ad33d8ff99a9c6d6023eeb8debf341288c5dbc5","datavalue":{"value":{"amount":"+0.9967528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2049504$920F04BA-71F2-4231-B0BE-9197EDEED614","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":"e8dc3272d80e787e6bc5db36e64efd551e78d8fe","datavalue":{"value":{"amount":"+0.9452659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2049504$0220EA38-C18B-4162-8E40-6913EA1EBE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eaf4f0d59654ecea3b5efb1d3ecaebdd324ff6a","datavalue":{"value":{"entity-type":"item","numeric-id":2165530,"id":"Q2165530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c09635c179f8a2d1812ff7ad44e4416cc0a8848","datavalue":{"value":{"amount":"+0.9446593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2049504$A277B500-9A50-48AF-BA06-45886BF6897E","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":"ce5764c69c9676144405706bf9febf50fee24b42","datavalue":{"value":{"amount":"+0.94436634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2049504$503BB93E-BD76-4ECD-876E-39831D92B52B","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":"b809896d5dffad2f03ee4212aebf284d539c554b","datavalue":{"value":{"amount":"+0.94399524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2049504$171BE76D-F60C-4299-AFD5-2BBB8C6730B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20430ff48493a17133b38e7b5afa5d658b8143d6","datavalue":{"value":{"entity-type":"item","numeric-id":6116453,"id":"Q6116453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe2a1fb588fccd60114b63cbed898bef2f8cda3","datavalue":{"value":{"amount":"+0.94333863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2049504$7B752FFE-8506-4E7E-A864-94983D6F9A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88fef4a53d5528ab97ad4cd5e9105a6880acc063","datavalue":{"value":{"entity-type":"item","numeric-id":6171618,"id":"Q6171618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"693c38056dc603937ccbf8abca22bc109fd72987","datavalue":{"value":{"amount":"+0.94121575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2049504$959364EC-D6D3-4274-9E26-CB5C529FBB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d793de87b0843d7dbf8390482e9f25658b5b429f","datavalue":{"value":{"entity-type":"item","numeric-id":6171619,"id":"Q6171619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"259040863561d3086f86130415a7e134a12fa6ab","datavalue":{"value":{"amount":"+0.94081986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2049504$697EDBD1-63C1-479C-819B-F71E10372B9B","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":"d00f1693ca5946f73ae09ca90a125f4c99f218bb","datavalue":{"value":{"amount":"+0.9295477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2049504$9E7E61A5-AF60-4208-8BBE-007E70AFD3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"456630ae59f3bcebd4bea82d50a42f790d6d3c03","datavalue":{"value":{"entity-type":"item","numeric-id":2364106,"id":"Q2364106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e585ef18fa7a3e508fb684a1a2b724c72b44a5d","datavalue":{"value":{"amount":"+0.92645407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2049504$464C0ADF-4D90-45AA-8C86-B78045050B00","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":"Q2049504$2C230CF1-40A3-49A7-8BB0-4D74D2E72210","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20--23, 2021. Proceedings. Part II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_aided_verification._33rd_international_conference,_CAV_2021,_virtual_event,_July_20--23,_2021._Proceedings._Part_II"}}}}}