{"entities":{"Q619665":{"pageid":621441,"ns":120,"title":"Item:Q619665","lastrevid":63228333,"modified":"2026-04-11T11:28:10Z","type":"item","id":"Q619665","labels":{"en":{"language":"en","value":"Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23--25, 2011. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5841229"}},"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":"Q619665$0D56366E-2350-438D-ACE2-E0EF3550A3A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ba75dce73a544fdeb802f2139ed3ef5ca896b5e","datavalue":{"value":{"text":"Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23--25, 2011. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q619665$4FD2D6BC-2F12-441E-9F4A-1D7A357F4B40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86661529c3b46ffb2222351531eeb1048266d939","datavalue":{"value":"1206.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q619665$04604B1E-6273-4CF5-AC85-93BCAE2C6070","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c6c48ae5e75160d738f4a429d6f1c15a7b5bf67","datavalue":{"value":"10.1007/978-3-642-18275-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q619665$767B9490-EDDF-47BF-AD6C-4E7C3B0D454D","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":"Q619665$875EA4E2-E129-4007-B496-E45BD1A2738F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c02ac786d5c05750fbc2719c1632942525a38cc","datavalue":{"value":{"time":"+2011-01-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":"Q619665$57EC02B2-7DA9-4B67-BB67-CB9A8190CDA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q619665$ED2278B9-3EB9-4907-8B6D-9F7D7B314E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q619665$BB68E32A-8130-49CD-94F0-DE410C4928B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q619665$E4243811-2D19-402C-8617-F1C512D7786D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7b4e151feff8589044da9679f02a0ad2174ff21","datavalue":{"value":"5841229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q619665$2C151743-90A4-4356-8669-828602E8DEE3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"288ffe79e682aba919417135c537539439e93bff","datavalue":{"value":{"entity-type":"item","numeric-id":31318,"id":"Q31318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q619665$7644DC95-B228-47F0-950B-7E4305F77A7C","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":"Q619665$F9E221DB-84A9-4A45-921A-0905747FB3F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dbecf1629acc284f6b478e5fd22a1129e24c9d0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18275-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q619665$8E65DE63-235E-46C5-837A-6AF7BEAF6890","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cafa7499e90948df4b4035c9865d7a7c085079fd","datavalue":{"value":"W163817877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q619665$F2F814E7-5FDF-41C3-B679-1A86F620F1F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc104e5559ffc7415f001c4c538985f3c05674d7","datavalue":{"value":{"entity-type":"item","numeric-id":664860,"id":"Q664860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da258952c08377fbee4235d2768ec1ddd062fa2c","datavalue":{"value":{"amount":"+0.96293545","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":"Q619665$AFF7A839-9C50-4D11-8F95-A37366ABF79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9296d7b1119da3666ddd4222ecc1036fb87f9728","datavalue":{"value":{"entity-type":"item","numeric-id":388781,"id":"Q388781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14569343bc044ab57e1eb25f76690bd2d6732d07","datavalue":{"value":{"amount":"+0.94091845","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":"Q619665$98FB7C0F-BA54-4A28-9736-31886A6B5DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab5597ae62d4ab6888f28a2ce05425b40d480e0","datavalue":{"value":{"entity-type":"item","numeric-id":1047889,"id":"Q1047889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd431f0a5ec8b3857b3a478e0d576b6a56fbb111","datavalue":{"value":{"amount":"+0.9404693","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":"Q619665$3E994FA8-C6D3-46D5-B92C-AFB480189E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0e237cfad8ad58ae67b6b888ffefda5dd8c118","datavalue":{"value":{"entity-type":"item","numeric-id":467043,"id":"Q467043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707be4bff800d4599a5a3b026043de9453f79dbb","datavalue":{"value":{"amount":"+0.94041634","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":"Q619665$22AA7DE7-B8FD-406A-A469-171BD96D97DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a96920c8936b62dcfa2fab97fa3e07d73943443","datavalue":{"value":{"entity-type":"item","numeric-id":2287642,"id":"Q2287642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917da15323465f930e6aceae0bd681373fe3cc70","datavalue":{"value":{"amount":"+0.9364319","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":"Q619665$CF3BD6D1-36C7-4976-BF34-D9BFD3CA95C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fafc64e9a869493416b302571c6773ef1e79d06e","datavalue":{"value":{"entity-type":"item","numeric-id":2118710,"id":"Q2118710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59299147efede2a1e44de86a3f2656c10d89d66","datavalue":{"value":{"amount":"+0.9335182","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":"Q619665$826B31A2-9C6E-4C58-A094-BBB8051893AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31702a235fb47f6de8a837744f1aaa8b71a58f97","datavalue":{"value":{"entity-type":"item","numeric-id":1811538,"id":"Q1811538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e767c868b3256dbbb08de3502aba95dfc855d263","datavalue":{"value":{"amount":"+0.93270373","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":"Q619665$E35B80E7-C487-4C99-9801-261AF61672EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652e1ee5024190eac6616e8b4b2e09ca882deb13","datavalue":{"value":{"entity-type":"item","numeric-id":903406,"id":"Q903406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4862a6729c389fc54b7f70d375dbb844b41d34eb","datavalue":{"value":{"amount":"+0.9320119","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":"Q619665$FF756192-E267-4A30-816B-A9E1515C83B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a05c7d09ab8b58bda95988a0fb39cdc8cb2846d","datavalue":{"value":{"entity-type":"item","numeric-id":2041458,"id":"Q2041458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d5a40259212cee4fceef6d389143b833e734e7","datavalue":{"value":{"amount":"+0.9310322","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":"Q619665$9412C352-0EE0-4403-96EB-FF7627BC1298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c44bcdd6d71d8d6179650276e1426f6b4e24a17","datavalue":{"value":{"entity-type":"item","numeric-id":482354,"id":"Q482354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6c9fbdbac6bc966d33f236acf0e8861f872951","datavalue":{"value":{"amount":"+0.9307203","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":"Q619665$93A09229-4B3F-469A-80F4-402FA927A87C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23--25, 2011. Proceedings","badges":[]}}}}}