{"entities":{"Q2287642":{"pageid":2298385,"ns":120,"title":"Item:Q2287642","lastrevid":43827807,"modified":"2025-11-14T20:25:57Z","type":"item","id":"Q2287642","labels":{"en":{"language":"en","value":"Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16--21, 2020. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154407"}},"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":"Q2287642$C0EC5A5F-18C2-479F-8282-82AAF107B0D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d33d39268ae116444d83c24adc9a5711d57cd7d5","datavalue":{"value":{"text":"Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16--21, 2020. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287642$4E453C1A-9CF8-46B1-85ED-A817D8B5864C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b02289605d1d70ac4f4cc40cb031525e25218910","datavalue":{"value":"1429.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287642$DA91DEF3-5DDC-4C19-B3E4-72EB420063C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a179c15eee195bf41b78ca405bf4df40a7548df","datavalue":{"value":"10.1007/978-3-030-39322-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287642$567ACDE6-C4D0-4F4E-80EC-6DEDC66BA279","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":"Q2287642$FA104204-8698-4D4A-B1FE-2261448DD077","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287642$FBAD51DB-DAC2-451F-B7F2-9A9DCE656299","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287642$A291ED95-14E3-4A9B-9CCA-F675433930BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287642$5DE0E911-56D4-4690-A860-2C0DD7B222D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287642$096AFF97-3524-456B-8705-0231F8B8B106","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b61eff132f7f1273283772a97fceedf8ec4fa678","datavalue":{"value":"7154407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287642$A45ED9D7-7B95-45A6-9C34-002382FB84C2","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":"Q2287642$4BE9F3BB-B722-41CD-A817-6F73725C55D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9ab6e31452d4a3fa85336106a9b651bdb9d49b9","datavalue":{"value":"https://doi.org/10.1007/978-3-030-39322-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287642$D99A325A-5E39-4852-85BC-BB5AB687B72E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02e920b671e0c8228cbc3ce68a9070569428ef51","datavalue":{"value":"W2553393480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287642$08E87C31-D216-4C9D-B7F9-C9203FBF4E39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2287642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2287642"}}}}}