{"entities":{"Q503346":{"pageid":505113,"ns":120,"title":"Item:Q503346","lastrevid":62363001,"modified":"2026-04-11T05:34:45Z","type":"item","id":"Q503346","labels":{"en":{"language":"en","value":"Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15--17, 2017. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6674006"}},"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":"Q503346$D3A1EF58-EC6C-4BCD-95C4-BD2307080A9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0217f14c6f68bbc5e4e0baf583dc503f5b88626","datavalue":{"value":{"text":"Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15--17, 2017. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q503346$61B26C82-AEA6-416B-BBAA-BD3EFE64DA4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18c4670a2b0ac7b374f40b7abe732180e4ab7cd2","datavalue":{"value":"1355.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503346$DA213400-0CC2-4138-942E-4A46073C24A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"891a4440c4892507cad060f50fe15d344093e099","datavalue":{"value":"10.1007/978-3-319-52234-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503346$BA011BE7-B201-457A-A53E-885B12DBB19A","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":"Q503346$DA761C86-FBF4-4001-A674-3076542DAD0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f59af348026d8b50a0a15d8fae44d96b789e2f1","datavalue":{"value":{"time":"+2017-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q503346$43100ACD-7343-4007-B363-DC144347869D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503346$FA98909C-7A3F-4587-BD3F-B8C150F9A8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503346$7F3D8212-BF68-468C-89DB-7EBD1DABE707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503346$B95B33BE-6735-47E1-B088-D065188EAB57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97c32af845ed0a9a3fd018cc096fdb3a8d21c672","datavalue":{"value":"6674006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503346$E917F65A-01C1-454A-A430-C1AC66192C23","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":"Q503346$B3E40978-1212-41B4-96A5-7FCBF6D34A6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8efc80acc76b61be13f39ba94b0bd9c99bebd441","datavalue":{"value":"https://doi.org/10.1007/978-3-319-52234-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q503346$C3F58428-C0C7-4867-801D-67679CFD7117","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52623c9472a81fea4e598ec38bea63d453b8b448","datavalue":{"value":"W2568643617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503346$387660B2-605E-4B22-9974-C7BC25891D7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15--17, 2017. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification,_model_checking,_and_abstract_interpretation._18th_international_conference,_VMCAI_2017,_Paris,_France,_January_15--17,_2017._Proceedings"}}}}}