{"entities":{"Q6171619":{"pageid":13306507,"ns":120,"title":"Item:Q6171619","lastrevid":57345561,"modified":"2026-03-30T14:16:20Z","type":"item","id":"Q6171619","labels":{"en":{"language":"en","value":"Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17--22, 2023. Proceedings. Part III"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7726097"}},"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":"Q6171619$0D0E1744-B445-42FC-9BAA-B628A3608BA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"836d15a395c73192f1ca21bdc2eb03caf47c2bac","datavalue":{"value":{"text":"Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17--22, 2023. Proceedings. Part III","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6171619$F7DEFF94-05EE-484A-89B0-3608BA5EF9C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2463c370ec717033435333b03d878fcb425bf12e","datavalue":{"value":"1529.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171619$DAF46B92-8164-4D0F-9090-CED9B89612C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69a9a048ddbf94cabfd0b2e0e29a68b9c3589011","datavalue":{"value":"10.1007/978-3-031-37709-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171619$ACC501FE-25A8-441B-A3B7-29B831030642","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":"Q6171619$1976E54C-5070-4D2A-B5CC-2C285C55D6D0","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":"Q6171619$DD0EF2B7-660A-4030-BF49-A896E00C26EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171619$9846FEB9-831C-4E9D-B91E-3981850C7475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171619$783DAD0B-4533-467B-86D1-5B6392469303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171619$7711B95E-4065-49C0-BFAF-2F2B17E6E433","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f17c67307238c498f56e9eb8883e773fb790e0cd","datavalue":{"value":"7726097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171619$39495A5B-526B-4738-94D6-129A1B3C73C0","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":"Q6171619$217A5DC2-68E3-4A07-9931-E7261A5E3D6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7643eed5733467bb2e880e3f8436aacb120afd0f","datavalue":{"value":"https://doi.org/10.1007/978-3-031-37709-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q6171619$C4741088-3273-4CBC-8275-FFF32B83BA3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2f5e26945b18ba13a7b841be7d46ec653d0182f","datavalue":{"value":"W4384471238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6171619$4CDECA4C-4385-4D69-BC86-C1F8CED91872","rank":"normal"}],"P1643":[{"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":"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":"Q6171619$1C80D38E-A9B2-453F-B0C3-352FBC836D88","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":"0c05a0daf298f7f2e97cea33e8a92f30aaac3bcc","datavalue":{"value":{"amount":"+0.99838387966156","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":"Q6171619$EF94D647-C356-40AE-8FCB-E056F17C9062","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":"fe672e9de08a7649e0af78792c77e5b175ab3e38","datavalue":{"value":{"amount":"+0.931570291519165","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":"Q6171619$62C88704-8404-4DDF-8FE8-0297FB66D95E","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":"a5d4c4e46fa5ffc1731d3ddec3a8c293b249693f","datavalue":{"value":{"amount":"+0.930933952331543","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":"Q6171619$87F0E057-E5A0-479B-BAB7-9E5E1DA95306","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":"ff6376f58b8e9e16b6db082264d1487a0e038c79","datavalue":{"value":{"amount":"+0.924833357334137","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":"Q6171619$6F63E8D3-A538-42AA-BE99-FDD78EDA86F5","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":"Q6171619$0F98EABF-0792-4E1F-BECD-FE4362359EC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6171619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6171619"}}}}}