{"entities":{"Q2118710":{"pageid":2129453,"ns":120,"title":"Item:Q2118710","lastrevid":43523789,"modified":"2025-08-18T07:57:37Z","type":"item","id":"Q2118710","labels":{"en":{"language":"en","value":"Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16--18, 2022. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7496176"}},"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":"Q2118710$3EC63C30-C36B-43C1-B429-1D1D667670B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf654dfc059b7b2e9844e70f35b6b37455035bd2","datavalue":{"value":{"text":"Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16--18, 2022. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118710$DEE4DE7B-EA45-497F-8E46-0975D92665F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38f87bd86144bcd3cff796fdffbf7ffec3a114e8","datavalue":{"value":"1490.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118710$4BA9F35B-D8F0-4536-B98F-5AAE5D22C12C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8322419a282563ad3711d8e7bb5b53eb0423ef40","datavalue":{"value":"10.1007/978-3-030-94583-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118710$1008EB8B-4CD2-4828-83E1-8C0689409FFE","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":"Q2118710$20C73E73-54D3-4AF6-BABD-34FC1A35234F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118710$6F8DE86C-FB88-4082-859B-05AA958C2DE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118710$61BB0045-6841-4F48-9CC3-84CF99235B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118710$439046AE-D028-4B30-9D90-E2461808CB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118710$45DABFF9-AF31-4162-8B4C-AD3FD91E1C88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8117cdf9d14278d96f0e5a701e26e89c3ab1b74a","datavalue":{"value":"7496176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118710$A4CAE982-E2F2-43BC-A4C0-C22C00283480","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2272dec887444ded402adf6dd328d192c46f4805","datavalue":{"value":"Q124213259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118710$DE5FF7CD-0EB2-4988-90BF-9D31385AC502","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":"Q2118710$B7F8A33E-17D0-48DA-B6B6-9777D2FD8044","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab9768aab5cb0b59ce16595148d9824f6ec1612a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-94583-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118710$1F733F18-716C-416A-9C3A-2AA2ECAF1B70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5b23a44c8f8070cb73bacd675c919dfebafb0fb","datavalue":{"value":"W4206162250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118710$88C85A34-69B2-4B46-93CD-E4B70A4338A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118710","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118710"}}}}}