{"entities":{"Q802306":{"pageid":804154,"ns":120,"title":"Item:Q802306","lastrevid":64486521,"modified":"2026-04-11T20:11:56Z","type":"item","id":"Q802306","labels":{"en":{"language":"en","value":"A logical characterization of observation equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3890719"}},"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":"Q802306$040592E0-B7FF-4FCB-AFD6-173AF08F8B7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f704f8e4c4b805729b106777d2523cc921ca382c","datavalue":{"value":{"text":"A logical characterization of observation equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q802306$83F7B19E-B38F-4890-8992-A966CD355F1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53230a91cffb12b43bbb5b540d60ab4a041dfb74","datavalue":{"value":"0558.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802306$6509CF7E-073B-451D-A960-F18F36EF17FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4503d89eac1835226a656bf1757fd2d05977cd85","datavalue":{"value":"10.1016/0304-3975(85)90004-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802306$10B99C0D-37B7-4385-8A05-C8BEC834F66F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8a37106204b8df07e822047b49d4ca05495cf2","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802306$EB77BCD4-367B-441B-8DB4-E85174DCC0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91fbf73212684ce7f13d1266fad4cc29a43e4b39","datavalue":{"value":{"entity-type":"item","numeric-id":797987,"id":"Q797987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802306$F04E8A6E-268A-47C4-919B-928A46AC78EE","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":"Q802306$8D07BE2F-35AD-4EFE-AC72-DD0C322B3260","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q802306$20809649-0D66-4F89-8591-CE3CF0B48864","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"334dacd5b3bbc0d7019cf24cd37938355cca7cb4","datavalue":{"value":"\\textit{S. D. Brookes} and \\textit{W. C. Rounds} [Lect. Notes Comput. Sci. 154, 97-108 (1983; Zbl 0536.68042)] showed that a finitary formal language ('regular trace language', or Reg-TL, for short) which allowed a certain kind of quantification using regular subsets of \\(\\Sigma^*\\) was not strong enough to distinguish all pairs of observationally inequivalent synchronization trees. In the present paper this result is extended to show that there is no class C of subsets of \\(\\Sigma^*\\) such that C-TL can distinguish all pairs of observationally inequivalent synchronization trees. Then a characterization of observation equivalence in terms of an infinitary formal language S-TL(\\(\\omega)\\) is given. This language is obtained as an extension of the language S-TL ('singleton trace language') of Hennessy and Milner by the addition of a connective of \\(\\omega\\)-conjunctions of formulas of finite bounded depth.","type":"string"},"datatype":"string"},"type":"statement","id":"Q802306$CD65CF31-C32E-4CEB-A922-8238C206CF02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802306$0F769733-E8C2-47E9-85BB-E1A8E3720161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802306$CFB58A59-893D-4B32-AFDA-514627D52ABF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84956fe17a460f12880cbbf105105bf50f085916","datavalue":{"value":"3890719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802306$6F97CA87-A6BA-49C2-8892-B843C02BB1AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d67fb2c0b90cc2d59948fec13e4ccbeadcde334","datavalue":{"value":"trace logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q802306$7F47B9E6-B9B5-4893-8252-D07BCBBC6CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91de9559f61a89a340538abd53fa487aa0afdb18","datavalue":{"value":"trace language","type":"string"},"datatype":"string"},"type":"statement","id":"Q802306$4BD6E0FC-CC80-4C27-B9EB-65C09BDF17F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8778c1b27a823e27890fef077ae9c48d377f0562","datavalue":{"value":"synchronization trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q802306$DDC3C0B4-24A7-425B-90E5-E84361C806E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b8b00b3a23da6bd1f1e4eb057095a3ec54f5c0d","datavalue":{"value":"observation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q802306$D7C5BA5D-0C07-458A-9695-2110523C0DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afdc48c32cef297b7d17f68fbe3435275518b45d","datavalue":{"value":"infinitary formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q802306$D554E8DB-A047-4076-AFCB-112E39ADE206","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":"Q802306$3CAAA9A1-42BB-4016-A3C0-994C4C8951CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf62d73cf85952146df37782ee9ea8e8045e672a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90004-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q802306$383E9EFF-547D-483D-8EA6-52A2838CDEF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a5f87cd5b00ac447da1d619eaec07bd588d49b7","datavalue":{"value":"W2017477569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q802306$32A47535-EEA8-42F7-9E28-7ED99F2B27CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d4a6a227c79868bd9b5023884039f04b712af5","datavalue":{"value":{"entity-type":"item","numeric-id":3321470,"id":"Q3321470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802306$60428CB7-B45A-4406-8072-CEA91A76C3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802306$C12D69F0-BCD7-4E7C-919C-C2A001475054","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":"Q802306$6354ECC6-2893-422F-B4A5-385E7EA39BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c62af41889104b2088c9f0f6072faa6848ce881d","datavalue":{"value":{"entity-type":"item","numeric-id":3221398,"id":"Q3221398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802306$0474BFF5-44F3-4D30-A569-37E0E990CFE8","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":"Q802306$43E90EEC-79CF-4583-B2E9-3FE5A8C4DBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802306$9C999D96-17F0-4983-BCEA-1516AFFE4E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802306$070A2BFE-625F-4115-A45A-0BC3BE242BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e7e42f0d59f3b7c473c361351331160cd12546","datavalue":{"value":{"entity-type":"item","numeric-id":1348524,"id":"Q1348524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q802306$A92EE48C-499B-4CB4-978A-0B1C1C7F1DE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b8e0fedf92009fdc7bf9135e8761a32ee8b184","datavalue":{"value":{"entity-type":"item","numeric-id":4202950,"id":"Q4202950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0adbd0d086818b7b810841f80ae2e5bb089b086","datavalue":{"value":{"amount":"+0.801925003528595","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":"Q802306$5F019759-AE30-4FCD-8E7A-C15F68E400EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6cf8c424faf53c3ca3f34e19b8cedfcca21a70d","datavalue":{"value":{"entity-type":"item","numeric-id":1351804,"id":"Q1351804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7f34dca5c5d19b82cbb356be88fc230c150dfb","datavalue":{"value":{"amount":"+0.7906240224838257","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":"Q802306$36ECFF5C-8306-4355-BD43-AB2227C2025A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338b9acf2a0cf968d42afe574569220c098a6508","datavalue":{"value":{"entity-type":"item","numeric-id":1060006,"id":"Q1060006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd4984e04283969de4bc08cbc3c79fcd9ee03582","datavalue":{"value":{"amount":"+0.7576733827590942","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":"Q802306$61C7710F-FFB6-49B0-9683-B0C115557867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd6659cc29953711d81fb5333b8a1d428568eb5","datavalue":{"value":{"entity-type":"item","numeric-id":3326820,"id":"Q3326820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d454b7cdbe19c8e46c408f8c273d15eb55ecdc","datavalue":{"value":{"amount":"+0.7574746608734131","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":"Q802306$B960732C-05D8-43A1-85AD-1D1EBCB8AC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f237d8c7d1d4897e345fb9e25d47d2744c55bb5b","datavalue":{"value":{"entity-type":"item","numeric-id":1207946,"id":"Q1207946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e701d1bba6721010bc86780463f712f6e99c65b1","datavalue":{"value":{"amount":"+0.7472848296165466","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":"Q802306$BA44AE32-3AA8-41EE-85E0-3405A8DA8837","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical characterization of observation equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_characterization_of_observation_equivalence"}}}}}