{"entities":{"Q1811538":{"pageid":1822280,"ns":120,"title":"Item:Q1811538","lastrevid":71338110,"modified":"2026-04-13T21:34:08Z","type":"item","id":"Q1811538","labels":{"en":{"language":"en","value":"Verification, model checking, and abstract interpretation. 4th international conference, VMCAI 2003, New York, NY, USA, January 9--11, 2003. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1929313"}},"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":"Q1811538$6B21140F-6B1C-4416-BD7E-F7DDF28A9A68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7917d41cd326a8be09dc11c9292ddbeff0e9173","datavalue":{"value":{"text":"Verification, model checking, and abstract interpretation. 4th international conference, VMCAI 2003, New York, NY, USA, January 9--11, 2003. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1811538$46145E6C-98EE-4A67-82BB-83EDE32D447B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0227b86e7d5296aeb4b142a43879654fe05ebd8","datavalue":{"value":"1014.00022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811538$D9C4FAFC-CEF8-4581-BA75-1DAE03E0E80A","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":"Q1811538$DFB92B37-36EF-406C-9527-2DA8BFC405E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b0a79be519cf2c70225fbf164067e791560614d","datavalue":{"value":{"time":"+2003-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1811538$30720BBA-0EC6-4A45-BE56-5CD1F02596C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"419a519657b4a2637ce159132b28130c330e3fa3","datavalue":{"value":"http://link.springer.de/link/service/series/0558/tocs/t2575.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1811538$3901EBC6-C921-47CC-AE10-DB08FAE7A07E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811538$B32F5CE5-12AA-4D24-9AD1-7904A8BDD7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811538$BDE6671A-5516-427C-AC31-7DE94ACD4A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811538$DA70278F-F028-4A2F-B53D-7B829FBF1267","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e7a73f86d28092e0f895188e28d279718b0e295","datavalue":{"value":"1929313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811538$538CDC98-717B-42C7-9137-8128EDCCFAF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811538$7BF0B5A1-C6DC-49AB-A7DC-E79CEE130637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811538$16E63D3B-C8EE-4905-A395-FD11F970062E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811538$4D181953-7839-43AF-93D7-E7D5E23291C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e628dc94e1e16c3ad7a171d3725b6e3e88ee5b50","datavalue":{"value":"VMCAI 2003","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811538$851E5D53-80C6-485E-91DE-C17ED18887F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39de025968700a387c1977750deac003f7347c6","datavalue":{"value":"New York, NY, USA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1811538$BEC42D06-90CF-4811-BE7D-3BAF918BF3C3","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":"Q1811538$12E56ABD-4E8B-4613-B926-EBF3D4A019C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b40f9230429d2faf21c00f4e370aab93a82abd5","datavalue":{"value":"10.1007/978-3-030-67067-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811538$03B3B0AA-E639-4035-ADF0-53DDE1424C3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"401c7304b25e5631d35d3d95015843fe60e81f07","datavalue":{"value":"W3209334694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1811538$93AA56D5-05FF-4B28-BA88-595780C61FFE","rank":"normal"}],"P1643":[{"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":"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":"Q1811538$F83CBBC4-21A6-4701-B63B-72072EDE0604","rank":"normal"},{"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":"fa84e3f61c509808e3bb1eaca1cd13f73607ab27","datavalue":{"value":{"amount":"+0.9477159","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":"Q1811538$20395FA5-C656-4A55-B4C3-DB04300DEF32","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":"f5e5cce5189a7615816b1acaa2895f6c3dbb17ae","datavalue":{"value":{"amount":"+0.9415495","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":"Q1811538$1990148D-73AB-490A-85EC-92A094C1C99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24caa706f6a9420ada8b35cd45e8a55fd1ed588","datavalue":{"value":{"entity-type":"item","numeric-id":1781069,"id":"Q1781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58cc9083e330e1460454f0fe52caef1cd07cddd9","datavalue":{"value":{"amount":"+0.9393395","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":"Q1811538$EE73E3E4-4536-4982-9CCE-A77AEDAB1992","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":"1e0287dd27a8c3d0aa0fdce9048fcdf77b3dcec6","datavalue":{"value":{"amount":"+0.938128","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":"Q1811538$64D7A06A-2DFF-4EB6-ACF5-41CC1CFB6F4C","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":"c71f8bb11123333e0795375ade993300c24ac9ca","datavalue":{"value":{"amount":"+0.9351318","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":"Q1811538$03483937-710E-4479-AF2E-AA6CCE8C2866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb166397a0a169f5346d7cf8158972fc0138b4fc","datavalue":{"value":{"entity-type":"item","numeric-id":2479588,"id":"Q2479588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18897156fd822a9c24b65c5f0761199256b7fff7","datavalue":{"value":{"amount":"+0.93449086","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":"Q1811538$BA2D8F34-BCCA-4E99-B6EB-192D5F9A137E","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":"f01753da8af91ccf2109cc3724092f225bbe3b63","datavalue":{"value":{"amount":"+0.9328821","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":"Q1811538$C06B92CA-8998-43BF-B26C-BCC58EE4F165","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":"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":"Q1811538$B047D72C-6ABD-4CC2-AFB5-7ED0DE284991","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":"5bcf7ccdefc1c3d24a5a27e7b58f2e425740b5e9","datavalue":{"value":{"amount":"+0.9317124","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":"Q1811538$106CCBDD-4993-4A10-ADFF-2ACB0B415063","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, model checking, and abstract interpretation. 4th international conference, VMCAI 2003, New York, NY, USA, January 9--11, 2003. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification,_model_checking,_and_abstract_interpretation._4th_international_conference,_VMCAI_2003,_New_York,_NY,_USA,_January_9--11,_2003._Proceedings"}}}}}