{"entities":{"Q4238500":{"pageid":6268101,"ns":120,"title":"Item:Q4238500","lastrevid":41745687,"modified":"2025-05-07T20:50:40Z","type":"item","id":"Q4238500","labels":{"en":{"language":"en","value":"Flat fragments of CTL and CTL: separating the expressive and distinguishing powers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1271174"}},"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":"Q4238500$EC3EEE6B-6A79-491A-90F3-90C534A5EC3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d85b76c42c41df2e80f122b4027f7728ae3b034e","datavalue":{"value":{"text":"Flat fragments of CTL and CTL: separating the expressive and distinguishing powers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4238500$D8D1BDFF-7C42-4E96-8FAC-BCCA7D817E95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dd65bdb6e640c351f7093471a1c3dba6c437a50","datavalue":{"value":"0920.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238500$8607F7F3-C406-441B-9FC3-D6E236C8D45A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1daf35fe51d80771c6da53504ab2329f1222dcc5","datavalue":{"value":{"entity-type":"item","numeric-id":1125426,"id":"Q1125426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4238500$E58ACE02-C4EB-4561-8C53-FF5834053E59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9e2f38af2b9b50bb6524b19e002d57dc0f88b01","datavalue":{"value":{"time":"+1999-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4238500$ED5DAEF6-6C28-4267-808A-71F9FBD4BD91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238500$C1AA7A33-DE1A-41B0-852D-0CF36A03F0F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d2898f3f8b9516f0338cb707ec71ecadf9b5b08","datavalue":{"value":"1271174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238500$CBEC77C6-9764-476F-8191-8DA3A98BC2A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238500$7DEF65AD-C667-454C-8CA6-7F4D0CB3731B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8129f9d8dff80ed324e06e98c28cc8d715b0b8a4","datavalue":{"value":"until modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238500$1547EEEE-0DA2-4E9E-B290-B613D89474D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238500$CE11D28E-FAD8-4A26-9696-1EA40BFB773A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238500$CE41BB8F-5B60-48E1-B7C4-47F8FE439DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238500$AC9B5ED5-76EA-4DC0-897B-1F2476DD516C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"191c18d8fad305b0d99047e0c480a7e83738882d","datavalue":{"value":"distinguishing power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238500$8BD00FE0-6234-4B5F-8A5A-CCE3A1F83151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238500$D735550B-309A-4564-9B39-FB976AEB102C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238500$EEA8CF33-5D3E-4870-996C-22DDE8732426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238500$41218DA5-B223-4A8E-8D87-A190119A42DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69986cd55ba772bb275631997a6f44465a72eede","datavalue":{"value":"flat temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4238500$1E47885E-56E2-4686-93B4-7B3A11F771B6","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":"Q4238500$F3FF8F3E-08C5-4B6A-BB96-973C977BB783","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2404169e000a9b26d049eab86e69da6bdfde83c2","datavalue":{"value":"https://doi.org/10.1093/jigpal/7.1.55","type":"string"},"datatype":"url"},"type":"statement","id":"Q4238500$E4A48C95-948E-4EC3-8364-C48602816BBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbd8845619173ad579f6e469a8cb0596d780099b","datavalue":{"value":"W2128635895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238500$B489FA5A-7BDA-4606-AB99-069EB4B6DCA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae313e6a3080f6fdf079a51516430f57ca00dd6f","datavalue":{"value":"10.1093/JIGPAL/7.1.55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4238500$F9F47A81-2157-416E-8703-F5987FACFD9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4238500$C2897587-8BC6-475A-89C9-6579DC1EFFCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8bf40363108843a9811e7a7406498ad938c13c0","datavalue":{"value":{"entity-type":"item","numeric-id":672975,"id":"Q672975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52cf5e9f19b19e9d016b16b8ce6af1fe6c15ebbd","datavalue":{"value":{"amount":"+0.84715927","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":"Q4238500$1825FEC4-756B-4315-89F0-D381FA51501D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0097733e53f34c91e9979595d256b692a2dea2","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a833a0c256c8da490ba3dc71cd92f56cb6a656c0","datavalue":{"value":{"amount":"+0.83957994","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":"Q4238500$3AD58975-5749-4A71-840A-FDBDCA277FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dcc74f5016755b382c73656c29a163b4f17aa71","datavalue":{"value":{"entity-type":"item","numeric-id":4982095,"id":"Q4982095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d596408e71d8daf2b42d995b077d6f63d52d67","datavalue":{"value":{"amount":"+0.8295642","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":"Q4238500$8953FDE8-9CD7-49A3-841D-24F5C8756B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab234acaf5c68faf52640a6c31bd122fdc22d598","datavalue":{"value":{"entity-type":"item","numeric-id":3646173,"id":"Q3646173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8e2da70c2e9a8e3a245a514a6ada9e3c8b3f2e","datavalue":{"value":{"amount":"+0.82087713","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":"Q4238500$FFD99DE1-9E20-46DC-A68D-A4C5EF1370D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab7016c216d001e3f91e4f1ce35cf4421f12985","datavalue":{"value":{"entity-type":"item","numeric-id":3605539,"id":"Q3605539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9313077a649ce0570b42c2f766606f56907082ea","datavalue":{"value":{"amount":"+0.81864995","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":"Q4238500$4889A445-2658-4412-8BC9-C75D6243D31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9386106af15cb3aafbded43cc084ef9fc4171a9","datavalue":{"value":{"entity-type":"item","numeric-id":1398378,"id":"Q1398378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cae4ae06de54c1cb318da3da22747393f79a430","datavalue":{"value":{"amount":"+0.81123054","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":"Q4238500$50B6E6D0-F777-4D60-943B-E565E6415D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f42eb3a43293289120a3c6e1942c65d53f0d6b9","datavalue":{"value":{"entity-type":"item","numeric-id":2767036,"id":"Q2767036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e6df9dbe279d52ce457c582c92ba42536fdfe95","datavalue":{"value":{"amount":"+0.8082558","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":"Q4238500$851F1860-4780-46D2-8E3B-A33EBC785614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1414cd67148704397dadc6b341f2e9f9bb23fa5","datavalue":{"value":{"entity-type":"item","numeric-id":4593253,"id":"Q4593253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016f1f708e0f6f6c2409e73d799f5504f6115fe4","datavalue":{"value":{"amount":"+0.80692995","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":"Q4238500$80B4DB24-43BF-49AC-8FA0-C563667A8627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060dc24f45e1c01819b82791102c02f56e8472df","datavalue":{"value":{"entity-type":"item","numeric-id":6487463,"id":"Q6487463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e998998168cfa19131328f589b9138608cf1393","datavalue":{"value":{"amount":"+0.8054948","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":"Q4238500$32506B23-942E-4D2D-A3C3-312FCF2AC97B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4238500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4238500"}}}}}