{"entities":{"Q2388709":{"pageid":2399452,"ns":120,"title":"Item:Q2388709","lastrevid":43990260,"modified":"2025-11-18T19:39:17Z","type":"item","id":"Q2388709","labels":{"en":{"language":"en","value":"Verfication, model checking, and abstract interpretation. 6th international conference, VMCAI 2005, Paris, France, January 17--19, 2005. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2206368"}},"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":"Q2388709$7B560376-A539-4AAA-9D08-354E99C94899","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43ebba9d8a46322903d222c80b474abe5894285f","datavalue":{"value":{"text":"Verfication, model checking, and abstract interpretation. 6th international conference, VMCAI 2005, Paris, France, January 17--19, 2005. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2388709$840DE046-026B-4397-A329-412073CC6467","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3260f6438bddb9451c42ecb30c9df1cc03023760","datavalue":{"value":"1069.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388709$C995FFA0-AF7C-4BE7-8C96-7A13FE1EAC8E","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":"Q2388709$B5E47345-8D8E-47DF-985E-70976D8D7E1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eee5710b759ff4703b3f2a7e8853f7df5bb18070","datavalue":{"value":{"time":"+2005-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2388709$3DBF0F98-9AFB-4753-9D5F-36FCB40A4E73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388709$06075D46-0CB7-4C87-A2BF-5EAB86CC24A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388709$B0DB48B2-D9C3-4799-B897-E206396F0D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388709$2FA72653-8CBE-4A0F-A777-256C69391CA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8ee3aa4ccd916f1e33d07a85a3394dab4bdfbc6","datavalue":{"value":"2206368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388709$65C59C44-5661-48BC-A202-49447CF5D226","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":"Q2388709$2A13FA5C-A4ED-4F4C-8767-8C2A8A73D3B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f97b7a53335c177dc0cb73f05e06789c64e85523","datavalue":{"value":"https://doi.org/10.1007/b105073","type":"string"},"datatype":"url"},"type":"statement","id":"Q2388709$A48ABCA1-3DBF-4570-9463-45B2578F8DD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876bee8cb67e7aa95ea119f5ad45a878f93fdbe4","datavalue":{"value":"W2611288859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388709$D93DD8ED-A348-421F-8E1A-03C0E4660E66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a02eab4157dd290341671deff45e2a0fa28460e","datavalue":{"value":"10.1007/B105073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2388709$58C4969A-EFCA-4B48-AE9F-C4B6C3941923","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":"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":"Q2388709$5378B849-F45B-4506-80F9-F9EA70A2714B","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":"08f221d2cfdd1af2a6a484a8ed2e297962d5206a","datavalue":{"value":{"amount":"+0.947205","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":"Q2388709$704E8CFA-F20F-4161-82C9-72BCD40379FF","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":"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":"Q2388709$05019779-4098-4A04-BE31-6E5835695941","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":"b392047bfc171fa4707554e17eb6b58b38507c59","datavalue":{"value":{"amount":"+0.9394733","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":"Q2388709$31E62471-1A1A-43E5-BB75-511F4F92BFEB","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":"6d85e9b03c5a3d89eb894044ac2dab67772ecad2","datavalue":{"value":{"amount":"+0.93200445","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":"Q2388709$826980BD-3E4E-460B-940A-BFA9746D4A68","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":"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":"Q2388709$A950E79A-A912-4B21-8B68-222D01A3EF31","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":"9f108bd6b8626892a25a500bb937beb5610429e9","datavalue":{"value":{"amount":"+0.9289649","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":"Q2388709$1DC27795-E499-43D8-A25B-8742ED414C98","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":"1d96c90a2cfa82f27b2b7c75f127583a38c4f29d","datavalue":{"value":{"amount":"+0.9237807","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":"Q2388709$2A5A3857-9044-41C4-A8DA-70D385DF8642","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":"46922477dedf0cafaaf4338037c39919b08280f5","datavalue":{"value":{"amount":"+0.9236464","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":"Q2388709$96FA134D-6A1A-49F4-8D4E-7ADBE1056406","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":"15156b8eb6419ee18e1be4082fa887c5689097b6","datavalue":{"value":{"amount":"+0.9212092","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":"Q2388709$461B3525-8D83-4FC2-99D1-E8836A956880","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2388709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2388709"}}}}}