{"entities":{"Q2165529":{"pageid":2176272,"ns":120,"title":"Item:Q2165529","lastrevid":57604377,"modified":"2026-03-31T14:20:31Z","type":"item","id":"Q2165529","labels":{"en":{"language":"en","value":"Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7--10, 2022. Proceedings. Part I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573786"}},"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":"Q2165529$DBE99CAB-70F3-40C7-B35F-FE76BF50DB93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86d69f6768e21b128ce6711d65b53bda855aa16a","datavalue":{"value":{"text":"Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7--10, 2022. Proceedings. Part I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165529$7B392DC5-1F88-4CA4-8DAC-938F555323C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aa13b2ba49479c23ee64aacd45a193b49b957ba","datavalue":{"value":"1499.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165529$58C43D05-D63C-4D99-8A6B-C38E0C02458D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98b218d2a149496f6f0b40d3b6ca4a2ad80b0041","datavalue":{"value":"10.1007/978-3-031-13185-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165529$A3F28FA0-184C-43AF-A97B-62CC3D71188E","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":"Q2165529$921391F5-A82B-4A02-8863-437F080ED55A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2165529$7A65957F-C4CB-49CB-84D7-3E0202DCCA01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165529$F78231F5-8FA6-4004-B390-1A462DF6F3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165529$9A65BCA9-0343-4CA2-B2F5-358AE0B20637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165529$91161C94-D684-495F-B6C4-9F1AA2D52D75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b3c1c164d4c505b62cffce004e82cfd113047d0","datavalue":{"value":"7573786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165529$8EDDA14B-5EFE-4EFA-A8C3-A317D9C40FDE","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":"Q2165529$90C59FB5-388D-4848-B384-FCE539146EFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff0de02afd1581221fbf767e3549420c1668fb84","datavalue":{"value":"https://doi.org/10.1007/978-3-031-13185-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165529$AAB893EF-8903-45FD-A0EE-FE669BB5FC69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e8b7a1e4fab9d353b209272adaf6e2108a22727","datavalue":{"value":"W3152286313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165529$F98FB4AF-0AB7-413B-9EC0-FA122CB7494E","rank":"normal"}],"P1643":[{"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":"19d447ba5b63054c9370f087f5726f0af69338db","datavalue":{"value":{"amount":"+0.9975387","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":"Q2165529$314405E7-43BF-410D-B15F-8EBFF25DC169","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":"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":"Q2165529$EA322C58-B11D-4F62-9980-19855C665032","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":"6264159100ac667022c892dccf67848b47320a48","datavalue":{"value":{"amount":"+0.94194263","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":"Q2165529$E76258AA-0FB7-4FB9-9AF6-031FC4F17900","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":"308c6d25b1177834390a7138c7179e8d15588ef2","datavalue":{"value":{"amount":"+0.93684757","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":"Q2165529$F504A0FE-77DF-4C30-9B8E-E6E00BFFBB7A","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":"ca21b405b63ed044415f43208e28b1aef6f054a4","datavalue":{"value":{"amount":"+0.9364861","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":"Q2165529$6BD45AFA-D0AA-4759-A280-1FE8FBDD09F8","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":"8777ec6ee599a8f6e05c7cead4e0de8adf852615","datavalue":{"value":{"amount":"+0.93317187","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":"Q2165529$BF8C0C4E-B47E-4C88-85A1-6C886BAEA6F8","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":"72dc66a86e087faec719aed2016fed7d19ccbac2","datavalue":{"value":{"amount":"+0.9328047","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":"Q2165529$C9BDC3E3-EECB-4C07-B8CF-98757FEE26B2","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":"e33e210bb3b86a24c1d248d0cc18a547d772ce98","datavalue":{"value":{"amount":"+0.9312037","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":"Q2165529$5F4CA3C6-1DEB-46DA-8834-C7D2200C0BE5","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":"67a2f494f51d17dae12d73b5968e691c62b255fb","datavalue":{"value":{"amount":"+0.92935574","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":"Q2165529$B88AF3EE-0845-49F0-808D-9475C105881B","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":"44b8172d16b81f49069ab7689ff13ecb2421ad78","datavalue":{"value":{"amount":"+0.92934024","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":"Q2165529$518C6154-D067-45D4-813E-8241416006BA","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":"Q2165529$5259A6C1-BF6B-4CE4-A688-FE7A216ACF03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2165529"}}}}}