{"entities":{"Q688717":{"pageid":690566,"ns":120,"title":"Item:Q688717","lastrevid":63634428,"modified":"2026-04-11T14:30:07Z","type":"item","id":"Q688717","labels":{"en":{"language":"en","value":"Refinement of actions in event structures and causal trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438341"}},"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":"Q688717$9F36489E-9D7B-4A72-889E-49A8976C2DD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"452fcb783859790ce2bc1c242780c1e39d5c4447","datavalue":{"value":{"text":"Refinement of actions in event structures and causal trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688717$9245B999-4462-4FD0-9F60-257F9BB9B952","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fc6fb2f05d033d88d85914e63d884a3bca57133","datavalue":{"value":"0805.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688717$380E5163-2F60-4BF7-8BFF-F6EA0270070B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60cf002425761269b211e3f5a63775483ed54442","datavalue":{"value":"10.1016/0304-3975(93)90361-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688717$DBF61BE3-DE5B-446F-9C1E-0638E9F6B882","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"271829170669ce43b1b4f10856578a74e1f3e05f","datavalue":{"value":{"entity-type":"item","numeric-id":557785,"id":"Q557785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$D9EBC538-C5E7-416D-B35D-199264A5F8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$47CE9505-C087-4588-8E18-5D28FC12F69A","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":"Q688717$D8E17D61-39DD-4F5C-98D1-F5A9CD36CAF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f76288a30164f14e28f1a275b49eb5d03da81a0a","datavalue":{"value":{"time":"+1993-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688717$2512CE0A-AF0C-400B-8824-8EF4B97423F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b41627118efb5753bcd97341bfc61d5275f817c1","datavalue":{"value":"Action refinement is studied in two closely related true concurrency models, namely \\(\\Delta\\)-free event structures and causal trees. The former is a slight modification of prime event structures (obtained via weakening conflict heredity and relaxing the finite causes principle). Refinement amounts to events expansion and is compatible with the history-preserving equivalence.   Causal trees are obtained as event structures factored by the history- preserving equivalence. Dynamic refinement operations are introduced and they are shown to be compatible with those of static refinement on \\(\\Delta\\)-free event structures. It is suggested that causal trees can be used to construct a semantic calculus for process algebras enriched with refinement.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688717$544359D9-5646-4A33-A41B-7267A4028376","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688717$233EDDF8-C87A-4FB2-9DD5-740647CB64BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688717$8E4FD151-AC12-40D6-AB76-7A025CB00B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688717$83ECC476-F15D-42AD-A2DF-0A54C216C650","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d71dda0de74be82001435f6ba45500d33f464b4b","datavalue":{"value":"438341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688717$CB3A0E6A-C048-4CC8-B1D4-74C14AA4C045","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q688717$868EFA9C-B364-464E-A53A-5EA7264C4DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5d854f303376b7cdc2b3e650670dd1dd2ec1a5","datavalue":{"value":"action refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q688717$62E215BF-D22E-4067-B87F-0D8A1E2F7223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c798bc82d40898e5a150c07cc309b46baa155c3","datavalue":{"value":"true concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q688717$E24833DA-67A5-4098-8B6F-68DB0BBCAFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q688717$1A4F955C-5A40-4795-B5C3-C8C09598765F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaee594c4261ebe9be43f04d32eb56b64904d146","datavalue":{"value":"causal trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q688717$B80B9849-D57B-424D-9105-6D89A9F66A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q688717$A4BA5B58-02C4-40CB-8E65-1B0FD4FAF406","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"90e834492c280ea6f7cd09939cbb51910bf38c22","datavalue":{"value":{"entity-type":"item","numeric-id":1006888,"id":"Q1006888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$E9D66BF4-BCC3-4A9A-9B0F-8B1ACFE75A50","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":"Q688717$311788F3-7485-4CF7-BD8C-467D11DEC6E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$02551618-B75C-44FB-9214-56933015A94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7f674e134b0d4b291fd6a87d049ca54d21c36","datavalue":{"value":{"entity-type":"item","numeric-id":3204033,"id":"Q3204033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$608EA5D3-5721-4315-A3D1-C6AE8D443382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de22009a794e4c840afcc799d53edc162b0101c3","datavalue":{"value":{"entity-type":"item","numeric-id":4036589,"id":"Q4036589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$A11AA47D-2C6D-4377-94DE-356D9BE73317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529a94b166b6a1f460cb2dea7df802b6148b50cf","datavalue":{"value":{"entity-type":"item","numeric-id":1124366,"id":"Q1124366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$83C6E974-163A-466B-8A83-04A86342D68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955a1832167eb216d55fea60b6f29d7cad974f49","datavalue":{"value":{"entity-type":"item","numeric-id":5750408,"id":"Q5750408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$ACD88F31-32EA-49D3-8B41-9914EAE8571D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0d2e34aa930e925e375883c6bd748955e5f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4733427,"id":"Q4733427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$EF9A97F8-CC08-455A-83B8-71D8AC99A455","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":"Q688717$ACE2D784-FB63-47F8-82A1-F2CBBF069B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069a555dad2c65107609610875dd9596320e501","datavalue":{"value":{"entity-type":"item","numeric-id":3771632,"id":"Q3771632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$0BF566EA-59E1-4283-AB72-802340A84300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$67C73790-EC90-4AF9-93CB-DFF43A705B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559cfc5c99beab76c0edcbfc995aac83468d7534","datavalue":{"value":{"entity-type":"item","numeric-id":3817589,"id":"Q3817589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$6CA64086-6B70-436A-8FE8-914E691AF5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$F59D70A0-CCC2-43C9-AFD4-DF8C5328E66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$235D290E-BAFA-44E5-A872-6CD988906F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7218fb4217aac67a16394ff1ca6cf143809e636","datavalue":{"value":{"entity-type":"item","numeric-id":3750114,"id":"Q3750114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$8B937BEB-ED7E-400A-ACA6-59ADBB7B254A","rank":"normal"},{"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":"Q688717$64FD0679-4B96-4A63-B73E-4658C5DAEAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$40DB9082-06E5-4901-9035-F54D16F5CAC8","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":"Q688717$D14A65DC-9FC7-45E1-9A6C-94FB9792F465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561af13c87e50291ff68f61fc96790f93d6204d9","datavalue":{"value":{"entity-type":"item","numeric-id":1091145,"id":"Q1091145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688717$AC523196-EBC2-4578-BADB-CF4B7D9986F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cba1ea4f5a5b765fef46bd96a303c6af0eef77a","datavalue":{"value":{"entity-type":"item","numeric-id":3359754,"id":"Q3359754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb1185ea182bd03887da6ca97baf21b060749ae","datavalue":{"value":{"amount":"+0.8583583235740662","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":"Q688717$E842979E-7B43-4301-BE1B-E3641CB9D60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f883cb9f1820dcd433a6017c3cbda41487d8304","datavalue":{"value":{"entity-type":"item","numeric-id":4517383,"id":"Q4517383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf16d36107794d1e3374414a260a0da71927e99","datavalue":{"value":{"amount":"+0.8469721078872681","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":"Q688717$70F6935C-5EEA-4183-9CA5-BB3761E08F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f37a8ff9ecbda14f883f2fae14c7caf7bec9adf","datavalue":{"value":{"entity-type":"item","numeric-id":5750408,"id":"Q5750408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0ac1adc8931bc269a1823e345718c859b4a1a2","datavalue":{"value":{"amount":"+0.8429204821586609","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":"Q688717$9F3793B1-DF1F-4D67-93AD-11259384027D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6694b973591d0f0dcda586af2095bf8db53e4bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4813199,"id":"Q4813199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97b67164a514005c46277a254f9f3577937707c","datavalue":{"value":{"amount":"+0.8229197859764099","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":"Q688717$29238663-0516-4F80-B5DB-6657E1D4BBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e7a6e06e679dc64583429b60341ae45e8fabbd","datavalue":{"value":{"entity-type":"item","numeric-id":4035680,"id":"Q4035680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278e3790fead1ed21d44df263df74a804d2a5352","datavalue":{"value":{"amount":"+0.8084643483161926","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":"Q688717$9358A04D-2D50-447C-9FCC-64988934E6A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refinement of actions in event structures and causal trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refinement_of_actions_in_event_structures_and_causal_trees"}}}}}