{"entities":{"Q1398378":{"pageid":1409118,"ns":120,"title":"Item:Q1398378","lastrevid":70330815,"modified":"2026-04-13T14:03:16Z","type":"item","id":"Q1398378","labels":{"en":{"language":"en","value":"Counting on CTL\\(^*\\): On the expressive power of monadic path logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956119"}},"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":"Q1398378$58543B99-7C44-4AED-806A-60FF6D7DC8A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a21198845a2d68ce7f039a31c00727c4c7b33066","datavalue":{"value":{"text":"Counting on CTL\\(^*\\): On the expressive power of monadic path logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398378$6D074154-3D46-446A-915B-404796866D20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b009acd92ff770f504df2e214b63273a7151cd03","datavalue":{"value":"1019.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398378$C596A63A-B47A-478E-8C61-3E500B28BF86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b87a5cb0e453166d7058d27866039e6ad8e616cd","datavalue":{"value":"10.1016/S0890-5401(03)00104-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398378$F201A28A-17A6-4195-ADF1-BE13E7BAF52A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce4c06e761dc26b3e41ce19450af68b5cc9744a2","datavalue":{"value":{"entity-type":"item","numeric-id":355064,"id":"Q355064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$B9BB3637-BB7A-4FF0-8E13-EEA69347567E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$54DCD954-5E81-46CB-AADF-B1AD0F72F1EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$AE999838-DF5E-4B79-8B20-008EB7A8E029","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb93fa1c465ad8bc2fa283bb0b87b8516d9e8f76","datavalue":{"value":{"time":"+2003-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398378$02190370-52EE-4E2F-AF83-F305D1CCB576","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398378$CD030D41-4470-4DE9-B4F4-8757F38916EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398378$AECD50F3-0AF4-4C89-8D41-59395BEF603B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a92fb852ee85e5455262e93d0033de3a1bdac66","datavalue":{"value":"1956119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398378$719BA1FE-67AE-4068-B678-CF4FD156E85E","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":"Q1398378$F8626C99-54A2-4253-9AF4-B711AF8587C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"533863522e1be8ef050bdda1fa75cd7f5550db0f","datavalue":{"value":{"entity-type":"item","numeric-id":2754076,"id":"Q2754076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$90F010F1-A185-4431-8346-5DC66F6F3F5E","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":"Q1398378$856C4416-C111-4BF8-8BD0-B6F33A763A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$AD3F3051-18D6-4D4E-AB1C-33A9ED5757BF","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":"Q1398378$18722BEA-0B36-4214-A5CB-BAC1F4C49535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$8392130F-3036-4ECA-8642-7651D93F7758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$ED854CBD-E558-4253-829E-41D219104341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f541614f096e3b425ad00919dac5ce4b89cb5f","datavalue":{"value":{"entity-type":"item","numeric-id":3914954,"id":"Q3914954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$963CC621-FE21-40B2-8C51-CB7DD0AEC02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f724020a86fe18c349cbd6f7250d66c6d91cc2","datavalue":{"value":{"entity-type":"item","numeric-id":3914955,"id":"Q3914955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$69B5D8E0-88B4-4F7B-9018-0898988FCB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534f3cb2e0a274acadf12552ba464789a4b4a205","datavalue":{"value":{"entity-type":"item","numeric-id":3322069,"id":"Q3322069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$BE585FAF-EAE1-4664-8CA8-7CFCF2343816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba0c6aa51a85c5f769503476cc1b4a740b0a16b","datavalue":{"value":{"entity-type":"item","numeric-id":3757893,"id":"Q3757893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$D0966075-D3DC-4CA7-AE70-5710985633C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"892cd8c8a85cb9d6724b48bbea3e1483e3c424ee","datavalue":{"value":{"entity-type":"item","numeric-id":3708772,"id":"Q3708772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$313ED3CD-6356-4687-B51C-61F97335EE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d63fad87ee9ef86f723aa7605967cbf5545e39","datavalue":{"value":{"entity-type":"item","numeric-id":3768883,"id":"Q3768883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$22C00365-F8D0-4C00-8796-DC1E32827A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$3F8212D5-4A0A-42CA-8C8D-E6D5550BD0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$5B21558D-FE17-4E4C-A3B7-FE44F99EB070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3164a4f9a4c3eb26ff3314454f61ef1bf2700a88","datavalue":{"value":{"entity-type":"item","numeric-id":5572332,"id":"Q5572332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$43C24279-2D73-4C15-BA25-22E1A609D26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$EC499AC4-1872-4D3B-A398-246B396B0EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$1D4352DA-5CA3-4226-B339-C00497B56E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5444d62b61ec4f0092db6e9182c1367d48f1504d","datavalue":{"value":{"entity-type":"item","numeric-id":4362730,"id":"Q4362730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$56F5565A-F335-485B-8402-BFCF278B715B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383a3ca7aae52562570b64d9d10b45f0e5fd4501","datavalue":{"value":{"entity-type":"item","numeric-id":4593948,"id":"Q4593948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398378$89CE1CF8-A3D5-4415-B16E-72CEFC85CF18","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7f7b239bd3721ae308ea8f33795a35157f19d8aa","datavalue":{"value":"Q59556959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398378$0CC3D026-1357-42D9-A2A6-33B5EA0946C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e15fea0ad83fe6c8a66c1cb4fdee4dbf7a9c053d","datavalue":{"value":"https://doi.org/10.1016/s0890-5401(03)00104-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1398378$69557AE3-A3E8-47AB-8BE6-478ABB18B1DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d5c25c80d9d6376d909c87c27561629783ec9bd","datavalue":{"value":"W2158212536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398378$16C75BEF-E682-458E-A720-40FBE44CE2F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67266a4f620a8393150d30127a77d173cd57943c","datavalue":{"value":{"entity-type":"item","numeric-id":3768883,"id":"Q3768883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db41c6309c4707200aac16c6e4198e9886e62e4","datavalue":{"value":{"amount":"+0.8890911","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":"Q1398378$C7930285-D21D-4CF6-AC48-7BB81A97038C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ffd765d5d09f68b7cfe45921df91adacd5fe0a","datavalue":{"value":{"entity-type":"item","numeric-id":817849,"id":"Q817849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca0d4e7a769727a642603a3b8a6eb94bd5cf5d9","datavalue":{"value":{"amount":"+0.8646178","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":"Q1398378$992A5F0B-24B4-47A6-AB65-ACD408873ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3add892125585f2e97d6af0663ceb8ec44cfe900","datavalue":{"value":{"entity-type":"item","numeric-id":5466543,"id":"Q5466543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca0d4e7a769727a642603a3b8a6eb94bd5cf5d9","datavalue":{"value":{"amount":"+0.8646178","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":"Q1398378$1A22FECE-CAE4-4233-8E1E-551FDE162B87","rank":"normal"},{"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":"19270230cbf740c3a7374a0a36750fd3e34ec05c","datavalue":{"value":{"amount":"+0.8600463","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":"Q1398378$B66BC0A9-80A8-4DF5-949C-9F79AF933D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434e592f917599f765ac1398b1f6bfccb5f9d1ca","datavalue":{"value":{"entity-type":"item","numeric-id":3824397,"id":"Q3824397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173328da9d8efbdbb19d21de720243b08307efef","datavalue":{"value":{"amount":"+0.85336185","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":"Q1398378$7AF8993C-DAEF-4D9A-86B0-BBE4588DF144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba33f73f8cf3e949aa159d68bc3cd85503d95314","datavalue":{"value":{"entity-type":"item","numeric-id":3086932,"id":"Q3086932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335426c41e5bb3e5746e3deb21d59534fe6c7080","datavalue":{"value":{"amount":"+0.85202336","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":"Q1398378$899F284E-9190-4021-A0A3-50C873AB84F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c202d0549c1ddeab41f1d69977c7a089cf6b81d9","datavalue":{"value":{"entity-type":"item","numeric-id":1392280,"id":"Q1392280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7600b3f4ac426cabeb34293abb43d657ced2b7c","datavalue":{"value":{"amount":"+0.8514852","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":"Q1398378$E47007C0-C547-4E85-B8A3-B5574134AA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587553d2fea14f83e8a1020120a017bb9c111221","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc6fdbfcb4666b10a4c6dae9878781b03f9b32c","datavalue":{"value":{"amount":"+0.8508325","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":"Q1398378$F84576DD-074D-4070-9E59-18456C37E623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83414e07634a0fe55e29a227ae636b652dd6283f","datavalue":{"value":{"entity-type":"item","numeric-id":3065008,"id":"Q3065008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ad98acad1c1eec6a349a7933cd24f3b467d7e1","datavalue":{"value":{"amount":"+0.845345","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":"Q1398378$8FDB0371-430F-4544-988B-9B49820C2FA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting on CTL\\(^*\\): On the expressive power of monadic path logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counting_on_CTL%5C(%5E*%5C):_On_the_expressive_power_of_monadic_path_logic"}}}}}