{"entities":{"Q4994113":{"pageid":7023690,"ns":120,"title":"Item:Q4994113","lastrevid":58381530,"modified":"2026-04-04T23:36:19Z","type":"item","id":"Q4994113","labels":{"en":{"language":"en","value":"Proceedings of the combined 27th international workshop on expressiveness in concurrency and the 17th workshop on structural operational semantics, EXPRESS/SOS 2020, online, August 31, 2020"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7360144"}},"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":"Q4994113$EBB37CC0-EA69-4160-BA2A-C5C19AEF154C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55c2166ddb8aa9233ce35d815a0631094d35461e","datavalue":{"value":"1466.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994113$0FA1CFD4-CDA6-4771-AE53-B6FBAB91B2EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9bffc0abdc57d9ce5c4c80a930a72f7a6872fb0","datavalue":{"value":"10.4204/EPTCS.322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994113$D326E5CD-A17D-4726-B8F5-892E2D76C091","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3b3dec7824e997ce454aa280736f2a1a20708983","datavalue":{"value":{"entity-type":"item","numeric-id":2789506,"id":"Q2789506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994113$E521CA86-9199-4D11-B6CA-DC484E203D4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"161dc6404af7e2740517c7a23186f316718cd847","datavalue":{"value":{"time":"+2021-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4994113$3D37203D-2581-4887-ACCA-C0990FE47490","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b730bc54b22257666e43367440df868d889d78b","datavalue":{"value":"https://arxiv.org/abs/2008.12414","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994113$4731D42D-7441-454A-B4E2-CCF1A88C9A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2a0aa9c49402fe03c3ed1a83f533d50efcba6b1","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?EXPRESSSOS2020","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994113$EB3E3119-29F2-4724-AF0C-0C514F85086D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994113$24BD042D-99F4-4A74-86ED-2386D653AD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994113$A049A250-FB22-4DF0-9773-34F4589FA0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994113$97A1430C-4164-4878-8584-DC11B541D2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994113$8F5C8FD3-E58B-4369-AA96-9F03B634FCAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cdd3cfbb76848a4de81eb5bc64eb440adb2dfc1","datavalue":{"value":"7360144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994113$2F0AD13D-B117-4240-815D-6FB175B83941","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":"Q4994113$61C6F677-9EAF-48E0-BB71-9BD15BE713EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d335638ef94ae86dc2d983e9b8e7cc70cf763f2","datavalue":{"value":{"entity-type":"item","numeric-id":5222176,"id":"Q5222176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e47758a1ee1b7ec5ddcba371cbb1a1da7baec9","datavalue":{"value":{"amount":"+0.9044265747070312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4994113$13CC5AE1-EA8C-421C-A35D-4EF370B9C8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cf41d4cce87f85014cb8e8e9bed8334cb88a63","datavalue":{"value":{"entity-type":"item","numeric-id":5220416,"id":"Q5220416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de5a89677a417b8350671e3a3c6df6eb2e2e31ff","datavalue":{"value":{"amount":"+0.8955570459365845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4994113$1CBEE2C2-5C34-464B-8EF1-54CC9945F2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f23f9080fa3a3e4346d3466efe29acebe6850688","datavalue":{"value":{"entity-type":"item","numeric-id":5220397,"id":"Q5220397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9738a32c0a5ac0d28900430297de9aa55bc6c893","datavalue":{"value":{"amount":"+0.893518328666687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4994113$050B7999-D18C-41AD-8DDB-15FB59E31C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7d0ee25fd53f18b3894c23dccdeab491716433","datavalue":{"value":{"entity-type":"item","numeric-id":5220388,"id":"Q5220388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af1778a12b63e03db6b01b68a33f6fe96bd9884","datavalue":{"value":{"amount":"+0.8857769966125488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4994113$33F6B868-3CD2-48C8-AA6C-0F092BCF9646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"892992cda70155d5e3842638f7e23d78f7866a28","datavalue":{"value":{"entity-type":"item","numeric-id":5222128,"id":"Q5222128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0293ae48e4df8224b9c18b794c7890473a3eefd","datavalue":{"value":{"amount":"+0.8827825784683228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4994113$91A89C72-37FE-4B99-A9F9-1D75DF157EA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4994113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4994113"}}}}}