{"entities":{"Q5084315":{"pageid":7113891,"ns":120,"title":"Item:Q5084315","lastrevid":54348869,"modified":"2026-01-26T16:39:24Z","type":"item","id":"Q5084315","labels":{"en":{"language":"en","value":"Branching-time logics and fairness, revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7547345"}},"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":"Q5084315$4A3CEF69-1B65-4F73-B70C-3A1A2819AAAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4c966364429014b19e5c80a4a71acc402af8670","datavalue":{"value":{"text":"Branching-time logics and fairness, revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5084315$BAE89476-4C11-479B-8278-A44491FDAF1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35d6a9b9eab7885230461b74f80fa8e3a151f738","datavalue":{"value":"1498.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084315$0E5298EC-24B8-4DE2-A4FA-55BFEDE79FC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc0dd1c80b9848ce4db43e9a2a929306620d02c5","datavalue":{"value":"10.1017/S0960129521000475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084315$11792594-4BD2-4406-A522-345884996396","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40462a16b9cc04098cc18dfa55292a866d944377","datavalue":{"value":{"entity-type":"item","numeric-id":386035,"id":"Q386035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084315$F99E9E88-3DC5-4C84-8188-04EBB218A29C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084315$B9888C1E-4CB7-4571-841F-FAF2A15E082E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9bbc3a7cbbc97cf0b4e147ebc83c703a8500597","datavalue":{"value":{"time":"+2022-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5084315$CA5B4C98-11A0-4B4D-85A3-3A9D321F17D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084315$14511EA0-B403-4923-9D72-61DB33ECF7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084315$54436A60-1F3B-4610-A90C-C5943CA21DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084315$F959BD1C-77FA-4374-BEE3-AC88E272B4DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55665a86224c47a72548ce94261624327dcd3659","datavalue":{"value":"7547345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084315$801F2FED-E4F0-41C2-9388-F254EC573201","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec65ebd7481afa966d18bd40ae3753cc3d63ef56","datavalue":{"value":"computation-tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084315$0F36FE99-48FE-4718-87F9-B6208D6BD0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084315$6C7FC1F8-386B-4539-BE3E-3ED4B0B5C7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab95dfbcdceac6cb0c1480eb7dd795ff46e5c45","datavalue":{"value":"branching-time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084315$5E27C609-2A9A-4978-9554-867BD1C1539B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084315$16483E51-C4EE-4EFF-8E54-829CD7FFF18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7630450e7a4a97341ced40d03fb58bb2e6daef9f","datavalue":{"value":"diagonalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084315$CC374B64-10CF-463A-9D10-B22485801FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084315$CA89B857-815E-47CE-BEC1-990615808138","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":"Q5084315$942DAD2E-A003-4542-B2E2-DA8C24DF79E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d248a331d149488399eb14904ed98eedc43023c","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084315$1D3A3152-451A-4165-B344-ADA18D98B827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55b56fe113975985c5e19ddf31ce4907b05de4e","datavalue":{"value":{"entity-type":"item","numeric-id":5458358,"id":"Q5458358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084315$1004A915-56C9-4923-A4C3-6BC2FDFAA257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b07eeec4a1bd343d449e6233e3f58cbea42083c","datavalue":{"value":{"entity-type":"item","numeric-id":4733398,"id":"Q4733398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084315$9393471C-B5F3-4BD8-AB90-64ADCE498695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084315$55B22D65-EFA3-4865-948B-25605D8A0E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f667935027a91d887eedfcc3c126d63ce54c15e","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084315$D770629F-7773-4DCD-A8FA-7C251C60429C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084315$1A8F4D6E-68F9-4B20-9DEC-FD9D15B9569F","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":"Q5084315$FCAB136C-7715-47CC-A1E0-6D4ED5BAE782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084315$036725F1-E419-4FCA-BBE6-08575454D552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084315$5CDFBEC7-4807-45C5-A996-C3BE1222B9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2e42970de8038f5622a20cabcab9dceef04e50","datavalue":{"value":{"entity-type":"item","numeric-id":3327707,"id":"Q3327707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084315$B1B8A76F-93C6-4928-ADCC-08A04D1C3C52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e71347030bc0dfcfa674a9b70c5338fc4bf42d44","datavalue":{"value":"https://doi.org/10.1017/s0960129521000475","type":"string"},"datatype":"url"},"type":"statement","id":"Q5084315$9D551571-EB15-4AAD-A4C3-A86014E0547C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"165a45459ad336759a5b5377c73e9bcfc6ebda7e","datavalue":{"value":"W4285355770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084315$FB7C289D-350C-47D4-B4D8-47488EEB7E98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5f0e4090509a27db55135341d5c49c9c1599f0","datavalue":{"value":{"entity-type":"item","numeric-id":4733398,"id":"Q4733398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eced925b8491039ebbb201dfa29f1ae67507cb0","datavalue":{"value":{"amount":"+0.7879622578620911","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":"Q5084315$A546146E-2551-4585-9951-07E45E4B3582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80b28f5a94028204cf06be169b69315d708319","datavalue":{"value":{"entity-type":"item","numeric-id":1989347,"id":"Q1989347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a468fabdef78280c66f6bfd3737b804ee3b6788","datavalue":{"value":{"amount":"+0.7850109338760376","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":"Q5084315$1756407C-950D-41A6-8452-C19559F588D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7dc9b5c5c54005a4a5dccfefe9ea6ad254c7954","datavalue":{"value":{"entity-type":"item","numeric-id":4722045,"id":"Q4722045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c1b549b28b2a58da6fd6e7ab667fdd5a8d7b45","datavalue":{"value":{"amount":"+0.7728817462921143","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":"Q5084315$EC15EF75-1EA4-4310-943B-5CB83BE917A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878200bb7d6deda2e858113e30ee5e79946f3371","datavalue":{"value":{"entity-type":"item","numeric-id":2500472,"id":"Q2500472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce287e822c149881b4303621919dd7aed35562f","datavalue":{"value":{"amount":"+0.772675096988678","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":"Q5084315$26B28A83-E5C2-4A5D-BFF8-9E5CAF029346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e99e3acb4cb659206ee867940adb4ab72202b8","datavalue":{"value":{"entity-type":"item","numeric-id":2720312,"id":"Q2720312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8a89de80f20e5f3c4efab151b172a209ef5a07","datavalue":{"value":{"amount":"+0.7690047025680542","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":"Q5084315$05D9F24E-7C62-40F1-9F67-B8677A9C5221","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5084315","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5084315"}}}}}