{"entities":{"Q1618231":{"pageid":1628971,"ns":120,"title":"Item:Q1618231","lastrevid":68062311,"modified":"2026-04-12T21:10:57Z","type":"item","id":"Q1618231","labels":{"en":{"language":"en","value":"Existential monadic second order logic on random rooted trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6976903"}},"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":"Q1618231$4A5346A5-EA16-4C21-870E-6C442DFC19AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35bcf98c27f4f028ef34d3f056527ef9493b49f4","datavalue":{"value":{"text":"Existential monadic second order logic on random rooted trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1618231$6621FA6E-2C5C-429B-93FF-C88C3386F017","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"319ca498c7a3c9162d5afd7bc2e7ed2556a22bb6","datavalue":{"value":"1400.05211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1618231$AEBF201A-3175-4D61-A367-83933141071A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"289a690c5c764dd86f96b78808e0cc0df5c8b08f","datavalue":{"value":{"entity-type":"item","numeric-id":283872,"id":"Q283872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1618231$85301BF9-2BFD-4C89-B6C1-0A767087C6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0743d2c8879c42bb9baebaf3e09ea6a0fb8075af","datavalue":{"value":{"entity-type":"item","numeric-id":524212,"id":"Q524212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1618231$B0802BEA-DFD1-4F5E-B024-5C6E5313167E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9a3266eded4fbbd30ca291fdd808aafba6ef08","datavalue":{"value":{"entity-type":"item","numeric-id":310665,"id":"Q310665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1618231$C7BD59EF-7B55-4308-ACCE-D58E375AA397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5614d963e1142d1d3e84430bb23fe04069b1019","datavalue":{"value":{"entity-type":"item","numeric-id":590239,"id":"Q590239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1618231$A3DCD3B3-F862-4F9A-AF7D-B4E397197860","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1618231$98A98FD7-B3C2-4345-AB18-205F9BF5FE8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3e7ffaa69ffebfb5eb0a52329439c507e45afbd","datavalue":{"value":{"time":"+2018-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1618231$15D47BCB-B692-488F-B6AF-483CD54338A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33c104bc2984473885a8dc27917c63e6d2fda863","datavalue":{"value":"https://arxiv.org/abs/1706.06192","type":"string"},"datatype":"url"},"type":"statement","id":"Q1618231$284E3488-4417-4AAC-B0C0-42C32D7E8527","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1618231$0B027B0B-9E82-4A71-A7CF-A92DF031C5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1618231$B24426A2-7A3B-4CD1-A38A-52003BC107AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1618231$33755138-BD8D-4DFA-9063-AA83FB15C95D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8214eef33d1f1e50def9e9ed08d63a3453cc438f","datavalue":{"value":"6976903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1618231$84BD0D64-0102-4D86-885B-922D80672713","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc7493302a974904af4fa8109ab970b9fe16b2c4","datavalue":{"value":"Galton-Watson tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1618231$FA4721B3-F225-4A59-903E-740A4DD8A2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb140716983c87fb7ac1cc838620e95ad89d00e7","datavalue":{"value":"finiteness of tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1618231$CA872035-D949-4C2E-93A3-8AE260DC5F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4877db3e97c42de63763a0c6bda5c28f501b47e","datavalue":{"value":"existential monadic second order properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1618231$B912A613-AF14-4C43-9721-6F16C284151E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f2d6fc1b045d6589c9f1cb97af9fd2e853c002","datavalue":{"value":"almost sure expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1618231$FF64E1D3-8058-4652-9B06-F076AF04F55C","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":"Q1618231$2FB9E7C8-52E1-4614-A9CF-E64EFB4A4768","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b60f932d4bf3f030aeae08999e36c7f11c30de44","datavalue":{"value":"W2897052940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1618231$8AB156B9-7266-404E-BD2C-D322EC86457F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d68055981aac5a056d585f5193ad4ac970c325b9","datavalue":{"value":{"entity-type":"item","numeric-id":2767003,"id":"Q2767003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1618231$4F8CBC79-773A-4BE8-A0DD-9001DDEC682D","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":"Q1618231$AD3B6D94-8FA9-44B7-8E5D-9EF2AB7C217E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1618231$3679F8AC-6630-4872-928F-CD182E0B0D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03bdde2160e97b05b3878523710001cdac260e8","datavalue":{"value":{"entity-type":"item","numeric-id":5501192,"id":"Q5501192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1618231$233BD8A8-115D-4115-B2BA-B6ACDCB323AA","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":"Q1618231$58F222F9-491A-4C0F-9DAA-18A1267A8809","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":"Q1618231$8BD734BB-A0E8-4BDC-9579-0371280FB440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1618231$2DA14B51-91FA-4D37-84C1-B33CBEC7F2C1","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":"Q1618231$391B82A2-9692-4899-96EF-C7507DBDBF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb64ecc40f26522d78aa4932d80380ec33e44bd","datavalue":{"value":{"entity-type":"item","numeric-id":5939775,"id":"Q5939775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1618231$564B704D-2964-40F4-B6FF-A781E6DD704C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b38b5112d5f653bddb02662af5d746f460335b","datavalue":{"value":{"entity-type":"item","numeric-id":4328795,"id":"Q4328795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1618231$1FAD27F6-AF64-4206-B86B-A59AD8A0FFB1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6efb6e1743a7bf5ae51ec75f232b103ebcbd9bdb","datavalue":{"value":"Q129113599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1618231$500926BD-E0E6-4C88-9E92-AAA2EF510398","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"084079fbb3761251b796b86aec9bfcdc8d7cc180","datavalue":{"value":"10.1016/J.DISC.2018.09.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1618231$E4990EE9-DFA5-4BEC-9E82-8905D8A632EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d1d69a103cdc5acbc0913de49dea271881f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"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":"Q1618231$7F38F317-081C-44C9-ACD3-15D0D751987C","rank":"normal"},{"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":"846904069d302a51a34d03d5e973c4a4c4566695","datavalue":{"value":{"amount":"+0.9276916","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":"Q1618231$1E633A0B-CE51-4D27-B577-FEDBDBC8A884","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":"1a8465fe0bf8892d1193f0481abac078871dc2fc","datavalue":{"value":{"amount":"+0.9150368","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":"Q1618231$FF86A630-1977-44BE-8CF0-5268905599B5","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":"aac81220199e309bf8134ba620d035e9316c09af","datavalue":{"value":{"amount":"+0.9092349","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":"Q1618231$3CEFAAD5-8E90-4C5D-8BD5-4CA8A47C2590","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":"3b3ac1d8631fb87bc66870ca13a41a6c34874577","datavalue":{"value":{"amount":"+0.8995476","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":"Q1618231$F357C188-6C2B-4A17-9D20-4C8B839DD82E","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":"5a22ccb14e1f217dd098cac374bd35cfdce5ff8c","datavalue":{"value":{"amount":"+0.89541787","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":"Q1618231$27F7AAF9-A6E0-463B-874D-ACE205E9DF74","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":"671b4e2b53cdc74c282018c2edb8c4221e16b541","datavalue":{"value":{"amount":"+0.8946076","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":"Q1618231$84615CAF-C24A-4797-B6C9-529169F7CD1A","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":"240eaea5074a614d77db6c3ab9d5fba7d1b595ed","datavalue":{"value":{"amount":"+0.8936214","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":"Q1618231$C4D922E4-78E7-4ED0-BFDE-8D2DBA8A9CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e4a4b3c09af444468091193f9f872d488a8bcbf","datavalue":{"value":{"entity-type":"item","numeric-id":3764124,"id":"Q3764124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289dbf649eb43eb7e1c31503d681f68e4d761240","datavalue":{"value":{"amount":"+0.8885261","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":"Q1618231$6CB39A43-D58E-4DCE-A31E-54EA9BE4A2D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existential monadic second order logic on random rooted trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Existential_monadic_second_order_logic_on_random_rooted_trees"}}}}}