{"entities":{"Q6171618":{"pageid":13306506,"ns":120,"title":"Item:Q6171618","lastrevid":93975233,"modified":"2026-06-05T05:34:48Z","type":"item","id":"Q6171618","labels":{"en":{"language":"en","value":"Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17--22, 2023. Proceedings. Part I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7726096"}},"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":"Q6171618$EF800A88-6B8A-443B-8D8D-608A5A3120C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96e9921fe19dde7db09dca5de6233a52daf0852e","datavalue":{"value":{"text":"Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17--22, 2023. Proceedings. Part I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6171618$5846DE63-F945-477E-88FA-D7E1E7B08C77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f33b9258f27236a1b32022639f471d69c23db15","datavalue":{"value":"1529.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171618$74A91D95-70BE-45B2-8619-9EBA23195BA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"152e9bd33cb9cd08353bc93713a80e04055f8dbf","datavalue":{"value":"10.1007/978-3-031-37706-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171618$A69F80EE-E4EC-4928-BBA8-2D4B5937DB71","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":"Q6171618$8625F46D-D8F9-4BC5-A54D-6EF6951ADE6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb3c2cc5cd737caf151e6b27348a374c51a199e2","datavalue":{"value":{"time":"+2023-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6171618$773507ED-3D70-4733-839F-6CEFDD2DFE23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171618$283CEE06-81BD-4F0F-977F-BE91EAB0A59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171618$3E6C3049-5985-4042-9F76-9BD26949F078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171618$5D5E44DB-0D18-4D21-9435-59378C5BBC94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20bf3389294b38443b4c5b508cf07d5b3e2d123f","datavalue":{"value":"7726096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171618$9848FE03-A7AE-4C4D-8BDC-44CFA613064C","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":"Q6171618$BDDACA59-B472-4D28-A411-9EFE6EA603DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75418fae397d33f40583da08ea25e3791b0f6736","datavalue":{"value":"https://doi.org/10.1007/978-3-031-37706-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q6171618$B606E25E-16C7-43FC-8C66-74517AE92651","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a12d7c823a0e0029de3d890d13702e93a8d3553","datavalue":{"value":"W4384471382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171618$4B27DE36-2814-4D2A-B684-844A8AECE2D0","rank":"normal"}],"P1643":[{"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":"cf2cea00faff508ca113ed3906d763db9b9117ee","datavalue":{"value":{"amount":"+0.9987353086471558","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":"Q6171618$455FAD98-2C35-47C7-97BB-E55AF4B46E88","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":"e5c19daf82c39f25d730a7d5b5ec30c1c2d29654","datavalue":{"value":{"amount":"+0.9981621503829956","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":"Q6171618$B9E881FF-E8BB-498A-B0AE-91E3A5DDF023","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":"ffe147613881e6e4cba39749775f9e61c74bb255","datavalue":{"value":{"amount":"+0.9347072243690492","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":"Q6171618$43E1256C-88E4-4808-8760-AC0B4C2BAB14","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":"c8a5565bdf06a5444696da20059435956ea810a0","datavalue":{"value":{"amount":"+0.9341708421707152","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":"Q6171618$048348F0-355F-4F6B-9CA1-DDE551A2F664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b47f13288c5caa3f162c4473dfa609ee488f5b1","datavalue":{"value":{"entity-type":"item","numeric-id":6614804,"id":"Q6614804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8677eb7a3f1728b61f83bbbe1a899b35c73304a0","datavalue":{"value":{"amount":"+0.9261139631271362","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":"Q6171618$5FC24E02-8464-449E-8A90-E54B93786F2A","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":"Q6171618$701610A4-5D25-4F0C-AACE-D50CDB8CE418","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17--22, 2023. Proceedings. Part I","badges":[]}}}}}