{"entities":{"Q2904801":{"pageid":2915526,"ns":120,"title":"Item:Q2904801","lastrevid":51533474,"modified":"2026-01-18T16:33:17Z","type":"item","id":"Q2904801","labels":{"en":{"language":"en","value":"Weak \\(\\text{MSO}+U\\) over infinite trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6070941"}},"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":"Q2904801$ED1A5A4A-47B5-4E03-AF18-992B66903462","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4666a0f99abbd0a65f31e0be4c6fc690b13cce01","datavalue":{"value":"1245.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904801$9565F4CF-BC55-46A0-A754-BF19E151A1B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904801$47A94EEC-2159-4622-B6EA-CF93C57D46B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb8895ab41da7ca8777b6718ea89096c669323e0","datavalue":{"value":{"entity-type":"item","numeric-id":286117,"id":"Q286117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904801$19D92902-1B8D-40F3-A784-A2579FC07A16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65565ef421231dd2fa47bb94f379079908ab66d7","datavalue":{"value":{"time":"+2012-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904801$C4577AD8-65FE-4F8C-9F30-AAB6E911D31B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904801$D06B5427-34FE-4629-949B-F06B9DA367F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904801$AD15D6F3-64F1-4B96-AB98-602434837062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904801$9E3E5ADF-75C1-4419-BDFD-74EDE7A2FCED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5953eb161a17ca8c1705b42fed813d3b4a7ff911","datavalue":{"value":"6070941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904801$B9E75AC3-35BD-4FE5-9453-67F0633362B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904801$5E267D49-90E5-430B-A606-CF4DD4038636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae7d9ed7ae817cb68dff7158407697a60f267c0","datavalue":{"value":"distance automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904801$E2BAB381-13F7-4446-9BFC-B7D1A834DF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba6f406d812969a65f4bc487c37b43f67806f99e","datavalue":{"value":"MSO+U","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904801$B77FBE6D-7033-4E88-A220-54AE6F832EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa2979f0f60e0a2a6fcc57140cf5e2ec81542a4a","datavalue":{"value":"profinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904801$FF8C4421-4829-44C9-98A2-FF0B9C764793","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":"Q2904801$808B7E0A-110A-4637-960F-55A2307AE662","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeeee23676f4ae916b6200e889b85e1abe416220","datavalue":{"value":"10.4230/LIPICS.STACS.2012.648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904801$506B5991-1401-4EC0-BDDE-742D5FF1DC53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bda77bcdde1498daf5cac69da397d88e74216a21","datavalue":{"value":{"text":"Weak \\(\\text{MSO}+U\\) over infinite trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904801$84C55873-CA78-4BBB-AB62-525EF975D5B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2896f30c6c53c18958b74ad1d06c1723987037","datavalue":{"value":{"entity-type":"item","numeric-id":5167825,"id":"Q5167825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e18ba2c7420cf9b5033ee1ab4a952cb5957fd0","datavalue":{"value":{"amount":"+0.9577879309654236","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":"Q2904801$4A09EA8C-8D82-4FAA-87C0-3F170D4D89A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bbf6bbcabe8cab958b96d8e6f29f46c17585ef","datavalue":{"value":{"entity-type":"item","numeric-id":4601873,"id":"Q4601873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d16524a0a83953a40985d1c6d3dea2266fb78f4","datavalue":{"value":{"amount":"+0.8235680460929871","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":"Q2904801$2CA092F0-E89E-4A9B-86E1-82671638AE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf2b3587481fc3fc680e05a2e350cd0b8318c5e","datavalue":{"value":{"entity-type":"item","numeric-id":5167826,"id":"Q5167826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b9e2139da362491bc0e0f4cfb854b8b35ec853","datavalue":{"value":{"amount":"+0.8201979398727417","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":"Q2904801$FF10B5F6-150E-45DB-8984-FBE1E8574144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f690a8deda52f079e95a31c469a648f4741c0eba","datavalue":{"value":{"entity-type":"item","numeric-id":5278399,"id":"Q5278399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e5d82a12dd3f3b40515f25b556af99812bc0fb","datavalue":{"value":{"amount":"+0.8081989884376526","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":"Q2904801$3D46C5BB-6D23-45A0-8147-8F803480C5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"477c1e8c5a45f417b668839b638871f1c2b0cdce","datavalue":{"value":{"entity-type":"item","numeric-id":3304152,"id":"Q3304152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce797ebe219fb1713a36a9bdb74caaffa9ac9731","datavalue":{"value":{"amount":"+0.7947074174880981","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":"Q2904801$E9717B26-31A3-4777-BE4C-EE2D902E1270","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904801"}}}}}