{"entities":{"Q5129949":{"pageid":7159523,"ns":120,"title":"Item:Q5129949","lastrevid":55377748,"modified":"2026-02-17T15:01:09Z","type":"item","id":"Q5129949","labels":{"en":{"language":"en","value":"A functional (monadic) second-order theory of infinite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7269253"}},"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":"Q5129949$BB0B05B6-FE5A-4D6F-9FDA-AD03C387CD15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c255adfc712bad9b4346c358d68a6d24be790f29","datavalue":{"value":{"entity-type":"item","numeric-id":1694470,"id":"Q1694470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$48F14B14-7F7F-4C1B-BFED-5AB4D1B260D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1fc50a159907b8dc1c70f03396294da532f8687","datavalue":{"value":{"entity-type":"item","numeric-id":987975,"id":"Q987975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$7889D615-983B-46B0-B5AC-7E426747A025","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9959762f316e1937fbafa8ffb464ca9ed62f4f3f","datavalue":{"value":{"time":"+2020-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5129949$BF6C1C6A-42B1-4599-B0CB-F7266A61AD1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37cd461b07381ac5635bcaa58c11ce07675800eb","datavalue":{"value":"https://arxiv.org/abs/1903.05878","type":"string"},"datatype":"url"},"type":"statement","id":"Q5129949$DD25923D-93E4-405D-A777-6BD86DA98A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b1b59cdea90d2558b2fb796776a485d742b5385","datavalue":{"value":"https://lmcs.episciences.org/6855","type":"string"},"datatype":"url"},"type":"statement","id":"Q5129949$C0DB68FF-8B28-44BE-B8D2-02154A2208C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129949$4549CCCF-03CF-490F-88B3-95C4A87C42D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129949$5727432F-120A-4EB0-A715-969917AAA039","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de15f3ddd12a4e33d7b8d1961f3fa293f4f87da5","datavalue":{"value":"7269253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129949$AD3742E3-2C85-4673-947F-42B59D8F420A","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":"Q5129949$2526D9D8-7D8F-4A22-89EE-A89CC032F03C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5408abb7ea427203ed438e8c0f4c155f1b865110","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$15A0E68F-B126-4C7F-90A8-05B47080E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$0559A355-41FE-4BDB-A13A-E42FA16D7C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55400f84aca5104d5e7d96f6f35abd4f6b3ee344","datavalue":{"value":{"entity-type":"item","numeric-id":1951555,"id":"Q1951555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$F014AA8B-BA91-447A-8A42-12EC129AC701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf9e4f94fbff98afe5fbfa69e42b66cfa053263e","datavalue":{"value":{"entity-type":"item","numeric-id":1253650,"id":"Q1253650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$95DC8C43-CA2E-4C8F-91C4-B6001663DF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b53be89a612099d77e16da5d46ee3cbff4f7fb55","datavalue":{"value":{"entity-type":"item","numeric-id":3608411,"id":"Q3608411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$F8BB114C-E371-4137-ADD8-B44A4B25D309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$E07BC03B-4938-47E3-9935-87247EA7A4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec94ccb4f4cfd664b4b019e2c04757c7164dba0","datavalue":{"value":{"entity-type":"item","numeric-id":4635820,"id":"Q4635820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$17150BDF-8999-4F29-87C7-57AF6DB733AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"000015a150c6b22af2e360715dcbca0dce31c5f9","datavalue":{"value":{"entity-type":"item","numeric-id":5129949,"id":"Q5129949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$916B271C-C25B-4CC6-AF11-664B51262200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$01556C6C-7675-42B5-957B-3C16E741D433","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":"Q5129949$CAF4A92A-6435-427B-99E1-A5C54B9C5E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d19a9eece734f1eda4a098ae6d7ce91db5fe44d","datavalue":{"value":{"entity-type":"item","numeric-id":4899112,"id":"Q4899112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$5BE03269-9B08-4ABB-91FC-646A21826477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$5C3B9E44-B61D-46F2-B04D-738219D193D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"547fe9f4e52e433334121f96f67d3594c42984b8","datavalue":{"value":{"entity-type":"item","numeric-id":4635942,"id":"Q4635942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$4B7BA1F7-E25E-4599-8873-998E8C174AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$79D8BACD-C244-4EF3-9E0A-BD25C14674D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$FD4FCFC8-D5DA-4525-92F8-CED1FEB0F940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$B0287CDE-7F8C-4DB3-8E94-2C852FB9C888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$CCF3A9A1-E78F-4835-BE9D-314D7D29AB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$FD8CF885-0FDE-4B7D-9966-AB66BE8ED159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89a7d8463a734cfeaae73f3fc6878c172a04cc2","datavalue":{"value":{"entity-type":"item","numeric-id":5207050,"id":"Q5207050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$01A1A3B7-C9D3-48D1-8841-B9368FD09E21","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":"Q5129949$9C16EDBF-9E1B-4423-8ED1-256B4234BE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672678cf45fd4483f5b79d4774c74879e4f49101","datavalue":{"value":{"entity-type":"item","numeric-id":2915178,"id":"Q2915178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$72A54A39-8123-407D-8A47-E539615ECF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2a2c11c36aa39e7d03c3ff2b591bf57410f4fd","datavalue":{"value":{"entity-type":"item","numeric-id":5220183,"id":"Q5220183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$5E384C46-FDB6-4B14-B0E2-A7E1BA77BB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba3406cb2e9f31c4c080075755a19de1a0fbe18","datavalue":{"value":{"entity-type":"item","numeric-id":5614656,"id":"Q5614656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$A8D18205-EA12-4CB0-BC42-8CD89CC20BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cc0a1af3db5bb1682b803cc71ecf7791eadfaf","datavalue":{"value":{"entity-type":"item","numeric-id":638475,"id":"Q638475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$32A94FC4-0F7D-438D-B16C-9E22DE461965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e409cf2076b6a20a90c4b9f6e819f0a627a1c89","datavalue":{"value":{"entity-type":"item","numeric-id":3557849,"id":"Q3557849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$0F7A04CF-4A6F-4914-A0A8-E6FAF9FC7942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$572F3938-5B1A-43AA-91F3-F24AED39ECB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$84BF0BC4-6D50-4026-9076-63E5F946538D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdf63a7896696ddb6905e29eda6c797354cd6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5907067,"id":"Q5907067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$B54E829D-DAA9-4195-8413-6C9BF06A335D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b898b3378e6dce0e6ca53be33ec7d556378d190a","datavalue":{"value":{"entity-type":"item","numeric-id":3086936,"id":"Q3086936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$BD9E77DA-97DD-418A-8EC7-7FA1A959FCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$6B7A44D5-F22B-490D-8986-D31795CD4192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498661e57f097849360a48f48785a3868e7f1cac","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129949$DAB3B729-053A-4247-BC9B-9DEACCAB3238","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa6d0b733cb5ca96190eda875b01728ba5e187a","datavalue":{"value":{"entity-type":"item","numeric-id":4635820,"id":"Q4635820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa947b0305e5edb8ea2610f179dbfb58448cf2ae","datavalue":{"value":{"amount":"+0.8711475133895874","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":"Q5129949$C92CA0EF-E53B-4C03-B852-161001EDAE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b020f2c7b596592b3f18eb947f12edc955e693a2","datavalue":{"value":{"entity-type":"item","numeric-id":5317421,"id":"Q5317421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7698d241bfca141f8f766ed03852944a942f820","datavalue":{"value":{"amount":"+0.8177387714385986","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":"Q5129949$34D30A0F-2C8A-4A71-A26F-D1703B936114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f57c64afbb1ef20fb5f8402dc493a05430872d70","datavalue":{"value":{"entity-type":"item","numeric-id":3605529,"id":"Q3605529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38ed3e8c71d6121a55c2258069757646718afc1","datavalue":{"value":{"amount":"+0.8162003755569458","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":"Q5129949$FFD711DC-927C-4228-9C1A-2DB5C12BBD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60147acdb76f80d96ac1a2d79702ca8d97e8f784","datavalue":{"value":{"entity-type":"item","numeric-id":4899112,"id":"Q4899112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163b2b917307307bd8854c01a72509bee53ae962","datavalue":{"value":{"amount":"+0.8153271079063416","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":"Q5129949$87260CF7-B386-46E8-BE8C-F63F540278EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73edb5d3633f1301a06c71bec46f4428066e82d2","datavalue":{"value":{"entity-type":"item","numeric-id":3608411,"id":"Q3608411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f2b75a236c3c13bfe29b62bdaebb6f07c4cd27","datavalue":{"value":{"amount":"+0.8068779110908508","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":"Q5129949$6ED5A075-9A74-40D0-AF47-A72B5A17ADC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5129949","badges":[]}}}}}