{"entities":{"Q3561217":{"pageid":5591121,"ns":120,"title":"Item:Q3561217","lastrevid":50990360,"modified":"2026-01-16T02:51:10Z","type":"item","id":"Q3561217","labels":{"en":{"language":"en","value":"On the Borel complexity of MSO definable sets of branches"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5711235"}},"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":"Q3561217$54BF1A9D-DAA7-48C4-AAE2-B4F044D21F22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4d233d3c0ee1d423405fd4f2dec34ecd15dc16c","datavalue":{"value":{"text":"On the Borel Complexity of MSO Definable Sets of Branches","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3561217$BB729947-2AF8-412E-9706-224EA6C85E13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b5ba6b12fb98591c99ce222dad99f12fc705f4b","datavalue":{"value":"1206.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561217$C3F5406F-C209-4C95-8A39-B2B278EC80EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29061566e215df8b4c6d61450c7654e42739d842","datavalue":{"value":"10.3233/FI-2010-231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561217$95D4A61D-7047-47F5-AA53-D8BFAE5A907A","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":"Q3561217$9A61C31E-B14F-4166-9C2C-6D8F1B18170B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3561217$6EB37383-EF13-4485-AFD8-CDF8C08E170D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8175c1097f178b9efc99716ca896b1e06eea0880","datavalue":{"value":{"entity-type":"item","numeric-id":3561216,"id":"Q3561216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3561217$0E86996C-7B57-4DCD-B8D9-E16281421475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6b3a84f8c4ff22fd081313842e3a7d2a8bb6a0f","datavalue":{"value":{"entity-type":"item","numeric-id":290906,"id":"Q290906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3561217$48AFC693-AFEC-46DC-A442-1825F15DDF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a7ca2c8d9fdc63a57bd7a5ed2a91e6844e83ecb","datavalue":{"value":{"entity-type":"item","numeric-id":607441,"id":"Q607441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3561217$12B156BE-991C-47FC-AD5D-CBF467621F8A","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":"Q3561217$0FE99999-2B6D-407F-A1AD-0B197FDF1BCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fbc6ab4a403b115564cbfcfd9e956f4e78bd17ff","datavalue":{"value":{"time":"+2010-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3561217$0DE21363-B372-4D3D-95AB-903BDEF6F95A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561217$B961F56B-9ADD-4F1E-8F68-FB65CAF1C963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561217$AEF0C902-7E16-42DB-90BA-5BB1665CD888","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0de4072a65a4a58b1ece3ed65d0f99cab33f7702","datavalue":{"value":"5711235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561217$BB06C8BB-DDF9-4440-A41B-659D50EEF974","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q3561217$EA582DEB-202A-41CF-B164-09C03147C96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3561217$5D3252D5-2404-4F5F-BF53-77CC6C11FDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af47dd0d79a1f58f2e4b3e8819f78e985cf685b3","datavalue":{"value":"Borel hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3561217$B36BA4E6-D023-443D-8930-0EF2F6F5CAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3561217$FC55BA93-7AB5-4802-8076-33118DBAF3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3561217$33E6307C-3269-4BFD-800A-3312C93E3652","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":"Q3561217$C086C788-F64E-4606-A301-F40891FF5707","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"822ba04e568641e05106f45e587c5562ec6e0f37","datavalue":{"value":"https://doi.org/10.3233/fi-2010-231","type":"string"},"datatype":"url"},"type":"statement","id":"Q3561217$47FD0ED5-FCE2-4B36-85E2-800FB57194BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b2a7ca3935f250f7843126b39e862451eb4b3d1","datavalue":{"value":"W1682293995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3561217$0B36953E-9AA8-47BF-AB4E-D7F654B2D93F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b94df8375ef40fce88fd997def69bb5bd5b776d","datavalue":{"value":{"entity-type":"item","numeric-id":3586103,"id":"Q3586103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd4c25ca9ae8493f254f7b5de50196bb76b5db5","datavalue":{"value":{"amount":"+0.7678616642951965","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":"Q3561217$9C15EAC2-799F-4FD5-9991-0F30281C0473","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":"514aaa4f973d761ce8ba92b42bfb760114c19e21","datavalue":{"value":{"amount":"+0.7496359944343567","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":"Q3561217$9D786E4C-518E-4238-8580-D41BC44A6BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd34454eba07e294019d498407773c3f6cb7e2ad","datavalue":{"value":{"entity-type":"item","numeric-id":5175888,"id":"Q5175888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f567b8c44f76775a18cc2deeafc2c61de11c55","datavalue":{"value":{"amount":"+0.7441655397415161","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":"Q3561217$B3761500-2FFB-48CC-B79F-F7FDD53CBE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3780772347d3d650d577c4476678ed75675ce8e","datavalue":{"value":{"entity-type":"item","numeric-id":2909624,"id":"Q2909624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33287d391b3cfdc1a03c148d9b4ef69cd01b322","datavalue":{"value":{"amount":"+0.7417489290237427","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":"Q3561217$71DBD3C0-B6D4-42BF-9EF8-ECED61315DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0846e04194f368a896bd4b652d2436431e165c44","datavalue":{"value":{"entity-type":"item","numeric-id":1847374,"id":"Q1847374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b475301581c755f5b670563189a27d9d202273","datavalue":{"value":{"amount":"+0.739940345287323","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":"Q3561217$F449CE22-DA4D-4576-927E-92377FF257E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3561217","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3561217"}}}}}