{"entities":{"Q1822237":{"pageid":1832979,"ns":120,"title":"Item:Q1822237","lastrevid":73448814,"modified":"2026-04-14T16:02:14Z","type":"item","id":"Q1822237","labels":{"en":{"language":"en","value":"An algebraic and algorithmic method for analysing transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4001472"}},"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":"Q1822237$45CE8B8D-7E89-4A1A-BA47-661A05F366A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"563469a945f8108aa80d7f45c6d455c7cf83d355","datavalue":{"value":{"text":"An algebraic and algorithmic method for analysing transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822237$444DF061-A62A-4F32-8AA0-607122AEB61D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e931dc37511279553403d4fd59f7cd1609b97a9","datavalue":{"value":"0617.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822237$4D35D14D-DA96-41D1-94CE-746D418F57C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b408a8218595d6de7b1610a05093605d423fd69","datavalue":{"value":"10.1016/0304-3975(86)90034-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822237$E3DABA14-3201-43C7-AB4F-2E5E2AA3D068","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7215a7675a0dfff6f0d53bb42dba77f06ad8708","datavalue":{"value":{"entity-type":"item","numeric-id":1822236,"id":"Q1822236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822237$1CF8205E-59C2-4B21-A464-8769B2991D5C","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":"Q1822237$5DC797B3-9E3F-4F99-9C21-110C5829D954","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1822237$B480AC8F-58C5-4E9E-9B79-47304FD5C10F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"244b4ab3683ab92e112cd9967d3e01f5b82546e6","datavalue":{"value":"To describe significant properties of concurrent processes a formal algebra is defined whose terms are interpreted, in transition systems, as effectively computable functions of power algebras of sets of states and transitions. We study the expressive power of this formal system and compare it with temporal logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822237$BF8F241A-5795-4F1D-9FE7-80F08A7972F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822237$3B46CDD4-772B-463E-9869-EAC80DF4A50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822237$D9B9373C-D528-4612-979A-0237D254CFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822237$CA13C045-2B81-48F5-AB8C-C07FC92F8ECD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ded14c4bc36d35879200774711fbe22b6cb0836","datavalue":{"value":"4001472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822237$8C315A6F-DC13-4311-AE65-DF32E15130BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822237$1D85B323-7563-44A7-A5A2-066137D22D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822237$68C14226-E564-445B-B100-241DAAB614A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822237$BBDBCB17-69E2-46A2-B84A-9AEC0426CA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"460805acf27537340e2b01c1553bc94a94d926d6","datavalue":{"value":"effectively computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822237$ABA9B740-47A4-4FC0-B527-6BC350B26BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a7a9fc5fb17d67cc949468e4b000068a62213f","datavalue":{"value":"power algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822237$5133C118-DF6A-4F73-A36E-83D4D2666B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822237$5313479B-3C3D-4849-A004-BAD56699E72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822237$4E642442-289E-48B1-A12D-A738D59D02F1","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":"Q1822237$C8B32F88-AEE1-4431-AE1D-3DDBC668DEA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e1f87cc225bffcb541b4642f4ee260af9a3ab3e","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90034-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1822237$CC1F387F-AF68-40A5-93D6-EF50D7F73120","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b088ceb4ed2dbe9b1d594e45bd394da339d6206","datavalue":{"value":"W2075662707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822237$9903F0BF-1641-4E1C-8225-766847F205A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cac2367f2bc84a0ef4268665ad04f3301a81090","datavalue":{"value":{"entity-type":"item","numeric-id":3325067,"id":"Q3325067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822237$80A22935-BDEA-4E16-B74F-D8483FBFC1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822237$22CB160A-9422-4EC0-92E2-873A1F8C95EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822237$CD7AFEBC-D08E-4D3E-A189-A07FC17AEA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e0a5ea99878fcbdbb6bb9b18eb9fce9101e415","datavalue":{"value":{"entity-type":"item","numeric-id":1166926,"id":"Q1166926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822237$237965A2-9892-48EC-AA52-72473C0CC573","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36d8c972e141a126c5a6c9ad613f90809ac1f611","datavalue":{"value":{"entity-type":"item","numeric-id":4029582,"id":"Q4029582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7398eb32e7925b68eb66768f586e25f2ce6674ec","datavalue":{"value":{"amount":"+0.808103621006012","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":"Q1822237$5BA38D30-A48C-41F9-A681-8BED3432434B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4784a6c5ec6fbca202f1f62bb317af08783e8a7","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7398eb32e7925b68eb66768f586e25f2ce6674ec","datavalue":{"value":{"amount":"+0.808103621006012","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":"Q1822237$45EA0EDC-17C4-45BA-B436-EAA73CAC6ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecff6854ef694159dfa3b0217621d22249c74863","datavalue":{"value":{"entity-type":"item","numeric-id":1822989,"id":"Q1822989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca3b53a3ee0a0f96f507cc190843d62ef5e4b95","datavalue":{"value":{"amount":"+0.7917739152908325","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":"Q1822237$66EBFC0C-20C1-49A1-941B-730475C981FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490d0e491b007dfa1fb4d06dfe57cc799bfcab9a","datavalue":{"value":{"entity-type":"item","numeric-id":3798221,"id":"Q3798221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4707b6b900c558b892a221f589af93fa4f1c33be","datavalue":{"value":{"amount":"+0.7696035504341125","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":"Q1822237$96C1002D-19EC-4E8D-89FA-1B101AD02523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ae47f5bf9e7dcfa84434fcc32ca5f37b0902d0f","datavalue":{"value":{"entity-type":"item","numeric-id":3176390,"id":"Q3176390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ce7443b9b8a2278b0973351b4578651165d64e","datavalue":{"value":{"amount":"+0.7683210372924805","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":"Q1822237$A3363B71-C017-4EF2-B848-7AFFF403CC0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic and algorithmic method for analysing transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_and_algorithmic_method_for_analysing_transition_systems"}}}}}