{"entities":{"Q2042575":{"pageid":2053317,"ns":120,"title":"Item:Q2042575","lastrevid":43489337,"modified":"2025-07-29T09:14:22Z","type":"item","id":"Q2042575","labels":{"en":{"language":"en","value":"Software engineering and formal methods. SEFM 2020 collocated workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14--15, 2020, Revised selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7373162"}},"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":"Q2042575$B12D52BB-DDB2-45B7-889A-20A328C93DF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a668bac89081a3a6ae096a5c320452cb3f902058","datavalue":{"value":{"text":"Software engineering and formal methods. SEFM 2020 collocated workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14--15, 2020, Revised selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2042575$3BFF6D0E-569F-42C5-A955-A6A0133CE7AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03e1f3365447bca84daf9eec3cbc40d064daed95","datavalue":{"value":"1471.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2042575$1A815CD4-0F87-4CCE-A72D-9028D855EB1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aef9930cb923d529415d5ccee581335df4c731d0","datavalue":{"value":"10.1007/978-3-030-67220-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2042575$FD2403A8-434A-4288-B770-2358EF2FA208","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":"Q2042575$991959A6-D40D-4677-B960-F925D39D3600","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bb0774ad0c6f94c06a2b1f10711f7e11fbad627","datavalue":{"value":{"time":"+2021-07-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":"Q2042575$0CD11C71-4E94-4BC4-9AF3-4D6A79A5B228","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2042575$FA5965CD-901F-453F-BFFC-0468C7AD34A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2042575$6B97D522-5313-4191-B00A-B2A4485C0738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2042575$EC46986E-0406-49C2-B840-C97AB87D7425","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a215b4c106e5c640d9bd2e6641809739b965f122","datavalue":{"value":"7373162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2042575$35ADCD84-55F6-4688-924B-1E7298B6FF28","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":"Q2042575$4CA2FC01-12E0-42C6-923C-C537C35DB38B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67c2092e48a5f49945e9907e513383be0a956d81","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67220-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2042575$C4213FAF-A640-48C2-8B16-1F60BA0DD278","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0658e360ffa1a5b3897d429fbe909db9b966004","datavalue":{"value":"W3174080901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2042575$3F5D0F7D-326F-4C11-B919-7BE2AF31E54C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2042575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2042575"}}}}}