{"entities":{"Q1026424":{"pageid":1028272,"ns":120,"title":"Item:Q1026424","lastrevid":66167994,"modified":"2026-04-12T08:00:07Z","type":"item","id":"Q1026424","labels":{"en":{"language":"en","value":"Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5569729"}},"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":"Q1026424$CBEF9E6C-DE2E-4F80-9AD0-90BB2DE38587","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8654dcf34d91391c84592ae95208b82ef25ad54","datavalue":{"value":{"text":"Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1026424$82B3763E-4430-4BC2-AF81-49F94E8557FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b8d922e26a381e262836f462766151c1bc2659a","datavalue":{"value":"1165.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026424$302AEA67-F384-4BB8-B5C0-21F231F19BB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"544d704695e30599486b990774a88557117987ee","datavalue":{"value":"10.1007/978-3-642-02658-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026424$CE31719F-B01B-4920-8B9D-1E410CCBADBC","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":"Q1026424$3F4E67EF-1B14-47F0-BC02-28BC1A205751","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dec4829f37baffd22f46efd1ec6b8a3fcc45c18e","datavalue":{"value":{"time":"+2009-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1026424$2495A1C2-6F57-4F3F-9445-89DA8EEBD357","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026424$B4E44A6B-2CDE-4594-B33E-21FDCAFC38C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026424$704E84F3-AE1E-40DD-A19E-C4549DBBACE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026424$833B9A2A-90E9-4D25-A5F3-ABA44376E2B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92785e70af6a102f8533991929802a0998d25c98","datavalue":{"value":"5569729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026424$6794531C-4C72-4795-A224-66330A1DA573","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":"Q1026424$F881321C-497B-4CB8-A6E9-5DBDB52DC797","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecd3ceaad334fa18a16d80bad030d8582e9b4fed","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02658-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1026424$AF777762-A8A0-4AAC-AE2F-E82BEA8C3564","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ead4feba0a5d5f58fd291b272274e7bbf6e511d","datavalue":{"value":"W1647861174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1026424$F8E25621-93DA-4847-81C4-45E0167A157B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac996edc04f3b4baef350cb6e23bc9cd6bb417b","datavalue":{"value":{"entity-type":"item","numeric-id":420532,"id":"Q420532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9c6aaa52b18814f8a3241dbee5f032ebaab111","datavalue":{"value":{"amount":"+0.9536089","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":"Q1026424$04C3DE65-C5AF-47E9-B896-EC6D165E8930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3768598953daf6cc87786263adc6e2059db326","datavalue":{"value":{"entity-type":"item","numeric-id":5943776,"id":"Q5943776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29244cda9789900a62a69ee073e0588a927d88ce","datavalue":{"value":{"amount":"+0.9355143","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":"Q1026424$D73B0F2E-2B5E-44D2-8A31-E1D99DC66D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c41e366d3ad886d4173c1bb1234cdab4a1bfa74b","datavalue":{"value":{"entity-type":"item","numeric-id":1295980,"id":"Q1295980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a390b6d9587fd10a4e7047a1d957daeeee65a3aa","datavalue":{"value":{"amount":"+0.93006015","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":"Q1026424$CADF65F0-DA92-497B-98ED-3CF6CF853FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb3fbaed1f78919bcc6e5d9c7776dc0afd4417d","datavalue":{"value":{"entity-type":"item","numeric-id":549282,"id":"Q549282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e3ae4fc42a37be9abbab94f827cdb65ff1cd02e","datavalue":{"value":{"amount":"+0.9200104","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":"Q1026424$C3CB27A2-CEBD-479C-94A4-34FD627199E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece15c0d82965ecfa178dff7989759d4d7e9cb29","datavalue":{"value":{"entity-type":"item","numeric-id":932075,"id":"Q932075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6670b5a070320539ce9f3b6962cb4161b566c136","datavalue":{"value":{"amount":"+0.91775584","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":"Q1026424$2CAA6BC4-93E9-46B8-8B42-8757463C4FC0","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":"cefa02f002b501c80e48a6a11e4c212628edffc2","datavalue":{"value":{"amount":"+0.91644764","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":"Q1026424$7A14684F-6184-4DE5-BE02-715B03CA2A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8e69114bb6f9155bbeb4fb0f88d840708b1c17","datavalue":{"value":{"entity-type":"item","numeric-id":428511,"id":"Q428511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f485f52ca5a00e1551cecc2b9cf754732e5b8e4e","datavalue":{"value":{"amount":"+0.9160099","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":"Q1026424$0317AFD6-0EE0-4202-AD5C-50D0789B74B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24d3f257dedd7fbed957d7cda3adde78bc7ba05","datavalue":{"value":{"entity-type":"item","numeric-id":2364105,"id":"Q2364105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480f83d3b0252140b389cc350162a85e87e121bc","datavalue":{"value":{"amount":"+0.91495323","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":"Q1026424$D0ABF72C-2221-493C-9ACC-1C80334C16FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eab9dc657240f6acf208c61c54823ced459982d","datavalue":{"value":{"entity-type":"item","numeric-id":983524,"id":"Q983524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd7c1ae43fa34a5409d2d184a0a2450e5ca100b","datavalue":{"value":{"amount":"+0.91475683","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":"Q1026424$23697DD7-563D-4DF4-B1B5-FCE0DD0E8A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4835b88654529020da6ca108ec4f52c41a11034c","datavalue":{"value":{"entity-type":"item","numeric-id":6070478,"id":"Q6070478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c014f6fc62ebe2b73d5398780678ba1913949c67","datavalue":{"value":{"amount":"+0.9147474","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":"Q1026424$54830DF4-EAFB-421D-9661-3C6FF6FC0ED5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_aided_verification._21st_international_conference,_CAV_2009,_Grenoble,_France,_June_26--July_2,_2009._Proceedings"}}}}}