{"entities":{"Q2630689":{"pageid":2641432,"ns":120,"title":"Item:Q2630689","lastrevid":79115672,"modified":"2026-05-06T13:10:55Z","type":"item","id":"Q2630689","labels":{"en":{"language":"en","value":"Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17--23, 2016. Proceedings. Part II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6604858"}},"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":"Q2630689$F589298F-E095-4C8E-8230-BA12FC723E79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31bf5fe8d50664070075e88a8387816f1f9ed8c2","datavalue":{"value":{"text":"Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17--23, 2016. Proceedings. Part II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2630689$94C34A36-59EB-4F93-85DA-5E8EF478BCEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e1e5e76dc1156857198f3f9e62e0fd3b178747a","datavalue":{"value":"1342.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630689$45C3034B-A8E9-420B-9791-73C415AD6B16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c8020f70890d5bf26412cdc41bdfb676f7c6c24","datavalue":{"value":"10.1007/978-3-319-41540-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630689$B2E8591B-6F6F-47E7-A013-F1E534E6EF95","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":"Q2630689$5FAC7599-F6BC-4023-B434-B6C3685B4FAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65b71113645b30f727dbb3f058c09e51e4656d25","datavalue":{"value":{"time":"+2016-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2630689$37FF129F-F518-404E-A62A-8DA1F79FBB89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630689$D65675F5-0447-4D42-ADBF-974B6C32CCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630689$399E5FC8-1B8E-4E73-824E-0581397B3730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630689$B2E73414-0D36-4FD0-9597-9C7E46309679","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f107665ce02a3c2433fd1ca83726d606ec310533","datavalue":{"value":"6604858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630689$045729FA-7CB6-494C-8418-1BFB4F7CEFFC","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":"Q2630689$90EE25B6-9403-4AF9-B098-32BAB61C1D9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d07c145a833d4ecf4e4ea2368b9cc6f6cf39360","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41540-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2630689$F32E6D5A-DCE2-496B-BE70-2883F1073478","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b174663828533a7b81058dc712da3c58c9f47aa","datavalue":{"value":"W2496887306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2630689$DEB3FE9F-ECAF-4F0B-B79D-27F94298A062","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f966765476926054e9a579eb81fc401ca23a6837","datavalue":{"value":{"entity-type":"item","numeric-id":2630688,"id":"Q2630688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01dbe82b8b561053cdf0985bfce35bf86e644261","datavalue":{"value":{"amount":"+0.9991995692253112","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":"Q2630689$9596F126-8B0A-4582-BE04-1E87101E501D","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":"6bf70b0167ecdf474dd2577a685900d7eb9751f9","datavalue":{"value":{"amount":"+0.9260224103927612","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":"Q2630689$CCA0B31E-8C8B-4962-B437-9F9B528DE85A","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":"59f8f38aa62db1f5520fde3d5f2c8c0c8a4fcc28","datavalue":{"value":{"amount":"+0.9250694513320924","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":"Q2630689$8C11FC9C-AB38-436D-88C8-0DC46B5A33B9","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":"5c202033a643818e570f3bcc58857b5795f7c977","datavalue":{"value":{"amount":"+0.920284628868103","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":"Q2630689$77AB09AF-1A21-4088-9063-F4C7E2355F29","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":"e0d947f158d4eb746329c69d080216f4765fc8b5","datavalue":{"value":{"amount":"+0.918799877166748","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":"Q2630689$822B0671-94A9-474E-93E1-2FCCC40C9D6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17--23, 2016. Proceedings. Part II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_aided_verification._28th_international_conference,_CAV_2016,_Toronto,_ON,_Canada,_July_17--23,_2016._Proceedings._Part_II"}}}}}