{"entities":{"Q338613":{"pageid":340380,"ns":120,"title":"Item:Q338613","lastrevid":61073076,"modified":"2026-04-10T21:00:11Z","type":"item","id":"Q338613","labels":{"en":{"language":"en","value":"Reduction of event structures under history preserving bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6648209"}},"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":"Q338613$4FB15D21-E7A5-4DEE-A75F-F5DB202978D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc60db8a67148c9fdad3dab0ed34fb8eacf24645","datavalue":{"value":{"text":"Reduction of event structures under history preserving bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q338613$9D9670E4-073D-4390-ACE0-291AB2004068","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8096815e61488395d4b4b5a863587ff266f195c","datavalue":{"value":"1392.68281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338613$D6E042D4-BE81-4619-A0E3-14D6987F9150","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aeeccc7fc80750817a79bc6922d73c147e58559","datavalue":{"value":{"entity-type":"item","numeric-id":315285,"id":"Q315285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338613$8BDE885A-7919-44E4-A9C0-01ACEAC1B954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338613$46AC1AD5-71DC-4355-B7E9-D4F33F636047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ff2097b0ed7b80c45b91c10cb42969c1d7ae9d5","datavalue":{"value":{"entity-type":"item","numeric-id":315287,"id":"Q315287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338613$8FACF777-F39F-4AAB-928B-37B9B4F98061","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338613$9AA8FC7B-3F26-4276-BD11-DEE554C450E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0de08f7c166202c119e064327d0e745050bbcd53","datavalue":{"value":{"time":"+2016-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q338613$6D38D2F1-E7C9-426F-A349-0B25736553C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0510c5418de42782fd81a198beebb57555698719","datavalue":{"value":"https://arxiv.org/abs/1403.7181","type":"string"},"datatype":"url"},"type":"statement","id":"Q338613$BD323D24-DA5A-4BDE-AFE3-EA5471420A00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338613$BE03824B-27EE-4F58-8A34-7DCA5EADE304","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49d3efe99b7511ac8028694dd079f7dcba2ea6c6","datavalue":{"value":"6648209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338613$651651A8-8A85-4229-8E2F-CED42565C984","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca3c1ee6841d2d03b6de88021140c92814ee0b4a","datavalue":{"value":"prime event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q338613$6F2EFDFE-02BE-411C-9CEB-2E0C89574900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2400234c321ee1e17741a92620f0bfe0de9cd7a","datavalue":{"value":"flow event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q338613$337BFC5F-5786-41FE-81C3-D0C9903BAA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b206016a3d3fcbe36b5e93ee09165f0dee3be44","datavalue":{"value":"asymmetric event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q338613$00C8FA86-474E-4EF1-B223-4D1D6349C476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78e64396a384f225b8cce7f08a42b47e2f8ec4","datavalue":{"value":"reduction of event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q338613$58BFE5D9-BA4C-4ABD-A630-BAC39CA79C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfab0d0d3ba777bc7b15061e7e75fd00096740d9","datavalue":{"value":"history-preserving bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q338613$4690CCCC-429D-4CE9-B553-52E46C2751B1","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":"Q338613$8412E1CC-FF28-4C4C-8B60-AA919B8A80F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fd626694cea3deb4f89a0ef07e3e02cfcc18f79","datavalue":{"value":"W1569109463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338613$B696F234-867A-4172-B2EC-38FD1438F6FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338613$CD5CF5F8-5277-4DE0-9115-FF8490781503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338613$DE89F340-918E-4C9B-BC7D-1E5E9489998B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0e051051fa070cde956cc7f9cb99dc8b2093c7","datavalue":{"value":{"entity-type":"item","numeric-id":1854468,"id":"Q1854468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338613$992A1D7C-D832-4F7C-A594-1BAEDB497444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f455dca8cf9d0b4f1efda8f122e8e3725f6bded6","datavalue":{"value":{"entity-type":"item","numeric-id":4733397,"id":"Q4733397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338613$ED4FFD76-0E18-4F19-8011-7CE3D79E8A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cac7fbe3edf8dd45e61377edf3265a1c6bdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":3805922,"id":"Q3805922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338613$C735C816-0343-4EA8-8787-C875F7782446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c9b97325196e15821b091871efdab4e43e1736","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338613$3BE48198-0FE1-4E72-9BB9-87276411BA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc59e1a97f709973d7c5b044b91b207ea41b5c1","datavalue":{"value":{"entity-type":"item","numeric-id":2639636,"id":"Q2639636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338613$5A1B797F-1987-4D9C-83F7-8FC1AEF5ED51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea8f7b2cfcb37ade671d2796cb37966724ff48d","datavalue":{"value":{"entity-type":"item","numeric-id":1391739,"id":"Q1391739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338613$C2910712-73BC-4FEC-8BDA-3A1348899432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3979bafe4eb9f717a5fb20fe1d7c87e4416fdbc8","datavalue":{"value":{"entity-type":"item","numeric-id":5048942,"id":"Q5048942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q338613$60988C64-E3CA-4B8A-AAD7-A64611339EE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c98ef145ecc0fd3c05c2d4ead2a6afd4de09751","datavalue":{"value":"10.1016/J.JLAMP.2015.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q338613$40751389-C991-49C6-BD21-8309C28E5532","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88484e84ba4c702f34944512b7ea695c1cea4c1","datavalue":{"value":{"entity-type":"item","numeric-id":1996864,"id":"Q1996864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfaff65f76f552db3b8039b638851fde92c59c8e","datavalue":{"value":{"amount":"+0.7692492604255676","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":"Q338613$C3185C99-55D2-4433-8730-133240B2689F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5cdfc07e7e1c647a6c9d9dfec774f63237db68","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e662bba9c0c56ba3481ec8845b521cf12b906f","datavalue":{"value":{"amount":"+0.7613272666931152","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":"Q338613$DF0EDFD9-A9D8-4FD3-968B-8BF246EB767D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb3a5a01556a8a76893d1a4c98485b479d41810","datavalue":{"value":{"entity-type":"item","numeric-id":3569092,"id":"Q3569092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4dba8842ee3169bc3da25823244e398c6f4476","datavalue":{"value":{"amount":"+0.7593254446983337","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":"Q338613$E067A9AB-3B3E-4E83-B1E3-72AFDA688B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1a907f30c0e3010246c8e9a9119b408fbb787d6","datavalue":{"value":{"entity-type":"item","numeric-id":4015485,"id":"Q4015485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32ea6e4302d3dcca57858240ea64432a0f317ae","datavalue":{"value":{"amount":"+0.7541068196296692","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":"Q338613$9F0A0D80-9144-41EC-A2CB-5C5D4BB1F8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590d1bdcf665477529477e79f54349f13e1efd22","datavalue":{"value":{"entity-type":"item","numeric-id":4517375,"id":"Q4517375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c26b600676314b6caaa041ecd193c80e230878","datavalue":{"value":{"amount":"+0.7503848671913147","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":"Q338613$C3A7487D-7CF8-4DDB-A50A-72E093601678","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reduction of event structures under history preserving bisimulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reduction_of_event_structures_under_history_preserving_bisimulation"}}}}}