{"entities":{"Q2892678":{"pageid":2903403,"ns":120,"title":"Item:Q2892678","lastrevid":55971856,"modified":"2026-02-21T15:41:28Z","type":"item","id":"Q2892678","labels":{"en":{"language":"en","value":"On countable chains having decidable monadic theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6047778"}},"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":"Q2892678$37FFAEE0-C677-45A9-871A-A06CC17E4865","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dfe03af97b2acb5e9bec18b7518cab9bcf5c3eb","datavalue":{"value":{"text":"On countable chains having decidable monadic theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892678$C786CC63-1BD0-4596-859C-E042EAC64E8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bd293f0ecdbe66bb73163183e5fbda13ff296ab","datavalue":{"value":"1248.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892678$6EB3BF7F-9E4C-4D47-B0F2-2D75B6530B4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d6e3958ecd59ef8308845d606e8ada7bd937463","datavalue":{"value":{"entity-type":"item","numeric-id":782562,"id":"Q782562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892678$633068C2-C4D9-43A4-B77A-DA39F599AF58","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":"Q2892678$15770E91-121A-4D0A-95FA-1120D6BA6369","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"555fba5bdc6c0bd8b767e7cf573522b7525626a8","datavalue":{"value":{"time":"+2012-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892678$378F9E7E-3BBD-4195-A803-E6A9208190DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"210c1c47f83585e01869eb407361f97c3b36cac1","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1333566639","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892678$A0F802CE-63BF-49C6-84F5-9DE0FCA36422","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892678$B7D24CAA-799F-4D08-A561-34857347BF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892678$9BB8A66E-2317-4A63-86E7-45DEAC1B0983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892678$7688CC80-F750-4198-9CDD-7130C8EB9A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892678$967CCE7B-E366-419B-B050-64F405512D9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03eeef1b67d6b680f857e13413666ed95c7f446f","datavalue":{"value":"6047778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892678$D4DC1983-D635-4C3A-9253-D3E5E11198BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9871004e9b366cf293d56ef24f11f805dee7bf","datavalue":{"value":"maximal decidable structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892678$00FE1157-2133-4C28-BC5A-E1790A02FA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892678$08DBDC46-7F91-40D3-BE7F-C673DFDB6187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a46eb3912e6fdc98384528fe6e8e239d42b8eef","datavalue":{"value":"countable chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892678$B713185A-185D-4BEB-A6CD-DBF3D028B458","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":"Q2892678$01998F1F-43AE-42FD-BD0D-089E9FE2B156","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f56a7419a4110bcbee84b57a55fdc37313f8c983","datavalue":{"value":"W2094354112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892678$1378D531-A515-413D-AD48-A8B3630A10D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f541614f096e3b425ad00919dac5ce4b89cb5f","datavalue":{"value":{"entity-type":"item","numeric-id":3914954,"id":"Q3914954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892678$CBBF56AF-DF4B-4782-9AB9-94AE42864F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7a4bea75dde5fc87e575fdfc8567cbc4a9cea5","datavalue":{"value":{"entity-type":"item","numeric-id":3347854,"id":"Q3347854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892678$BF36A760-C917-4DDA-B24E-36B23D32F19F","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":"Q2892678$B5DF8290-ED5E-4072-8386-CC122CEAF6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8761db344c89663d61fbc35c3fbbb2a64e5366","datavalue":{"value":{"entity-type":"item","numeric-id":3328514,"id":"Q3328514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892678$C5321A25-D8B3-4978-8608-883464FF81FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbdb5ee018ac0c535ab1aec0c64c8e2dfa71191","datavalue":{"value":{"entity-type":"item","numeric-id":843596,"id":"Q843596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892678$16FA91F3-2199-48C3-B504-8AF3D2C67724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fd9357923ab7e08f41fef0d932f8df7ca1dda6","datavalue":{"value":{"entity-type":"item","numeric-id":3514639,"id":"Q3514639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892678$3F85EE69-F860-4604-9475-3A43ACAE87CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892678$53CF934E-FA0D-4194-B9A1-68C26F6D3BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e87e8e6abdd0b51c8c74bea38abf0c63a2a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892678$026D9A8A-3BB9-498A-B800-B3F5A3B40A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366496f27963448786a05922fbb68a33edd1ebad","datavalue":{"value":{"entity-type":"item","numeric-id":3342531,"id":"Q3342531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892678$2444D59E-17D4-42E1-9F93-BC84ED0ACCDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b44664e6553012bdbe2e709036f3810b6e77f7a","datavalue":{"value":"10.2178/JSL/1333566639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892678$C5CDDF7E-2BCE-45AF-B9FD-0A720EE90D5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892678$3F6507FC-218F-4A2A-93F7-1B1D59B0D1D5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ad6604a201d878ec365f4a7a1af6a0a652148db","datavalue":{"value":"This is a contribution to a still open problem raised by \\textit{C. C. Elgot} and \\textit{M. O. Rabin} in [J. Symb. Log. 31, 169--181 (1966; Zbl 0144.24501)] -- asking whether there exist maximal decidable structures, i.e., structures \\({\\mathfrak M}\\) with a decidable first-order (FO) theory and such that the FO-theory of any expansion of \\({\\mathfrak M}\\) by a non-definable predicate is undecidable -- in the framework of monadic second-order logic. The authors show that if the monadic second-order theory of a countable chain \\(C\\) is decidable, then \\(C\\) has a non-trivial expansion with decidable monadic second-order theory (a chain is here an expansion of a linear order by monadic predicates).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892678$36D46C98-3AAB-4DEB-9395-A276B520FA16","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892678$FC2E567D-412C-4D4A-A9C0-06FF98E8CF57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f02487093b360f17abd9d664a5ece60efaa8e8","datavalue":{"value":{"entity-type":"item","numeric-id":3816047,"id":"Q3816047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1afa893566cbef43043d2ebbca3264db54572f8","datavalue":{"value":{"amount":"+0.8286749124526978","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":"Q2892678$0789437F-26CF-45F2-AF94-31F36580523C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec2f311e3e92cfd3aa10a05c7f5e68ec516055b","datavalue":{"value":{"entity-type":"item","numeric-id":3586024,"id":"Q3586024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96cc5daed42d2390b49176794262622f8ffbedfa","datavalue":{"value":{"amount":"+0.7690662145614624","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":"Q2892678$0FD93809-CB68-472B-B0FD-E6A0FA6F3F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b4c7b7590801d98eac443c5e7b032ae2572dfe","datavalue":{"value":{"entity-type":"item","numeric-id":3514639,"id":"Q3514639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9b07818c939afd0a5391a4e7f008b81b24ac738","datavalue":{"value":{"amount":"+0.7673673033714294","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":"Q2892678$5EFBA1D9-07B7-4A18-B979-067CA03A218B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2164ba8d5d90f07418db704a012d16a10a82fd8","datavalue":{"value":{"entity-type":"item","numeric-id":843596,"id":"Q843596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a19f512a6072b6128337c7c460b94b98943a82","datavalue":{"value":{"amount":"+0.763745903968811","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":"Q2892678$1F470F0D-5DF9-46DA-B853-AC781010E93F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892678","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892678"}}}}}