{"entities":{"Q826602":{"pageid":828450,"ns":120,"title":"Item:Q826602","lastrevid":57687729,"modified":"2026-03-31T22:14:18Z","type":"item","id":"Q826602","labels":{"en":{"language":"en","value":"Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21--24, 2020. Proceedings. Part II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7290434"}},"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":"Q826602$23FA70BD-C2A6-46EA-9187-B757169DA073","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82adf86be48fb91a25834a07754e30511271592b","datavalue":{"value":{"text":"Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21--24, 2020. Proceedings. Part II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q826602$481299B4-72A9-4694-9252-FDEBB6605DB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8539459e2995ee04a16f728cf29dad170060165f","datavalue":{"value":"1453.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826602$7D28A015-4FAF-4758-B45C-CBD6840F1384","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c121e19cd8f7d3aa9ef427b2a54c7841e18e9c7","datavalue":{"value":"10.1007/978-3-030-53291-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826602$DF2E325C-EC41-49AC-961C-B4F55D07AF7C","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":"Q826602$80E8C689-5068-4C13-90E1-2C1E4D9DE569","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffd694188cb8b3ae07f68f797cbcbba876dff349","datavalue":{"value":{"time":"+2021-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q826602$A957891B-C4B9-40F1-93CD-B1CC902477FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826602$13F5678A-E3C0-4BBB-9EC7-CE67E831239B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826602$C366D381-ED41-42DA-BBFF-E9B70495BCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826602$7D77CB8B-EDDC-4A6A-9D18-056D4C0396B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e953228d65014008145b5ead1063dd32e7f7e0b3","datavalue":{"value":"7290434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826602$2BDA5174-5B8E-4D7A-84D4-9A5740B7BD65","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":"Q826602$EDF8BCE2-0A3D-43FC-999D-D425FBC223FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a277fb0b17b4456e59721435e23c8db66a964192","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53291-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q826602$570E0D1F-3CF6-4E06-819B-8CDD7F379738","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f7bde402b426482e4f17da9305fa86a502361b1","datavalue":{"value":"W3049414011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826602$D85D7DB0-46B5-4CA4-ABC2-B8735DD866B1","rank":"normal"}],"P1643":[{"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":"9d75267d85eeee3cb245d34d9e079b9c88ff6f81","datavalue":{"value":{"amount":"+0.9992669224739076","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":"Q826602$FCA46106-2F7A-4CFB-83BD-49F227AC7133","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":"4bbfb74d7f1efbbeb78387ed3fe746fab9981d7c","datavalue":{"value":{"amount":"+0.9495446085929872","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":"Q826602$D4904089-63DA-4028-B5B1-1FE3254F035B","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":"05c2b42d25f1f408fcac4b607f6b450abab0b86a","datavalue":{"value":{"amount":"+0.9481807351112366","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":"Q826602$9750697A-1F97-4FE4-BBED-190BE5BA8189","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":"c22dc5fb646c81c8ce84fe11dc1db7807910773e","datavalue":{"value":{"amount":"+0.9406001567840576","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":"Q826602$31881203-E0AA-4DCD-80E2-7A79028FE067","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":"d4acd43e79e173f0ecf225882d35ccec10e38b38","datavalue":{"value":{"amount":"+0.9399271607398988","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":"Q826602$B1D7A754-9278-4844-8D1D-9495A9939808","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":"Q826602$DFC9A60A-8B0B-496B-8856-DECFE3E9086D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:826602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:826602"}}}}}