{"entities":{"Q1422161":{"pageid":1432901,"ns":120,"title":"Item:Q1422161","lastrevid":70369650,"modified":"2026-04-13T14:18:48Z","type":"item","id":"Q1422161","labels":{"en":{"language":"en","value":"Verification, model checking, and abstract interpretation. 5th international conference, VMCAI 2004, Venice, Italy, January 11--13, 2004. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2038392"}},"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":"Q1422161$2DB4CFBE-8601-497F-9F93-1591071441DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ced23a6f7d19cbf3d3356d83f4628f251152d9f0","datavalue":{"value":{"text":"Verification, model checking, and abstract interpretation. 5th international conference, VMCAI 2004, Venice, Italy, January 11--13, 2004. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1422161$7DDB8716-BA39-44E7-9031-1C898344BE43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8a603da62c0a4b74d0e883f508761dd8fb8133d","datavalue":{"value":"1031.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422161$8ADA3325-F574-4312-B5A3-9A035F4971C4","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":"Q1422161$CA4F8F05-8A76-4E59-B165-5F4919D3CC69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4b42c06db7e24b19fc79361c42f9be31630ff05","datavalue":{"value":{"time":"+2004-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1422161$4C149F6E-9675-4BC1-B9CC-D10F6CB63967","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"720ce83901fa071950db98a13013c275c96af206","datavalue":{"value":"http://link.springer.de/link/service/series/0558/tocs/t2937.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1422161$320C0953-FF85-4066-8175-C0206DD2F552","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"762dad6ea80f09e928811706dc69c17ba082bc91","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1014.00022).  Indexed articles:  \\textit{Barthe, Gilles; Basu, Amitabh; Rezk, Tamara}, Security types preserving compilation. (Extended abstract), 2-15 [Zbl 1202.68085]  \\textit{Vanack\u00e8re, Vincent}, History-dependent scheduling for cryptographic processes., 16-29 [Zbl 1202.68256]  \\textit{Tan, Gang; Appel, Andrew W.; Swadi, Kedar N.; Wu, Dinghao}, Construction of a semantic model for a typed assembly language., 30-43 [Zbl 1202.68089]  \\textit{Barringer, Howard; Goldberg, Allen; Havelund, Klaus; Sen, Koushik}, Rule-based runtime verification., 44-57 [Zbl 1202.68243]  \\textit{Kuncak, Viktor; Rinard, Martin}, Boolean algebra of shape analysis constraints., 59-72 [Zbl 1202.68250]  \\textit{H\u00e9rault, Thomas; Lassaigne, Richard; Magniette, Fr\u00e9d\u00e9ric; Peyronnet, Sylvain}, Approximate probabilistic model checking., 73-84 [Zbl 1202.68249]  \\textit{Clarke, Edmund; Kroening, Daniel; Ouaknine, Jo\u00ebl; Strichman, Ofer}, Completeness and complexity of bounded model checking., 85-96 [Zbl 1202.68244]  \\textit{Lucanu, Dorel; Ciobanu, Gabriel}, Model checking for object specifications in hidden algebra., 97-109 [Zbl 1202.68253]  \\textit{Pace, Gordon J.; Schneider, Gerardo}, Model checking polygonal differential inclusions using invariance kernels., 110-121 [Zbl 1202.68254]  \\textit{Yu, Pei; Qiwen, Xu}, Checking interval based properties for reactive systems., 122-134 [Zbl 1202.68259]  \\textit{Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea}, Widening operators for powerset domains., 135-148 [Zbl 1202.68242]  \\textit{Logozzo, Francesco}, Automatic inference of class invariants., 211-222 [Zbl 1202.68252]  \\textit{Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore}, Liveness with invisible ranking., 223-238 [Zbl 1202.68248]  \\textit{Podelski, Andreas; Rybalchenko, Andrey}, A complete method for the synthesis of linear ranking functions., 239-251 [Zbl 1202.68109]  \\textit{Reps, Thomas; Sagiv, Mooly; Yorsh, Greta}, Symbolic implementation of the best transformer., 252-266 [Zbl 1202.68255]  \\textit{Lahiri, Shuvendu K.; Bryant, Randal E.}, Constructing quantified invariants via predicate abstraction., 267-281 [Zbl 1202.68251]  \\textit{Etessami, K.}, Analysis of recursive game graphs using data flow equations., 282-296 [Zbl 1202.68247]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422161$7C7B2F5F-1DE4-4397-8584-A8BB4B0A2BA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422161$EB76F990-0785-4D8C-85A7-418AFDC291CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422161$6132C05E-C2FB-40DC-AA66-B9540A5AA914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422161$33FDA00B-9864-4B07-8F0E-836E34176369","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6483ba5043f7b522f76cebb05c07c09849432a99","datavalue":{"value":"2038392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422161$9C4831A6-6D8C-407F-A195-96E47B5DBBA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422161$C1A613ED-8312-4A47-96C4-42868D5A9E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422161$F8BC71F1-3CDE-45C5-844B-64E18A2E98CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422161$BB62E4B0-B585-4E18-A3C9-3F235AD6273E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"441444fc56fb3af4b1433e2ef4ec50241449f020","datavalue":{"value":"VMCAI 2004","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422161$ADEB0585-78D2-494C-A554-1895BE52BC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7ff15db1cd0b942e1980d788e048362212b758","datavalue":{"value":"Venice (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422161$B6BCF49E-AF4B-4705-9B15-293178709943","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":"Q1422161$6F2D5EDA-778B-4A72-8DF1-9582D6F5587B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dce0081780f361c5695997395096c5959f7975e4","datavalue":{"value":"W4300117125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422161$0B7B1F04-2AF2-474C-B9FF-53EA2C2EA4C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13c8704edb15e61c66a7cdd1757cb239909482c0","datavalue":{"value":"10.1007/3-540-36384-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422161$442E60A7-ED75-43C6-A2C6-FB9D718027F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1874664831619ec0dc6500e24ab8799fbf2c3fb0","datavalue":{"value":{"entity-type":"item","numeric-id":1604007,"id":"Q1604007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4ef5f5d2bddacd5775070bb37cea96a81416fb","datavalue":{"value":{"amount":"+0.96380866","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":"Q1422161$FA94C0E7-CD8B-4266-AA37-39275B1CEBEE","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":"45f66d343e81cd0bb17550bd84cf7c77a36531bd","datavalue":{"value":{"amount":"+0.9535865","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":"Q1422161$F6C58143-5A38-419F-A809-31CCD1F85036","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":"7e88bd3c9fc571e944f3041b6152c828f570f8b1","datavalue":{"value":{"amount":"+0.95119894","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":"Q1422161$00CA8399-463E-464A-9116-570673096CDA","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":"db3c561cb70cebfe53e66b4672263ce157e0db44","datavalue":{"value":{"amount":"+0.94962263","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":"Q1422161$A9402E4B-0CE3-4340-88C3-E71BE74C1052","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":"c24e309992a22a4594014be935d534ddea56bae1","datavalue":{"value":{"amount":"+0.9389281","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":"Q1422161$D0241210-ED04-4358-B7A2-F1CFE29B9911","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":"77df9279a6cb0b5af9021e86b7ab9cefb6d377cd","datavalue":{"value":{"amount":"+0.9338789","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":"Q1422161$59378086-64D9-4EAD-9716-DBBBBC55DC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5d2022dfabace9c69d100d2540618c1aaabd2d","datavalue":{"value":{"entity-type":"item","numeric-id":2479562,"id":"Q2479562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec3d1c8d92cbe2037b09c9a2af829676303ded6","datavalue":{"value":{"amount":"+0.9336447","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":"Q1422161$F1537C71-578F-4134-A11B-745F19C8C347","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":"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":"Q1422161$6963A61E-4447-4BB5-B976-71032D99D313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582a32e5ce40a5327d2b8c9450af832fea838734","datavalue":{"value":{"entity-type":"item","numeric-id":2508305,"id":"Q2508305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f856ddcf452945704898d3063b06027f92a38e4d","datavalue":{"value":{"amount":"+0.92775774","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":"Q1422161$36B5955A-7182-40BD-BD0A-52DC9DECC494","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":"4899d99360ff0b69a1872ae544ee47c0668c1940","datavalue":{"value":{"amount":"+0.9274516","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":"Q1422161$868F8870-92BD-49B2-B3AD-9E3D90E86758","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, model checking, and abstract interpretation. 5th international conference, VMCAI 2004, Venice, Italy, January 11--13, 2004. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification,_model_checking,_and_abstract_interpretation._5th_international_conference,_VMCAI_2004,_Venice,_Italy,_January_11--13,_2004._Proceedings"}}}}}