{"entities":{"Q482354":{"pageid":484121,"ns":120,"title":"Item:Q482354","lastrevid":62166936,"modified":"2026-04-11T04:13:22Z","type":"item","id":"Q482354","labels":{"en":{"language":"en","value":"Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12--14, 2015. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6382621"}},"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":"Q482354$95954E60-C835-4F84-B1A8-2E0675AE7748","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c848226ed5b95e30116d9535f18b380977ca2e79","datavalue":{"value":{"text":"Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12--14, 2015. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q482354$21A23A8E-17C5-4E22-9176-82C8CCA10298","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3022135d2ba311a15fe34cd3fa4b1eef4231f87","datavalue":{"value":"1303.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482354$9C51C704-A2F4-48B3-8054-A0987E62A91F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47e1da663734df18498bac5f91950045c16ccfb9","datavalue":{"value":"10.1007/978-3-662-46081-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482354$C98FD959-E7AB-4BAA-A5CF-B51ABD854FC0","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":"Q482354$D10A1ECE-195A-4F2F-9DDC-2E416174BEC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4011d2304aa759591f30af2e70cf13cd1965ed7e","datavalue":{"value":{"time":"+2014-12-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q482354$7175824D-CF6B-47D6-A314-E067CE88101D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482354$07E11A18-CF68-4CD2-9968-EDDDB89E494D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482354$C8D21F18-5BBB-4C80-848D-EBCA7A5DB018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482354$7EC65E06-279D-4511-967E-082E9AB0B991","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1dbad9936765d8c651aae3e8bfaf6e90f8eeea3","datavalue":{"value":"6382621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482354$43A22054-6C12-45B7-8C64-BF3CAB557E5D","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":"Q482354$C93077D6-DF6A-4AC0-A971-CCB61712FB0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5053e842878119104fc01e1d164f1d9e5c6ded2e","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46081-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q482354$F4A80166-ECAA-463A-9E1D-8D0BE25FA283","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f624342522876a6d6f739a80b5b7b124f5412ce9","datavalue":{"value":"W2176273918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q482354$3DF52058-54A5-42ED-AADA-C550806FB48D","rank":"normal"}],"P1643":[{"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":"25c4d4a8a2bf89cd95a43788476e57431d79f8db","datavalue":{"value":{"amount":"+0.94881225","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":"Q482354$B809F809-29FB-4D61-AF0F-ED41832BBD32","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":"f5d9f96410575f0e55da8231603f7aaa33dd011b","datavalue":{"value":{"amount":"+0.9421822","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":"Q482354$CF06F9C0-CAFB-408B-B5CC-3E43B547A1B5","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":"829eb6fcbb54906e96ac498fa047bdc96e3e4368","datavalue":{"value":{"amount":"+0.9365873","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":"Q482354$599B0CB9-7D95-474E-B36F-C6676118548E","rank":"normal"},{"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":"d33793f270545070e33ebed331474e0e70b89b9b","datavalue":{"value":{"amount":"+0.936167","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":"Q482354$88F3CD5B-BB61-4956-9011-6435342E715D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6342a6eebcc14eb1e0e17cf4d568999339f4b6f","datavalue":{"value":{"entity-type":"item","numeric-id":503346,"id":"Q503346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86e18e3458b05654eab4a693584630d244eaf8b","datavalue":{"value":{"amount":"+0.93472016","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":"Q482354$2D2F0371-A4A7-4BF3-9ADB-9DAB67FDC5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b395d8b15aad42ed94f7d9a308cac828d97182","datavalue":{"value":{"entity-type":"item","numeric-id":1422161,"id":"Q1422161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9a3f6e73c97edd6c32048068d49725842799c3","datavalue":{"value":{"amount":"+0.9314146","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":"Q482354$B6D48977-A975-4EC7-A479-5E75B07CAF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d3434363340a35098e9eb6be1a71221e2928ad","datavalue":{"value":{"entity-type":"item","numeric-id":619665,"id":"Q619665"},"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":"Q482354$9AEBA012-A2C1-41BE-97DB-6D7293CEBB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915a67b0751a2305351d0841efe84845ac4cf726","datavalue":{"value":{"entity-type":"item","numeric-id":2388709,"id":"Q2388709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7929db9ebf989eb087cbe093aed211b4baba3f7a","datavalue":{"value":{"amount":"+0.9299226","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":"Q482354$B70CAE08-0DAF-4685-A843-1FF24784A960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7540d7182a552b3fe68b33783ab9098b6209c54","datavalue":{"value":{"entity-type":"item","numeric-id":2414670,"id":"Q2414670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d567a44a982533c834523bcd84924561207f3b5d","datavalue":{"value":{"amount":"+0.927225","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":"Q482354$AB945AB1-4102-4210-ADED-91C6A532633E","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":"1fed4357e7b7b72d95c5cffe1fa3313e4e8f3ab4","datavalue":{"value":{"amount":"+0.92460084","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":"Q482354$4DB03AFB-0329-43DE-BE21-486A95AB230F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12--14, 2015. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification,_model_checking,_and_abstract_interpretation._16th_international_conference,_VMCAI_2015,_Mumbai,_India,_January_12--14,_2015._Proceedings"}}}}}