{"entities":{"Q726090":{"pageid":727939,"ns":120,"title":"Item:Q726090","lastrevid":53157980,"modified":"2026-01-24T08:34:59Z","type":"item","id":"Q726090","labels":{"en":{"language":"en","value":"Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14--17, 2018. Proceedings. Part II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6912854"}},"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":"Q726090$0A138F99-8B5E-48FD-A37F-8EEFBAE8F1C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f2ed6e2ac001627ad0ab09d685e0b2fd48eb495","datavalue":{"value":{"text":"Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14--17, 2018. Proceedings. Part II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q726090$CF6B7A66-A716-43CD-931B-1117665CF20C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5de33cf4c80b2722f2e13cb18956c6f2df067cb3","datavalue":{"value":"1391.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q726090$1C7EF138-1721-43F7-B25B-7AA75F69335C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f7b712851f7fd81f16429156b474881f88e674b","datavalue":{"value":"10.1007/978-3-319-96142-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q726090$F565A8FF-961E-421B-BD76-25CB8467D22C","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":"Q726090$E619FD48-1B54-444A-9387-8A8DA994CCE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9aa22cb8a96ecb8781adebec8cb26e1601a98e8","datavalue":{"value":{"time":"+2018-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q726090$BD817E96-F9F6-471F-B06C-A707F15893DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q726090$882FFE2A-6055-446B-A7A7-D73BAAECBAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q726090$CF5BAF57-CF0C-466B-86B6-699A84FD3447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q726090$ABA5188F-6973-4113-BF2B-5130167074F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7c4403a88767823bc795ec22a69a450eb5fb9f7","datavalue":{"value":"6912854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q726090$B02210F9-694E-4A85-BBDA-19F7ABACF239","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":"Q726090$1EB3D1ED-EBD7-4653-BD4C-354D5B83AA81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a84e59b686d56a94ba1c8c7624fca9198bed615","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96142-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q726090$87A5C989-CCD1-40B1-9A70-4D54B6CB0EA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c26bd4aa106fc87ec6a442b0639a1bc3c39dfd27","datavalue":{"value":"W3034629057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q726090$153D6C08-D306-46BC-887B-528ADA23D85E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7871a6e79d0753c17910ae4a6f1535d9b2dd6e7b","datavalue":{"value":{"entity-type":"item","numeric-id":726091,"id":"Q726091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09aa7349e8596891032a66ad8a95de8d1ad0e43c","datavalue":{"value":{"amount":"+0.9992918372154236","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":"Q726090$3177B95B-018D-4F63-B3C2-3644433540A2","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":"9fce4fc713827883cc72b302df27a1b16fa00608","datavalue":{"value":{"amount":"+0.9176547527313232","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":"Q726090$9AEDBDE1-FEF8-49F9-BB89-FB2C8079FCC3","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":"7a5bcf77f0b90becb15192e2cd0c2ec79e86a7fd","datavalue":{"value":{"amount":"+0.9167475700378418","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":"Q726090$E937AC7B-D3E5-4C5B-865E-2F50D02583E3","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":"76786d67bad5a97c3a01606484b2bfd687406aaf","datavalue":{"value":{"amount":"+0.9165143370628356","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":"Q726090$5890ACB0-A07A-42C8-A6EB-DCE190E54A0A","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":"9414f981debbacfb6703fac42955181d64840f14","datavalue":{"value":{"amount":"+0.916034460067749","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":"Q726090$F431C02F-E030-417A-B95A-9F448583BC2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:726090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:726090"}}}}}