{"entities":{"Q2479562":{"pageid":2490305,"ns":120,"title":"Item:Q2479562","lastrevid":44171115,"modified":"2025-11-20T13:41:54Z","type":"item","id":"Q2479562","labels":{"en":{"language":"en","value":"Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14--16, 2007. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259421"}},"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":"Q2479562$ECBD5D50-E3E8-41DF-9294-97678032CA38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"628fb28c7964621ab3b3b5f7afed1afbb2b25dd4","datavalue":{"value":{"text":"Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14--16, 2007. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2479562$1041DC5E-3D6F-4BE5-992D-1999B4586EC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caa4d62b0711c14f93c0cb067ceefb106699a25a","datavalue":{"value":"1131.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479562$4BEFEA3C-00FE-49B6-BCF6-3B6DAE5B79B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f40ea607344054f414cb165f48348f4dc2726e44","datavalue":{"value":"10.1007/978-3-540-69738-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479562$E87070F4-898B-4A1B-8A1D-115A987A2C15","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":"Q2479562$D50A3233-7B50-4A42-ACE6-EBC9049DAF0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2479562$DC47D0FB-E856-4CB6-B483-9491E1B0AAA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479562$6C32EFFA-0DA4-46EC-A4EC-11AA86B90006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479562$53D208AC-82F0-4BB4-9B4E-67309B2A6630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479562$818DF557-E41A-4527-9A5F-982733EB3C21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89a531f2ba811c62e9ff4f8aac2e1d90f541b306","datavalue":{"value":"5259421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479562$EEDC1E05-6A8B-42F6-B0EE-CE29BE14A250","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":"Q2479562$CC664E1D-49D7-4D9E-A53F-F487B51C5EA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dd65581f080c8a770318271412c140383c30cf0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69738-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2479562$3C3DF9B8-E0C6-47E4-BCE3-90C0D9BD8B22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84f1e02ca41dbf7afb373e6e5a5d76af1f70843a","datavalue":{"value":"W2493030359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2479562$A86CDD0B-08F8-47EE-AFBE-7F7CDC2626A4","rank":"normal"}],"P1643":[{"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":"a472f403200cc6e6010719f8747d1f18f736999b","datavalue":{"value":{"amount":"+0.9570637","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":"Q2479562$8F78CBE4-37C8-442D-AEE8-C99254342C81","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":"2eb4f5b452ef65ea3700139efaff27aa587506d1","datavalue":{"value":{"amount":"+0.94505095","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":"Q2479562$9A67FFAF-A44B-4126-A781-BD220AAFC1C5","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":"a0210be8758c50950eda21a3bcd7baeff273365d","datavalue":{"value":{"amount":"+0.9448822","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":"Q2479562$F32EF335-2FA8-4CFC-B29B-3A770F7B7340","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":"c84c82dea41a2aa7cc172912d35326044d04a07b","datavalue":{"value":{"amount":"+0.9431757","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":"Q2479562$041C9AE3-367A-4282-A9BE-E1243D697247","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":"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":"Q2479562$5953BE20-FC9D-49FB-9F8D-47D28FFA5BB3","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":"0d115cd81ead06c92d74a4af07655bfc24e7f273","datavalue":{"value":{"amount":"+0.9298197","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":"Q2479562$2EE9706A-353A-4563-95D0-70D32B353785","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":"d61534ea6e4b5fdf3a434083949f6a19be16a87f","datavalue":{"value":{"amount":"+0.9295775","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":"Q2479562$909300B2-BE0E-409D-81B9-0B33838E020F","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":"5e09f336dcaa9c63d88a1b977e0fbc13dbedeba2","datavalue":{"value":{"amount":"+0.92861843","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":"Q2479562$ED7BC0D6-FC38-4170-8F3C-50FFAF4D23E3","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":"5a560685fc1f6299a20f891e3240cc9dff86789a","datavalue":{"value":{"amount":"+0.9281311","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":"Q2479562$A532DE05-2AA6-4AD5-9A4C-DCE7632407BE","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":"29f6e8a39892dde25c9bde5ce347b6c2c0899b29","datavalue":{"value":{"amount":"+0.92737126","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":"Q2479562$622382DC-F311-476A-B3ED-A3BD5636EF57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2479562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2479562"}}}}}