{"entities":{"Q1606130":{"pageid":1616870,"ns":120,"title":"Item:Q1606130","lastrevid":68022795,"modified":"2026-04-12T20:55:22Z","type":"item","id":"Q1606130","labels":{"en":{"language":"en","value":"Monadic second-order logic on tree-like structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1774103"}},"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":"Q1606130$4762C984-EFF6-447E-9616-FFED9C0C8539","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a8788e391bd5e633f579c208b5a6b44c4e65792","datavalue":{"value":{"text":"Monadic second-order logic on tree-like structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1606130$07BFD5F8-EF0A-44D7-920A-647A2EFE6DA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f3c825401086bf1c2578d0bd9b838f56717fbcd","datavalue":{"value":"1026.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606130$EEBA0EDC-C9EE-4A26-8060-23803DA46CC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05e41ded0802b08513b6981458a774db7ebf2fe0","datavalue":{"value":"10.1016/S0304-3975(01)00185-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606130$DC6E6721-AD5E-4FD5-ADF2-CF3D2B9353C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$41E7F4B6-7949-407F-B613-16A999910721","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":"Q1606130$624D6E22-2F98-49B0-8268-46DE08947F83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38f00cb3fa95ac38bd620d58528eb98b3b3d8394","datavalue":{"value":{"time":"+2002-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1606130$74CF5920-9F78-4F45-B3D7-28985C3830F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606130$14BF08D1-DF57-4FBA-831E-9FC48F685308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606130$C15829F2-A754-4D32-9D01-970A7C01F31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606130$BE2D4879-DE30-4253-8C1C-6DECDCDAE998","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2266f26e726a8a03e2211cf9f2e2b85d22726133","datavalue":{"value":"1774103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606130$45EF157D-12CA-4F46-B7E5-D4DF227583D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606130$D99FAF6A-F475-4944-8412-428D6B463D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606130$AA678EC4-E7DB-4CDC-A003-538D07C07F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606130$344C414C-B601-44FE-BC6E-49FF1194766D","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":"Q1606130$6B8B735C-FE08-4CFC-9F8A-7C6C6DCF1463","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f085a1b58cd8bcb7d30fbd3ed547f79e107291","datavalue":{"value":{"entity-type":"item","numeric-id":5608006,"id":"Q5608006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$C08C1AF8-40CD-4094-985E-C7D575F3861A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f806d472c9e9df406669c53474a82dbe4044bcd5","datavalue":{"value":{"entity-type":"item","numeric-id":3679155,"id":"Q3679155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$E00C7245-0776-44B3-8478-AE1809399478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e65180487d55de678beff9f15b2f64281465aaf","datavalue":{"value":{"entity-type":"item","numeric-id":1325847,"id":"Q1325847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$D016CED4-04CF-4F17-9754-8D885E6D0B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300c9d4d5bc271fc9055e643f0b1de194ae44b3d","datavalue":{"value":{"entity-type":"item","numeric-id":1295371,"id":"Q1295371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$648B243E-75A9-4F51-BA30-E64A6E68A904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e46f0aa4f1c873819c0fe0f7c3063d572dcc02a","datavalue":{"value":{"entity-type":"item","numeric-id":4215595,"id":"Q4215595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$6D8C3414-A83A-47B0-BA93-C57EE9B4EC77","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":"Q1606130$5D57BBD3-4A49-4133-A846-16DD0BB47773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84c82de96fb7c7b710e84da042fa6d2d7d4ea68","datavalue":{"value":{"entity-type":"item","numeric-id":5520636,"id":"Q5520636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$D998E277-2965-4ED2-80E6-B85AC9CB8D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$BB743802-0805-40BB-8D6C-FFA9CD7E7D73","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":"Q1606130$5D540C5D-4FBB-4CF4-896C-90D8F81D37FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$4ECB7108-8E74-450D-A239-3F9B2D7EEA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7a7ed2697f26032ba1d9f163966d4ba6ea9f4","datavalue":{"value":{"entity-type":"item","numeric-id":1314640,"id":"Q1314640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$8654B3A1-B83E-48D6-ADD3-856D08052D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$3FB6CA9B-EB43-42CA-BA7B-91CB510726E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$8CBA3168-60FA-4DF5-85D2-AE17E686DF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb1276268d489fa1ff9eafc75133507ef53648e","datavalue":{"value":{"entity-type":"item","numeric-id":3346281,"id":"Q3346281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$6D17FE4E-0E15-4DD6-BC5F-BDF59341DEFF","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":"Q1606130$F090133B-F9C0-4D95-B1D2-2E9C30D86C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$33D851B3-B691-46DF-AA7B-5679995A7DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$87BC8CC2-C39E-4E14-8407-997993802856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606130$A1A7DDA9-C493-462D-A9AB-A95977DDBB6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3b3f9964790bdc30adf0ccc0979fcbf71fcf769","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00185-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1606130$C36678A0-4C8D-4BCF-A6A1-66AC1D821BB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cb3ef178bebed0a763e35fba58dbeee3e7fce1c","datavalue":{"value":"W2067464091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606130$F6472473-DE07-46A3-83C1-A924A80F5A6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6415dedb7ef0641ff9cdad256f3ffbe043d58b93","datavalue":{"value":{"entity-type":"item","numeric-id":4593948,"id":"Q4593948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26bcd1dbb4578313bd5d544e659636edc2522b5f","datavalue":{"value":{"amount":"+0.99888325","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":"Q1606130$CFB6EDD2-4FCB-44C3-9786-BA90EDDBAD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6fa6670f3e8897b6789f76edd8d4a76d31525df","datavalue":{"value":{"entity-type":"item","numeric-id":4917997,"id":"Q4917997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9090e84f0f54ee46fdbee2d37c2e0ba224394fe6","datavalue":{"value":{"amount":"+0.96055573","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":"Q1606130$7E4BD544-F7F1-44D8-9BB7-D33B190FE908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebab15fefa9052ee8e0a87abbd366278e5c12f8","datavalue":{"value":{"entity-type":"item","numeric-id":4362731,"id":"Q4362731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c0cf4306989a495bf6d28e3efd7a6ccd8aca7a","datavalue":{"value":{"amount":"+0.94859904","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":"Q1606130$2A81EA5A-8955-4888-9336-CF43A4D61A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3872718480c33feef9cb471cc19a8487acc9f04","datavalue":{"value":{"entity-type":"item","numeric-id":4941910,"id":"Q4941910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633fe9b0d2e79bd3ca82ef5c9cfc77edc3763a31","datavalue":{"value":{"amount":"+0.93506634","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":"Q1606130$A819DC63-5BF3-4DBF-B5E2-3DF6028FCFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d047f757d3004dd0fde6fb9eda71d798bcced0","datavalue":{"value":{"entity-type":"item","numeric-id":1618231,"id":"Q1618231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f9ffcd7cc429b3494edf020876779cde4bc69f8","datavalue":{"value":{"amount":"+0.9278357","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":"Q1606130$1A3E0C32-58D0-4D5D-B569-4AD06094639F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d486ba7d8fd01682853904d1dd16458433c8ebce","datavalue":{"value":{"entity-type":"item","numeric-id":4474837,"id":"Q4474837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a510d2028e24df5d24c1c9d32c1df296bcabca0","datavalue":{"value":{"amount":"+0.920986","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":"Q1606130$0F90A3EF-AFB8-4C33-84E5-9F878658E4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488db3bf7030add26df5d39db98acf87c862bf49","datavalue":{"value":{"entity-type":"item","numeric-id":5129949,"id":"Q5129949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef802d47f75d3c93c126e95f154a09df137e6f4","datavalue":{"value":{"amount":"+0.91634446","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":"Q1606130$4E5D66EF-36B6-41A5-8DE8-A131144C90E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monadic second-order logic on tree-like structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monadic_second-order_logic_on_tree-like_structures"}}}}}