{"entities":{"Q2364105":{"pageid":2374848,"ns":120,"title":"Item:Q2364105","lastrevid":43948572,"modified":"2025-11-18T10:56:02Z","type":"item","id":"Q2364105","labels":{"en":{"language":"en","value":"Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24--28, 2017. Proceedings. Part I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6747791"}},"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":"Q2364105$A3766FCE-A281-47BA-98CB-BA4DAD4BE4FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fb3dff8860286e0818800207b1510bda86725ea","datavalue":{"value":{"text":"Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24--28, 2017. Proceedings. Part I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364105$D190D62D-615A-4266-8CD0-89AF70F236C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a67a16883a93b9115134370ba5557fc26a045d1f","datavalue":{"value":"1369.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364105$2FAA3B88-989B-4753-989B-AD1320A013F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dbbc4c587b1ca956d7cec1619c7276a863c6ff6","datavalue":{"value":"10.1007/978-3-319-63387-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364105$3DF4A065-252C-47E8-92EC-E24E65255C42","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":"Q2364105$F2BBDD36-6BE1-45BB-84F2-435D4B1D26F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45c15162b94cadee206f6a79d1b59255a2edbef7","datavalue":{"value":{"time":"+2017-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2364105$C2B18D18-9AAE-43A1-8DD1-5217528A8E28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364105$56237340-E813-42BD-BA65-E8EC288217CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364105$57F937FD-4AAF-4DDD-A437-015F6894FC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364105$5AC49923-B1DE-43FE-B7B0-FC8A0B5095B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e91093e035dee10b74d53f7c62e0934545b5462c","datavalue":{"value":"6747791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364105$98D166FF-BC70-4B7A-99B7-4DE52F699480","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":"Q2364105$8DE6B9D4-E925-428C-A311-48763B9D442E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7d5bb9d05778047d0fe5ff8c2b647691e77dd96","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63387-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364105$4C198612-FDE8-4DC2-B835-ACAF25C45028","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6e1ded94dedf341d5d9a1392511ffca6f74edbd","datavalue":{"value":"W2735532640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364105$E7E1BBD4-489E-4CD2-B00A-B5EE7AA6C4BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"456630ae59f3bcebd4bea82d50a42f790d6d3c03","datavalue":{"value":{"entity-type":"item","numeric-id":2364106,"id":"Q2364106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ba980a64dab3a4e4ba5ec71e9788f6696f0acc","datavalue":{"value":{"amount":"+0.9969733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364105$25DDD3D6-6FAE-4E22-85AE-BFFE9290ECE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae6642945b855d11d1670e5fb9c7c13db63285e","datavalue":{"value":{"entity-type":"item","numeric-id":2382030,"id":"Q2382030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e5159c839aaf6c958b45811eaa6942bd66d19d","datavalue":{"value":{"amount":"+0.94850975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364105$E9DD159B-9B58-4961-85FF-590161136CAA","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":"a6ae5b97dbeee3e237b09b92929168cd1c271817","datavalue":{"value":{"amount":"+0.9342537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364105$81C7C8B2-0395-402C-927E-7743BE6573EF","rank":"normal"},{"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":"10a7b5047e3d61fbd95fba49bc3abb388e6ca884","datavalue":{"value":{"amount":"+0.9336575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364105$DD735A8D-5C3F-49EA-A36B-568DAFB317EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ae4cf4aebc988c7be5d0c428935056c7b9ec22","datavalue":{"value":{"entity-type":"item","numeric-id":2630689,"id":"Q2630689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1470c0de0e3c050ed0484a5073a62f11dbe36c4f","datavalue":{"value":{"amount":"+0.9334713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364105$2143B246-9022-430A-B26A-FF4971158F43","rank":"normal"},{"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":"e55f450dd77e45cb2705d6309eb3626561d20031","datavalue":{"value":{"amount":"+0.933094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364105$A3F4F1F4-78A1-44BF-9233-4A55C3D526E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a2a91db1d978e17ab46f5a0ecedc53e0b1fa18","datavalue":{"value":{"entity-type":"item","numeric-id":2355129,"id":"Q2355129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813a3407be53bcf86351c75ad5597de021c73969","datavalue":{"value":{"amount":"+0.932093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364105$54A90A25-5A65-4911-B374-18592EF138E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa9023d4400ab01183bf14be58b8878c6e4818e","datavalue":{"value":{"entity-type":"item","numeric-id":2353659,"id":"Q2353659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2349e957d3bab4ccc5e4764974d481ddb6a05100","datavalue":{"value":{"amount":"+0.9318354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364105$CF99D5AB-3562-44DA-B27D-04DB0A6D59C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba2aa192e1d15f32dfd7199fbfa0e7e1fbacc4b","datavalue":{"value":{"entity-type":"item","numeric-id":826602,"id":"Q826602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c974c0fe2090b89b4dcec7c7a45821b15dd85b","datavalue":{"value":{"amount":"+0.9316195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364105$EF62B2DB-FF2F-497A-9177-B44EF8441799","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":"b59e16966809fd051c082401e1d87f70fd8e930f","datavalue":{"value":{"amount":"+0.93107855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2364105$CC53D46E-F24C-434C-9ED0-2F1681C61539","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2364105","badges":[]}}}}}