{"entities":{"Q1190487":{"pageid":1201236,"ns":120,"title":"Item:Q1190487","lastrevid":66517821,"modified":"2026-04-12T10:36:58Z","type":"item","id":"Q1190487","labels":{"en":{"language":"en","value":"A logical characterization of well branching event structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 55543"}},"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":"Q1190487$2FFD1746-BEA9-4766-AE0B-C30A884DD3FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf09d69c6eb54da6accf7659131309dc584af728","datavalue":{"value":{"text":"A logical characterization of well branching event structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1190487$E0F82C78-7A32-415A-A760-92C6E3C75D1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e97891722e51f300985eeb601d0e9d575db8d8d5","datavalue":{"value":"0761.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190487$A7486CD2-32FF-43D9-8A16-5A222584A5F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d83462f8cbf140788ac51dc6482098c303ef78e2","datavalue":{"value":"10.1016/0304-3975(92)90181-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190487$BB87883F-4051-47E4-8048-E665BA7400DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab3eb29cbf9f23c5158deb930f0175a3e7b428f3","datavalue":{"value":{"entity-type":"item","numeric-id":229996,"id":"Q229996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190487$6A00AE65-4468-4872-BB3D-28097E73F077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8392ad3e919ceda3cd16f19f1268cacb9704ba7b","datavalue":{"value":{"entity-type":"item","numeric-id":229998,"id":"Q229998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190487$52ECAED5-99F5-4E86-AAAE-76800613AEF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190487$B5281180-9A9B-4FF2-B06C-CD7B32942433","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1190487$A223A640-D0B1-4B1C-9786-0D40DC045790","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"90023f0772bc3af050d81e9bdbdd4bc3ea3abedb","datavalue":{"value":"It is given a characterization of well branching event structures by using a suitable chosen version of temporal logic. The modalities of this version of temporal logic permit to talk about three basic features of distributed system: causality, conflict and concurrency. The notions of prime event structures and well branching event structures are presented. Then it is presented the language and developed a Kripke-style semantics for it with branching prime event structures serving as the frames. The main contribution is a sound and complete axiomatization of validity with respect to the chosen semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190487$70302423-3B2A-4D96-AE1F-9ED37CC6AC57","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"51906f99d6d165263911ba1eff65a7165f85f7a4","datavalue":{"value":{"entity-type":"item","numeric-id":1190486,"id":"Q1190486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190487$9EA7535C-3410-4B2D-BBE8-0A4AFE98F215","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190487$23632FAE-D6FB-4E49-92D1-F0C8E8002FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190487$8405817F-B464-4200-93B1-DB078BE1C8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190487$EAA36E94-60B5-452D-8023-80B4BA8A3010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190487$2ACFF0BE-AF4D-4947-B8B3-98FFC6391DEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcf632aef6afbf98a8f001f18d22ba0af8f46f4b","datavalue":{"value":"55543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190487$BF023FBC-BC5A-4CBA-B813-3F857E81A7D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce84cda9c7edf79cb23531fe0fc91b42088f9abe","datavalue":{"value":"reasoning about the occurrences of events","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190487$F0C53F95-14BD-4144-8F6C-60284908D7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e225ac4aec700ae2c67cab0cb7802b0627e7a3da","datavalue":{"value":"distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190487$F082AB10-6DCB-479E-9A32-E63B7F2F9065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40ddf808060ba42d097128ffb37e89bf3adfd06","datavalue":{"value":"causality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190487$2918FABB-54E5-4016-A457-0367BA45333C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cf1b82a6db5c68d540f1c57041c88dbc9c00395","datavalue":{"value":"conflict","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190487$21D7B716-EC1A-4BED-9554-0E5AD3F7F0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190487$7BE359C3-F458-4A71-982F-C14F822F7FE1","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":"Q1190487$8D758F81-DDEA-412C-A8C1-3E765783E249","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190487$1D8E5847-FA6B-41C6-9833-784028FFF640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65004c290e3f0ea315a4c52f604a40c6749f75","datavalue":{"value":{"entity-type":"item","numeric-id":1155599,"id":"Q1155599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190487$D510064B-E645-4CC7-9AFA-77192249BF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3399f5121e7c8f51f0135a441ec6aeb62d5737","datavalue":{"value":{"entity-type":"item","numeric-id":4733386,"id":"Q4733386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190487$689C25E3-7244-4AA1-8FD1-CB93ECD3F6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753622dc673a18a132f58ac8127fea65805dbeaa","datavalue":{"value":{"entity-type":"item","numeric-id":3785913,"id":"Q3785913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190487$31A8A515-72BF-4F03-B4D1-4F5150ACFE61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8aebbdd57caa369894f99dd6a293366701d5a0a1","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90181-e","type":"string"},"datatype":"url"},"type":"statement","id":"Q1190487$82DFA654-1676-4FCE-AC62-AFE704A9D98C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"006ef7947dbd9f45226cb4cd1424f9ab0d90047d","datavalue":{"value":"W1972083914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190487$144E373E-431D-49B6-84D0-E007E46EA2C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1086c2817f97037e1a74fb23f77d9dbd95ff1a23","datavalue":{"value":{"entity-type":"item","numeric-id":3356298,"id":"Q3356298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff00229dc8ca5ce2ccd56677f7d532f2f7ea5c91","datavalue":{"value":{"amount":"+0.8247817158699036","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":"Q1190487$859B9B34-F51D-48AD-9882-B13F217F97B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78c49f4b4a66df2586211b7197dd5cb5fe56a26","datavalue":{"value":{"entity-type":"item","numeric-id":4694252,"id":"Q4694252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a815aaad703dd0246c99f3d3bbb7d54dda6951c","datavalue":{"value":{"amount":"+0.8156228065490723","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":"Q1190487$E1C28BC6-BDED-44D9-82C9-CF4ACD0573F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe10faea875401b7de45de89f1ca21e6549535e","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a815aaad703dd0246c99f3d3bbb7d54dda6951c","datavalue":{"value":{"amount":"+0.8156228065490723","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":"Q1190487$5132802F-1589-4042-99C6-B31B8A80A13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7af6db943233379bdc17fe306a84901e27a2225","datavalue":{"value":{"entity-type":"item","numeric-id":3832541,"id":"Q3832541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf8dfc47f6db3dd55c81aa2ca49c796cc3455b5","datavalue":{"value":{"amount":"+0.8092064261436462","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":"Q1190487$2D10EE03-46E1-4662-8F60-F7FFF404F91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a7159dc96a31e8044c54be48d4351fc963497b","datavalue":{"value":{"amount":"+0.7518898844718933","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":"Q1190487$317E370F-8F15-4771-BA0A-BD0AE2D8A095","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical characterization of well branching event structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_characterization_of_well_branching_event_structures"}}}}}