{"entities":{"Q1781069":{"pageid":1791811,"ns":120,"title":"Item:Q1781069","lastrevid":68944302,"modified":"2026-04-13T03:16:23Z","type":"item","id":"Q1781069","labels":{"en":{"language":"en","value":"Special issue: Analysis and verification. Extended versions of selected contributions presented at the 4th international conference on verification, model checking and abstract interpretation (VMCAI 2003), New York, NY, USA, January 9--11, 2003."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2176312"}},"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":"Q1781069$4A50E7F6-A082-4DE1-B282-0905B7AB30B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8eb6f264cf77232cbdcb76b4c3acda6f7a79da22","datavalue":{"value":{"text":"Special issue: Analysis and verification. Extended versions of selected contributions presented at the 4th international conference on verification, model checking and abstract interpretation (VMCAI 2003), New York, NY, USA, January 9--11, 2003.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1781069$F3CCDEC5-BC53-4454-8D44-5B9D2D9F8AE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e262377c616b9cab57df8a59ba846f7f2912f99","datavalue":{"value":"1075.68523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781069$549EC4D6-2AA8-4EB0-BE1B-444568872763","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1781069$C2F0CF59-5328-433F-89D2-E252742243DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"623a4e0b220778e10d1b26dd6832f410344d4360","datavalue":{"value":{"time":"+2005-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1781069$F89A8884-ECBB-4BD8-8E9B-BB5BE0CA0C15","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"34644cdc36672877bf366f107f8fc1d2bc06ff1c","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0989.00056).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1781069$859C1EFE-89DA-4C50-8FF4-B76A69B597F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781069$68306C4D-FA61-433E-982F-65D45BC257FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781069$A6D5E126-2A49-46F7-95BC-DFB4B63875CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e013de72f3b101bd0554268e9beaa51e11918b8","datavalue":{"value":"2176312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781069$5207A198-E1D7-4B5D-9A75-3C944F32FBF4","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":"Q1781069$104150B9-C759-4A66-B7FB-B847E12EE57F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1366ef01cff3276d810b5988b5769582730fa353","datavalue":{"value":"https://doi.org/10.1016/j.cl.2004.05.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1781069$5BF31F60-1B4A-48B8-829A-67C121268E47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4f4d1de6aadb8cea43401e5f2d5b13fb1351a93","datavalue":{"value":"W2069870302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781069$09DAD52F-7D24-41C7-A524-6AAA6985FA88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2952ffab3509273859204801e4f2e3f5457a34da","datavalue":{"value":"10.1016/J.CL.2004.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1781069$926D24F5-29E9-46F5-9F0E-A8901132E1AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Special issue: Analysis and verification. Extended versions of selected contributions presented at the 4th international conference on verification, model checking and abstract interpretation (VMCAI 2003), New York, NY, USA, January 9--11, 2003.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Special_issue:_Analysis_and_verification._Extended_versions_of_selected_contributions_presented_at_the_4th_international_conference_on_verification,_model_checking_and_abstract_interpretation_(VMCAI_2003),_New_York,_NY,_USA,_January_9--11,_2003."}}}}}