{"entities":{"Q5038567":{"pageid":7068144,"ns":120,"title":"Item:Q5038567","lastrevid":98316725,"modified":"2026-06-05T17:12:48Z","type":"item","id":"Q5038567","labels":{"en":{"language":"en","value":"Order-theoretic Trees: Monadic Second-order Descriptions and Regularity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7597927"}},"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":"Q5038567$4FD58B1D-8A70-40A2-B26D-E44048E7A336","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87b8cdb25c0581c28bd25809b145da0471b78af9","datavalue":{"value":{"text":"Order-theoretic Trees: Monadic Second-order Descriptions and Regularity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5038567$EBCC4BB5-A315-42F1-8E60-615A656A3D69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"283e5c3134c400b22f43022a42c5d0417a4180af","datavalue":{"value":"10.3233/FI-222120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038567$A6F60500-D7D9-4F89-8BE6-B8C946419048","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$58ED15AE-773D-41E5-8F60-E334E9752BEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"518e300db17bfff1ac1e0945a75cbb743f9cc157","datavalue":{"value":{"time":"+2022-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5038567$0977AE1C-DE93-4B11-B298-2CC9C316F53D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d41555adda67f8bb8614de904f170aa0b8e3486","datavalue":{"value":"https://arxiv.org/abs/2111.04083","type":"string"},"datatype":"url"},"type":"statement","id":"Q5038567$16841746-A5E4-4D04-A08F-11B79FA6AD4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038567$BA058FDC-A4E9-44F0-974D-DDCF261A341D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43dfc0239f039bcc5e6db6869f69bbf533a81436","datavalue":{"value":"7597927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038567$C7E1FC83-0085-4052-893D-075B4519F539","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385b07a08460e749440d33f5a3e8764375e6566d","datavalue":{"value":"order-theoretic tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038567$A1DF03A4-E0C4-49F6-8286-A237D32FCF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ec8c7899c6ce4685fe3ef956f7576c70b94bd","datavalue":{"value":"algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038567$A45AC05E-B107-4F63-B1CC-B9F09023A059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7068a13300fc593ac1b8ba01c6686711dad4e18","datavalue":{"value":"regular term","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038567$21C5EBC1-774B-4912-9CA8-243CFBFCD124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038567$3AA4BEE0-8553-4A3B-9FB4-CF638785318C","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":"Q5038567$DA6CBB21-8870-435A-A104-447A8D95E0CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4861ad6b832bac12a95a11f6298cd74a8cad1bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$D480BCD7-37C4-40B5-9F60-BD2C2579E6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86093adba28386eb0d9d592265172f7eb4400dd5","datavalue":{"value":{"entity-type":"item","numeric-id":930912,"id":"Q930912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$75BBFF22-CB0B-4615-A214-93073FEF1641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4eebbb182723593f0a19214c57cb3077d40b04b","datavalue":{"value":{"entity-type":"item","numeric-id":2871227,"id":"Q2871227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$8FB0B5A2-92C8-4F9F-826B-A10E46F1F941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$FAC04783-CD16-4917-A246-DCF29DAA18B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394b8c226c40fd2922be160802e4522fb7abf6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4385535,"id":"Q4385535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$2DA303E3-2808-411B-BED5-3D3C3B3B7415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05ef738992e1c7e59c13a5b2d1b56c04ac188d4","datavalue":{"value":{"entity-type":"item","numeric-id":505916,"id":"Q505916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$B95F8CB1-B58D-4F87-976C-55B6C3EFEFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3dcc8ae19d6eeaf5ac3a19ecb80a9bbb3547439","datavalue":{"value":{"entity-type":"item","numeric-id":495431,"id":"Q495431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$80D34359-A81B-45D5-B3B5-499BC9149F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04cb13db17384e633b8cf3854a517d29cacb60a9","datavalue":{"value":{"entity-type":"item","numeric-id":5367045,"id":"Q5367045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$7A9A109F-FD29-4395-A6A0-1CFD71A89091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46154c802a42a236f763cf5206e26023aa19ed88","datavalue":{"value":{"entity-type":"item","numeric-id":2481975,"id":"Q2481975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$DA1050F2-197D-4FBF-BABC-4503717F2347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$1608ABD2-B2AE-4BF3-A707-A1382B1BB2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53df4ea1d5adf9fadc54aabb27e9b91268fb1cf8","datavalue":{"value":{"entity-type":"item","numeric-id":1591661,"id":"Q1591661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$3ECD27E5-6AFA-4D27-86BA-E7E0ED2154A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe401373b5d60b2ac37ca033a0c4770d3a99f2e","datavalue":{"value":{"entity-type":"item","numeric-id":3871942,"id":"Q3871942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$7A4D932D-DC09-4D43-B758-8D6B8645C3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc22e716cdeb349a1df8c13357d3ab87d02870eb","datavalue":{"value":{"entity-type":"item","numeric-id":3780462,"id":"Q3780462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$6CCC140A-E2AA-444F-A387-8F385795A46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e765617be6c53999db47622e1c6d446a84e10149","datavalue":{"value":{"entity-type":"item","numeric-id":5586356,"id":"Q5586356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$272B5260-8E9B-4A86-95B0-47023BE57EDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cece8dbd2ca6a20297fec9b6d186d39de4ead2fb","datavalue":{"value":"W3211593247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038567$2841DFAF-F845-4CA3-86E4-9497B5415487","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"084bbbb4df82d594477fd68358151d484447708c","datavalue":{"value":{"entity-type":"item","numeric-id":6482121,"id":"Q6482121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038567$C3624D3C-7CB7-437D-BCE4-F61C092F2249","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e15c2c31370501bf14bc62612c8d15b0292b9e7","datavalue":{"value":{"entity-type":"item","numeric-id":2947169,"id":"Q2947169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd9dff673bb33f63453bde5d4ba959cac5de083","datavalue":{"value":{"amount":"+0.8755931258201599","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":"Q5038567$DD6212FF-F822-42FF-BC43-EEB14569DE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31cacda978cce973ffee0fcf3103d053d625f419","datavalue":{"value":{"entity-type":"item","numeric-id":5367045,"id":"Q5367045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b93f7234260ec5db633c88feff4626f9696a91","datavalue":{"value":{"amount":"+0.8727006912231445","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":"Q5038567$E8B126AF-EDD6-497D-B0F1-4C6D0FCDBFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b72cdfe8b5111c2cf6f1728198b2c88193579c","datavalue":{"value":{"entity-type":"item","numeric-id":3470112,"id":"Q3470112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847de3a697943b3c981b56dde532bc7d06c706f6","datavalue":{"value":{"amount":"+0.7595533728599548","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":"Q5038567$22176D2C-21A5-4C35-98F7-BA2C9794ED4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627712e95d6abf3f3639d1f1566d9b47ea5a3146","datavalue":{"value":{"entity-type":"item","numeric-id":1366538,"id":"Q1366538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef152f0a4d1928ce7e2bb3c0f0726a5d44b4dda2","datavalue":{"value":{"amount":"+0.7582558393478394","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":"Q5038567$C8ABC8E9-03B9-4DB0-8E98-1C4F00656471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b697ec9869efdfe8080ebb11ea1ba7ab5363665a","datavalue":{"value":{"entity-type":"item","numeric-id":290908,"id":"Q290908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c21554fd4dbd950db7ba5be0d1999e1c452c0a","datavalue":{"value":{"amount":"+0.747029185295105","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":"Q5038567$D13BA949-794C-49FC-A8C4-5A401474BD9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Order-theoretic Trees: Monadic Second-order Descriptions and Regularity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Order-theoretic_Trees:_Monadic_Second-order_Descriptions_and_Regularity"}}}}}