{"entities":{"Q817849":{"pageid":819697,"ns":120,"title":"Item:Q817849","lastrevid":64603845,"modified":"2026-04-11T21:00:22Z","type":"item","id":"Q817849","labels":{"en":{"language":"en","value":"On the expressive power of monadic least fixed point logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013343"}},"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":"Q817849$39452AD9-FC38-4AEE-AA59-8A3D527A6ADC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28dcf090c7b46c55c23890e18a62183a3632fcee","datavalue":{"value":{"text":"On the expressive power of monadic least fixed point logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817849$0169ACAA-CCA2-4E9A-A8F6-322E1BF08766","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ae0f3662a77b3f531dfe34439ff4418fe1e9af1","datavalue":{"value":"1086.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817849$C1D07B9B-1968-4CDD-8A2D-CDF2D66F1D23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde056a0f6fc0570a0a106ebb1024eb76bcb30c9","datavalue":{"value":{"entity-type":"item","numeric-id":389233,"id":"Q389233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$0C17AE81-D3F6-4DF0-A828-C17EA6695DF1","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":"Q817849$4CC2137A-F0CF-4235-88D3-D3C7DF29501E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87871fabe918b62ae0b497aecc54a3998d2fdfae","datavalue":{"value":{"time":"+2006-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817849$CD97D5AB-478F-4594-881E-F3A635068598","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817849$B924DEFC-9CD0-412D-86F7-D891A6A0061E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817849$63FA5641-1732-4A44-966C-557B691510FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817849$03EDA475-2700-496C-B266-440E31FA394C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca9033837a5805ed17d085269555fd9cd9699c8f","datavalue":{"value":"5013343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817849$E6869FEC-C8A7-4B35-8D88-6DB68CCBBF96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q817849$3B8779D9-5D7C-49BD-8EC4-EFB721BD9561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e4ea30093d8fa32dfa08d62053fb8ff3268739","datavalue":{"value":"descriptive complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q817849$A41E8700-7C35-4501-BE3C-6FA8484F37E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40953c2325db86cbab905851b0cf565a13fce3d0","datavalue":{"value":"fixed point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817849$885A6255-717F-4A8A-8856-790EFD3FE250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817849$4B3A0B28-2E6A-4C49-8E81-6F77BEAF97B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"962904ee295bb49922f50a8869ba052514248853","datavalue":{"value":"linear time complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q817849$69AAAC91-2FC7-48DB-8E12-691E6A589E0F","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":"Q817849$D33F6F69-DB69-4E67-9606-2D649513709A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4cb7cea460844f702ac5399e8ea7d47d6a13902","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.10.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q817849$B3CE2FE4-DE2C-4251-8DF5-793D4C50E2AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4417401b3195940c57c9897df8b3adaaee0eeab","datavalue":{"value":"W1560572178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817849$E6A514EC-1211-4192-BCC9-AD83FDE903BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f5ba97e2575741f4cdb072b0496f66b2dd3655","datavalue":{"value":{"entity-type":"item","numeric-id":1577017,"id":"Q1577017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$EDE2961A-7AB4-49BD-A743-BF3E049D4B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ff4f787fc7070b2b34786e80f0fcdbf8c04bde","datavalue":{"value":{"entity-type":"item","numeric-id":1276239,"id":"Q1276239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$B5B551F3-7747-4C54-839E-56C36F07D09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d7e6768b22bc08e9e065fa04ec4a9f1dc4b3ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1271559,"id":"Q1271559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$638C83D4-5622-4D2F-9882-783B32D30885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc1156b42b71f1fd8667c6d1b394643e126e9ef","datavalue":{"value":{"entity-type":"item","numeric-id":1854524,"id":"Q1854524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$AC952EC7-6E9E-49BE-B063-9C38717468A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$B018DDB3-E02D-477E-8273-3B3FD2C61398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7efda439dae268c74b6da2abadadc010f670d1","datavalue":{"value":{"entity-type":"item","numeric-id":3455547,"id":"Q3455547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$5FE72196-F3D1-41B0-BA4A-91D51AA215D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8036ca08b863c23ddf593865e2452a13cdb978a9","datavalue":{"value":{"entity-type":"item","numeric-id":5501186,"id":"Q5501186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$DB3C967A-6520-4972-BAD5-9693AA5F8EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a84b650b52768d1e5ce8ad3174210ed0cc4389","datavalue":{"value":{"entity-type":"item","numeric-id":4916199,"id":"Q4916199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$8410107F-DA69-4946-A18E-8CCA47510262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fffabe1d24f9c9affeb3427513d27f3b9e0fbce","datavalue":{"value":{"entity-type":"item","numeric-id":1327595,"id":"Q1327595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$A5ABB282-FA9D-4DEC-B302-407532A6DA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a6cab000a8620ee751c1c3c2333e16e8513bfb","datavalue":{"value":{"entity-type":"item","numeric-id":4302285,"id":"Q4302285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$F5884924-5A34-47DE-94AD-5D46291AE962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dfcb1be46407811dd5549cc2b38985c96f059e","datavalue":{"value":{"entity-type":"item","numeric-id":1817067,"id":"Q1817067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$6FE3EA9F-0356-4DBE-9CAC-06F82D8C42B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6079e7b3089d6f35739a850cb859fdb69b6e13f6","datavalue":{"value":{"entity-type":"item","numeric-id":1266167,"id":"Q1266167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$FCFAFEF3-EF11-4D8C-BCF6-FCFFEC111E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8031ac70cd90b2e6854794d590c2ea07ab1b061","datavalue":{"value":{"entity-type":"item","numeric-id":4785637,"id":"Q4785637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$7D6FE54D-8EAB-4B0A-A340-5D8F073B1D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f2ee72898110fe7889fd717779f041df5428e7","datavalue":{"value":{"entity-type":"item","numeric-id":4866342,"id":"Q4866342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$359B9BD0-02B4-44E0-A910-81258E2CD277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79d627d45f64805abd56e474ce6874950b09abf","datavalue":{"value":{"entity-type":"item","numeric-id":4659888,"id":"Q4659888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$0C192682-6DC2-42F0-A17B-B6A9A6B838ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8542b515a40592ad0eb876bd53173c976e27fe","datavalue":{"value":{"entity-type":"item","numeric-id":5738900,"id":"Q5738900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$839A4C73-17C8-4535-9A20-96EBE5412DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$2A394265-D7CF-49A9-B446-0D87F811A363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a5f8c38dc9aa69650033303ed3bcc47054a76a","datavalue":{"value":{"entity-type":"item","numeric-id":3942945,"id":"Q3942945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$66F357C3-BF50-43F3-85FE-6A1F23883FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d6a3380ce85df6d8bde910a70075841d037ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1198956,"id":"Q1198956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$4B960807-4EEF-488D-8683-C90BECF1A5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1e9815fac0d68e12739ba69d2d4e83721370536","datavalue":{"value":{"entity-type":"item","numeric-id":2506497,"id":"Q2506497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$197C54B7-617F-41B0-829A-E435785A22FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03061dacfe27dff1f2363d715596f874882e04f8","datavalue":{"value":{"entity-type":"item","numeric-id":4351932,"id":"Q4351932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$DC7BCC3D-43D3-4B7C-8E88-10020D9EB712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d949421472cbfbe5f8ad614bd9c2234484e9206f","datavalue":{"value":{"entity-type":"item","numeric-id":5277734,"id":"Q5277734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$BC353876-021F-4C90-9648-A8797DA53589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c042fe08aef90d27349fc5eeddbe51a75b21df3d","datavalue":{"value":{"entity-type":"item","numeric-id":5466543,"id":"Q5466543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$148F14C4-3AF8-4CD6-A557-208D1996A658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4ea57cd40d5b4e17175e414ffea1cc911898b8","datavalue":{"value":{"entity-type":"item","numeric-id":4263790,"id":"Q4263790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$09139653-CB83-4951-8C88-295EDF75FF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817849$1719D7FE-D857-4FA7-9356-D70460408673","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b95e8b147bb8757c8a74abb540c1ebc47c2ae482","datavalue":{"value":"10.1016/J.TCS.2005.10.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817849$06FFA1DC-5C4E-4E12-BCD6-78B89CACB23F","rank":"normal"}],"P1643":[{"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":"3423c85443c4302ae6c13ff7429f017756ebd95e","datavalue":{"value":{"amount":"+0.994247555732727","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":"Q817849$9B4C72BA-DB72-4DAC-8186-9CBE1A39DEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c362c3bc890d667c0387fe5d69d1fd6e7342914a","datavalue":{"value":{"entity-type":"item","numeric-id":4876640,"id":"Q4876640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f613702c3549a80c0e5ea70b95416df67462a839","datavalue":{"value":{"amount":"+0.7784687876701355","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":"Q817849$83B733F8-D780-4842-BB30-6DC9D21238FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a76a5ff7a143036f2e06f27a569a27f233b510a","datavalue":{"value":{"entity-type":"item","numeric-id":5492877,"id":"Q5492877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ac9758cbce6d18080c18eff7755646c0d1227e","datavalue":{"value":{"amount":"+0.7761792540550232","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":"Q817849$1C8AC1C0-3098-4AA2-9984-A1EFBE90D6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf59baaf9596f6755149159257e0750adc2c044","datavalue":{"value":{"entity-type":"item","numeric-id":1886320,"id":"Q1886320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c1cb72c33cdaea2be7115f6ce362abfa3cc704","datavalue":{"value":{"amount":"+0.7761667966842651","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":"Q817849$600A8F52-AD23-449F-911D-A13D1850FC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf15ef89672c0a339c1417b1b80d5c659a3d03c","datavalue":{"value":{"entity-type":"item","numeric-id":4659888,"id":"Q4659888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3479a12478df07eee245b2509dbe7e86f8beed1","datavalue":{"value":{"amount":"+0.7756394743919373","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":"Q817849$1391DCB5-7C1F-428C-B4B5-867D11EE5AFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the expressive power of monadic least fixed point logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_expressive_power_of_monadic_least_fixed_point_logic"}}}}}