{"entities":{"Q2265815":{"pageid":2276558,"ns":120,"title":"Item:Q2265815","lastrevid":43789905,"modified":"2025-11-14T06:45:38Z","type":"item","id":"Q2265815","labels":{"en":{"language":"en","value":"Alternative semantics for temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3892596"}},"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":"Q2265815$7E7E2449-0CCA-4C29-B38E-F50D186688E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd050b03292ef915d5cc7a350b388c585b38c998","datavalue":{"value":{"text":"Alternative semantics for temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2265815$D918EACB-759F-40F4-A0B0-5D964BE8007D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b162e1946e91f73ec46d377943bc4f85e95e933","datavalue":{"value":"0559.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265815$CFBCB25C-B479-438F-94CB-8523F1115038","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2791800bf4978648aeab439888491d43a3e5bbac","datavalue":{"value":"10.1016/0304-3975(83)90082-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265815$6257C579-5779-4A2E-8E6D-D04DC46A8C62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265815$D1B57D43-A4C2-48BD-9389-DDC7A82FB21C","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":"Q2265815$704C227E-0920-45B7-9BC1-4308408EA824","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q2265815$C3415E98-394B-4431-9645-D509186BBDD7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e70f44df2c9689e0f1b9fab7abaf5abe49dab1e","datavalue":{"value":"The paper studies relationships between alternative semantics for temporal logics. Three common constraints on the allowed sets of computation paths, the suffix closure [\\textit{D. Harel}, \\textit{D. Kozen} and \\textit{R. Parikh}, J. Comput. Syst. Sci. 25, 144-170 (1982; Zbl 0494.03016)], the fusion closure [\\textit{V. R. Pratt}, Process logic, in: Proc. 6th ACM Symp. on Principles of Programming Languages (1979)] and the limit closure [\\textit{K. Abrahamson}, Expressiveness and decidability of logics of processes, Ph. D. thesis, Univ. of Washington, Seattle (1980)], are shown to be independent and their conjunction to be equivalent to the R-generable paths [\\textit{Z. Manna} and \\textit{A. Pnueli}, Lect. Notes Comput. Sci. 71, 385-409 (1979; Zbl 0404.68011)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265815$B2C55C68-1640-423E-B459-A6081FC6D300","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265815$554BD7F6-C51E-493B-8796-FB798A897776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265815$3A12FBC7-D454-4727-A973-8CF44B14BE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265815$E4D34B38-C3B3-4762-B1D7-02F977B4FE97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79ee8da3b92c8f769f47ba0a61e2a67d2a51e7ee","datavalue":{"value":"3892596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265815$2B1622AE-91B0-4228-88C1-159BD32DB661","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265815$5B6E1169-0DBB-4656-B247-69BFC540C084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42d991889d0e827ab8189b2829c24505a6d279c2","datavalue":{"value":"allowed sets of computation paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265815$F02386BC-608C-44A1-BABD-8CD65FDE94B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"865a33890331a6c5b39771b4b5c396cf92248841","datavalue":{"value":"suffix closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265815$2AABEF28-A2E8-41F8-85C9-188492BC65D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2bfeebced783501db16d3f1a8be5f017986ad69","datavalue":{"value":"fusion closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265815$B13F7C0F-4663-4BE4-B30B-993A2CBB1E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73ddce6ec6e05fc676adc1b3ba790d4caa291154","datavalue":{"value":"limit closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265815$8DE0F749-11A7-4A93-96D5-9B2D13B8A723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"402c1a86c64b17dd289c838fe05bb18b73ca5807","datavalue":{"value":"R-generable paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265815$040A5B32-CFE4-44CF-870D-251BA1D1D689","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"828dfc38786d2049fd79af4c315ff0a16e6bc429","datavalue":{"value":{"entity-type":"item","numeric-id":1188836,"id":"Q1188836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265815$C364D532-7C96-469B-B1DF-9E0233BB0E02","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":"Q2265815$EFFC7547-F8DF-4257-845F-7BFEFC5D7BD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c5f164ff17d4a7d648219a2e3a5401654f36c11","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90082-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2265815$D9C66468-D0EF-41FE-B492-97FD0C27C27B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efd96887918069d9f0fccbe8a70a6b105687eda7","datavalue":{"value":"W2062458205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265815$136A3CEC-9AF6-4516-B584-A48687EBEAA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265815$804F9F7E-9F03-4BA0-89A8-3829194DD44A","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":"Q2265815$CDABF545-9F38-41BD-8130-23E6A1973011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b5e466b1c925a5865453f6a7c6c7fb3f401401","datavalue":{"value":{"entity-type":"item","numeric-id":5606281,"id":"Q5606281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265815$590848EA-3ED6-4410-BB33-70E4DDBC3E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265815$A6A42674-7CBE-4DB0-9C21-35B7B1616295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8e7ce7ba49e55329487a7eb0ac790949d49fa5","datavalue":{"value":{"entity-type":"item","numeric-id":3871917,"id":"Q3871917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265815$C6E42C8F-4C5E-4BD6-A4FA-812B77F31F22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3973a64ef24ea08d1efe4cb1b64021fdd19b180","datavalue":{"value":{"amount":"+0.93474126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265815$59926AD2-DE96-4544-8B7B-57BFA5B5251B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c449e07fe8d3aa74d2b62455f4153fa42ad0ba84","datavalue":{"value":{"entity-type":"item","numeric-id":1037596,"id":"Q1037596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac7078f28e72807b044dc8dd1d92c0299d871dd","datavalue":{"value":{"amount":"+0.9288011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265815$BA71A1B7-7D34-421B-AC3E-8FF6C8BA9A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff895c09036648fe32a735bdc45f092299863be8","datavalue":{"value":{"entity-type":"item","numeric-id":6167899,"id":"Q6167899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7738b72b26dd5efb5e270f8c428fea7680a1e7aa","datavalue":{"value":{"amount":"+0.92131156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265815$3F87D7BD-D7FE-4322-89CA-FC121595CA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea108dc4d3486b75416193e20af0acb78b75a2d","datavalue":{"value":{"entity-type":"item","numeric-id":6165037,"id":"Q6165037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472a1134c806fbd6afc9ac4754635268ea019257","datavalue":{"value":{"amount":"+0.9207705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265815$4D834673-1214-4A28-B47D-9AADDD63B9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5114b18be2e34a54848ca96aabb0163907063251","datavalue":{"value":{"entity-type":"item","numeric-id":3511218,"id":"Q3511218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19b037705b07a9e071ade53ddd344a79dfc57c0","datavalue":{"value":{"amount":"+0.9179445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265815$FBC9B3B0-E594-4043-B214-206F59F6953E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d9335eb23f7131179089b0d9b8df6b26603ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1989330,"id":"Q1989330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60e97d26220b0a3d6ad58b8d5415bbd2bf4bb5f","datavalue":{"value":{"amount":"+0.91768396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265815$A7E24E55-4928-45B3-8D87-67AEFBD5FD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2361ce96195746a20fa66861becd93cda194f730","datavalue":{"value":{"entity-type":"item","numeric-id":5200489,"id":"Q5200489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea85eb599e5784dd12d0b3637c2264ff811f8b7","datavalue":{"value":{"amount":"+0.9170399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265815$E38FCEFE-85D7-46A6-8064-2A1871525A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff0888f8fa42d1ad71ea9cc7932a99c7e0d17c36","datavalue":{"value":{"entity-type":"item","numeric-id":3399672,"id":"Q3399672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb471af9b7194f41f0122f65ff34fe5411b55258","datavalue":{"value":{"amount":"+0.91449285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265815$2E1148F7-912D-4FE8-954E-74EA50CAA3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e663493305e479fb71e93b5d1081d36f7e2187b","datavalue":{"value":{"entity-type":"item","numeric-id":5197391,"id":"Q5197391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d02e12904717e226179cb3cef349a2746342a0","datavalue":{"value":{"amount":"+0.91445494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265815$7BC08B91-9B41-44CC-8B75-D378C61C26DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2265815","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2265815"}}}}}