{"entities":{"Q420532":{"pageid":422299,"ns":120,"title":"Item:Q420532","lastrevid":77664848,"modified":"2026-05-06T09:47:05Z","type":"item","id":"Q420532","labels":{"en":{"language":"en","value":"Special issue: Computer aided verification (CAV'09). Selected papers based on the presentations at the 21st conference, Grenoble, France, June 26 -- July 2, 2009"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6037472"}},"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":"Q420532$5E2E00D8-034C-4636-B527-5105980317E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e67384d4613d7f606bfed3043bd25a5327408c6","datavalue":{"value":{"text":"Special issue: Computer aided verification (CAV'09). Selected papers based on the presentations at the 21st conference, Grenoble, France, June 26 -- July 2, 2009","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q420532$6725BC25-7690-40E4-9DCC-6BA2B90E1673","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ca9f63b17dee9b64e2aefa972ba7e57fea3dbf9","datavalue":{"value":"1250.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420532$C5E57DEA-C5F1-4E3C-929A-C26A117CA863","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420532$54F76A65-C69A-49D7-A8FE-781B2AB8B9DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdc9aab2382ce6488f72a082c13ef50b69962944","datavalue":{"value":{"time":"+2012-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q420532$60EFA768-6880-49A6-9480-83EC7B57AEDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420532$6BB7477D-7EDE-4075-8041-5024A3E88152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420532$230ACC64-2693-4E49-AF46-E35473CE807F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420532$84468963-3A24-4844-A31F-BB66EFD60ECE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d540750a92b841689b207d92a1e232de798a9326","datavalue":{"value":"6037472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420532$A3855F10-D704-482F-973B-046B1397C8ED","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":"Q420532$D54D9074-6BD0-4863-A26D-74B721BB0E59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88eeed2ac774113ea8b683662b071a98f51c876","datavalue":{"value":{"entity-type":"item","numeric-id":1026424,"id":"Q1026424"},"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":"Q420532$92F17F6E-F741-434B-A018-A96C913EA455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c89bf9d6f56d7e9aa5e2560cd6445e0f3a54dddc","datavalue":{"value":{"entity-type":"item","numeric-id":5943257,"id":"Q5943257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3039c3d2d1e55cdaa902402a7c08a27e37015b6f","datavalue":{"value":{"amount":"+0.9236199","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":"Q420532$DEAD6A43-D6E6-4FA1-8FB8-0482C6C17F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88e398e075d5ab160eea1c6f4b5c083dbc851c19","datavalue":{"value":{"entity-type":"item","numeric-id":420533,"id":"Q420533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785030591d61c28da609bdbef9ae54cba8218929","datavalue":{"value":{"amount":"+0.9224819","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":"Q420532$FFC50FC4-EE99-4683-A93A-7BCC85C92C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2327cc475b0a6be15cef6b09f068a9a7dcf1b30","datavalue":{"value":{"entity-type":"item","numeric-id":840635,"id":"Q840635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e01e26bc927509af416227c6fbd697612639a2","datavalue":{"value":{"amount":"+0.9119674","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":"Q420532$5D32B6FD-86D9-4DBD-BCE0-BEAFD973A448","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":"5616acea21d15221069b48fc8fb6acfaf5423357","datavalue":{"value":{"amount":"+0.9018816","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":"Q420532$4AF1F23F-4AE2-406C-BDE9-87973F2F91C1","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":"4fd39a4ecd4443b5199cd57f51c6a4b309aa1b7b","datavalue":{"value":{"amount":"+0.8921461","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":"Q420532$1E0AAEE2-D022-4CD5-85A0-0B17436BDF3D","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":"fae7a14b1d0ef55d88bac0b7dc658b072d162102","datavalue":{"value":{"amount":"+0.8865535","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":"Q420532$E2978BE7-9422-4217-AD72-B9E2EF720405","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":"1b59b5f4060ebded1d204947b1a30615c5f0d601","datavalue":{"value":{"amount":"+0.8833182","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":"Q420532$112CDF93-890A-4B3D-A1E9-BFEA1FA293A8","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":"26fb4898621c7979940ebe90406774088549a8e3","datavalue":{"value":{"amount":"+0.88313633","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":"Q420532$04BACEB8-5A76-48A5-919E-0C29BF51CB87","rank":"normal"},{"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":"c20a7899cea2d6cef98b7b3365fb8d91c2edb58d","datavalue":{"value":{"amount":"+0.8829498","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":"Q420532$B4DCDC87-E77D-4FD0-85EA-E8DE36DE8901","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special issue: Computer aided verification (CAV'09). Selected papers based on the presentations at the 21st conference, Grenoble, France, June 26 -- July 2, 2009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Special_issue:_Computer_aided_verification_(CAV%2709)._Selected_papers_based_on_the_presentations_at_the_21st_conference,_Grenoble,_France,_June_26_--_July_2,_2009"}}}}}