{"entities":{"Q1197983":{"pageid":1208732,"ns":120,"title":"Item:Q1197983","lastrevid":66846642,"modified":"2026-04-12T13:15:16Z","type":"item","id":"Q1197983","labels":{"en":{"language":"en","value":"\\(R\\)-generability, and definability in branching time logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92064"}},"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":"Q1197983$57AC9790-D1C5-48EF-9D35-4B92B08EB1B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3aedeaf41717f4b20baf28b509edb2ac67e83cb2","datavalue":{"value":{"text":"\\(R\\)-generability, and definability in branching time logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1197983$EB5BED30-EB72-471C-87F2-B324BC8FBEC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"455d7844b51623e655e37b013b5c80fa3c5e0be0","datavalue":{"value":"0766.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197983$556CB088-00EB-4D76-8A4F-75638F549C98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2297f862011021f0404a72a22d67b76d6cb2e4a3","datavalue":{"value":"10.1016/0020-0190(92)90173-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197983$C078D51A-EB4B-4DE4-A1F1-0D94D2458A5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197983$5212FEF7-9029-4D14-9D61-091019FB6008","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197983$557D17A1-03AF-4B0F-86E1-6E556F8E52BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1197983$DB8385D2-D899-4726-9C62-88BC195BF548","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2886ca1a23d8f3dfdd66d6f85b2eba7216a3dc84","datavalue":{"value":"We study the power of branching time temporal logics such as \\(\\text{CTL}^*\\) to define properties of computation paths related to the condition of \\(R\\)-generability introduced by Emerson. This condition ensures that neither past behaviour, nor fairness or scheduling criteria are necessary to determine the admissible computations, and it is thus of some practical significance. As shown by Emerson \\(R\\)-generability can be analysed in terms of the conditions of suffix, fusion, and limit closure. In general \\(R\\)-generability and the three closure conditions are undefinable. However, a slightly more refined analysis reveals that relativised definability results are in fact possible. The main results are summarised as follows: 1. Limit closure in undefinable, even when relativised to frames that are both fusion and suffix closed. 2. Fusion closure is definable for frames that are both limit and suffix closed. 3. Suffix closure is definable for frames that are either limit or fusion closed. Moreover, the conditions in both (2) and (3) are necessary.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197983$2500AA54-F202-43D4-8606-51B2869FEF94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197983$0DAFD64C-9309-4FC9-9ECD-92318A4437EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197983$6FC203A7-C3C1-447C-AA07-FC5B1FC36574","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c909e029a12a1282980a31e5952f9aad94e55cb2","datavalue":{"value":"92064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197983$02D19C62-6F38-43B5-AB7A-E13A45BD2AA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023ce57622b1ab8764711a9bfbdafc710962cfef","datavalue":{"value":"computation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197983$4161AD12-5E7C-48D3-84AD-5F43EA8A65B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29c7f877d9879d6f0bea37cc573328e2816c975c","datavalue":{"value":"branching time temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197983$3C4A4735-FD86-4EF6-8F31-1201BFE01747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6116363df33f23101fd493c4bea69a690099e48","datavalue":{"value":"\\(\\text{CTL}^*\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197983$DBBC7B59-E682-4FF5-8677-799025FB598A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cd57293de1e188ed8490c90404e43813002c4b7","datavalue":{"value":"computation paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197983$71BCEF7B-F4A8-4A66-A55B-3A2B3956F91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2032b4bb01eb3abba5fb96cc2bbede4211d09d3d","datavalue":{"value":"\\(R\\)-generability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197983$4D7840C8-5998-42EA-8D43-04AD38B82162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197983$070D7CEC-9AD8-4178-9A08-76B9F40FF20D","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":"Q1197983$E00A5BC8-09D5-4EFD-A4EC-BA8D6253F37D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"062a9bd4fe13e5ea8018ad451d4c2f0edf9de514","datavalue":{"value":{"entity-type":"item","numeric-id":2265815,"id":"Q2265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197983$52A2A215-FD87-4BA3-A017-37CC25A4B96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197983$504E7DF7-4CFD-4292-B501-E386FACBB60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4b0bcc7612754d8a1b8a8945a6a478f1175f0","datavalue":{"value":{"entity-type":"item","numeric-id":1168965,"id":"Q1168965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197983$74844BE5-B626-45BE-AA91-FC3F3961A5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4492fc9d681b8fd74609e5ac1ed3ead3d0aab736","datavalue":{"value":{"entity-type":"item","numeric-id":3704887,"id":"Q3704887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197983$32425E52-EF09-48C1-A230-551546FEDC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45280f113fe0216f2b7ecb89e3dff3eb55b2630c","datavalue":{"value":{"entity-type":"item","numeric-id":4733387,"id":"Q4733387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197983$93C8801C-8E66-49E0-8A36-552C8C3937A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5b71b7e6f84e554c58be41609ee5d08fb2e826","datavalue":{"value":{"entity-type":"item","numeric-id":4733423,"id":"Q4733423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197983$26010716-0D75-4E26-B94C-72F49D60F951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197983$0E8A6B5D-1A16-48BB-9CB7-4FF310A3420A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3796d9f03b4ae0103a65fce1ee3fb718e92184f","datavalue":{"value":{"entity-type":"item","numeric-id":3341881,"id":"Q3341881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197983$DB8DC2BF-69C8-4E5A-AD73-FAA3C827FE41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71265b4d191d79d7780ba651376381b16b4dc053","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90173-s","type":"string"},"datatype":"url"},"type":"statement","id":"Q1197983$B21C5042-CAD1-4592-91E2-03EAAF77CBD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b01bda4febd5d3936fdc6c614298ecc25eaab92a","datavalue":{"value":"W1996717414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197983$B5D93EA9-241B-4E2A-8FD8-BF6C8910C9A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a27c9282cdb7f95060d521cff55d479df4cce8a","datavalue":{"value":{"entity-type":"item","numeric-id":2265815,"id":"Q2265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f7a01c7c3aeb0262d92c637f2a406013ade6ad","datavalue":{"value":{"amount":"+0.749873697757721","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":"Q1197983$E400211D-2D28-4B33-ADB1-5CE00B327B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83617749cf254d03e2ee7f1f5cd22995808a1562","datavalue":{"value":{"entity-type":"item","numeric-id":386037,"id":"Q386037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6669ce946d4b9cd1b7265bec243d1090de654715","datavalue":{"value":{"amount":"+0.7321881651878357","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":"Q1197983$8A21504A-AC54-47F0-9E15-012AF2626330","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":"ee5e6f3811981458efe7c95dba77f7f80c0f3543","datavalue":{"value":{"amount":"+0.7233623266220093","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":"Q1197983$1D81D020-50A1-4627-B19E-5B5D4969A178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65103e820561a9321c0c366efd2359a0c13391cd","datavalue":{"value":{"entity-type":"item","numeric-id":4475142,"id":"Q4475142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e929659f869241cc6aec82b4cc61a94b3768301","datavalue":{"value":{"amount":"+0.7150490880012512","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":"Q1197983$2FC199C9-5449-48BF-A27E-86E17F3D48E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41412a101469767d407265775b84417a718a8c14","datavalue":{"value":{"entity-type":"item","numeric-id":5084315,"id":"Q5084315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ac4d2cd6ddc2fe9de9e8ee8885323aedc47747","datavalue":{"value":{"amount":"+0.712283194065094","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":"Q1197983$DCFA9A9C-B790-423C-86E3-AFFD39D43CE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(R\\)-generability, and definability in branching time logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(R%5C)-generability,_and_definability_in_branching_time_logics"}}}}}