{"entities":{"Q1377635":{"pageid":1388375,"ns":120,"title":"Item:Q1377635","lastrevid":68760540,"modified":"2026-04-13T01:52:54Z","type":"item","id":"Q1377635","labels":{"en":{"language":"en","value":"Ehrenfeucht games and ordinal addition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109916"}},"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":"Q1377635$64AD4457-795B-445F-91D1-CD088A7069A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e3043bca1cc4c6e64fe12bea8227cc6ee6231cb","datavalue":{"value":{"text":"Ehrenfeucht games and ordinal addition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377635$7E5AFB60-5E4E-49BC-BB91-8A0BB05B5FD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c56a359a4d25fd226514fd8a59b023b0dba37d71","datavalue":{"value":"0897.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377635$FC1FFE21-EEF4-427B-8CE8-A0DDA77B678B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0062f64bc2af05ee043b896f11edc84afab3e742","datavalue":{"value":"10.1016/S0168-0072(97)00005-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377635$DC071BF5-EB44-44FA-926B-83D703969736","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f24bacd1521a4d6348aadc4a6edfbc8184bc1c9","datavalue":{"value":{"entity-type":"item","numeric-id":671515,"id":"Q671515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377635$13DF4C20-AD23-4C05-A7EB-A456B36A1664","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377635$97C72803-3542-47CC-9C13-8EBEF0A5E968","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4792ae2ab319fd603aad0c994faff1f40f5e4ae","datavalue":{"value":{"time":"+1998-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377635$27B05EA2-40A3-464E-B872-52F85C2E48C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"17745f9675ad77c6545f919f82e27ec2c721ecb8","datavalue":{"value":"In 1965 R. B\u00fcchi proved that the theory of addition of every ordinal is decidable. In the reviewed paper, it is proved that the theory of ordinal addition of any fixed ordinal \\(\\omega^\\alpha\\), where \\(\\alpha< \\omega^\\omega\\), admits a quantifier elimination. The proof is based on Ehrenfeucht games. It is shown that quantifier elimination goes through generalized power.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377635$3EC7B6FD-E556-4267-AD59-8928757AFFE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377635$F3AC9F4A-06BB-4560-9F01-7A6137E1F85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377635$743A7D36-0343-45CB-A715-CCB4A1C52FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377635$5DD16789-CD92-4DCB-80A8-99F5E760A771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e68d963bec59086f200209d312d41076185f6f1a","datavalue":{"value":"1109916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377635$CA0367C2-4B15-4B00-AAA7-D9C8BB110492","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b5c4e6c0ebea4378560914a6f08b3376f784157","datavalue":{"value":"ordinal addition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377635$10B1A2A9-0909-4C34-B601-327F3283E269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377635$C84BBAD3-C998-48EA-9B41-E0F3911E2FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ed1ba4a6a45ef442fb34727ac48c601792c2241","datavalue":{"value":"Ehrenfeucht games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377635$08405CF4-3CB1-4219-9D87-6FBAE878AC9D","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":"Q1377635$0B4A6E90-E789-4B28-B1FF-0E99DFD5D953","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377635$A0A01801-71FE-4CAD-A440-77F07219C4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7dc0a8249e23ac4cd75141f1fdd6f892ebc187c","datavalue":{"value":{"entity-type":"item","numeric-id":5608007,"id":"Q5608007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377635$28C46D12-E511-4BBF-BBD0-7304225A3BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a419dd7ff0f3d465e478a0d405d767ee1f50956e","datavalue":{"value":{"entity-type":"item","numeric-id":917543,"id":"Q917543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377635$11E4B274-6BA5-479B-9211-E6149B65ECAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61570cd8a84c66d9da31c716982691d649f58c3","datavalue":{"value":{"entity-type":"item","numeric-id":3289861,"id":"Q3289861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377635$9D4A6AC2-E2B6-413A-89BA-2683BBDDFE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377635$74234D2E-9A6A-46B6-954B-7090D4309D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377635$826769D2-9134-4B19-9793-6FAD56FE0C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377635$DD867B5C-6D65-4099-BF63-F178CC5701E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d306e4da264d35b1ab5a1737fca00278599a9a6","datavalue":{"value":{"entity-type":"item","numeric-id":5823357,"id":"Q5823357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377635$D85B6C42-AABD-44CC-B334-E6AB40CA6EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5685086f5545b11feb503e494df84b9a2909d94","datavalue":{"value":{"entity-type":"item","numeric-id":5829023,"id":"Q5829023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377635$9F321BD3-81D5-40D7-9596-3E9AC7E56729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377635$1824FF5F-9B43-4CD4-8C91-A1BC4DF56C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b82a19190ac54ccd87a58918a70a29fe1833a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4090322,"id":"Q4090322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377635$5FB1F3FE-8747-4DA0-AE51-61A9A25A3E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377635$86DDDB61-FAC0-4EAC-9189-A2815605938E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d015bf66ce015cee3057803eb53bbbff4743d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4737892,"id":"Q4737892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0bce2602f750261a248f209216add831a9ecac0","datavalue":{"value":{"amount":"+0.7918375134468079","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":"Q1377635$9ED41701-2DF1-4D13-85A3-01FBD755E2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"531c8206aaa8f78ecab67f0fa70c9e7b676163cc","datavalue":{"value":{"entity-type":"item","numeric-id":4362730,"id":"Q4362730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b6f04f870522c0cdd2e5083cb107eb5c6f4940","datavalue":{"value":{"amount":"+0.7531389594078064","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":"Q1377635$674D2E68-8776-46E2-BFD9-869070A6A5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"842ff0ee7160b562ba36ca57e7a9bb728133f236","datavalue":{"value":{"entity-type":"item","numeric-id":671516,"id":"Q671516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8b130653f464916a9d02b1b651b4d073f1338a","datavalue":{"value":{"amount":"+0.7507315874099731","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":"Q1377635$74F6EA7A-44A9-4C80-9A46-AE6C24FF99F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ehrenfeucht games and ordinal addition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ehrenfeucht_games_and_ordinal_addition"}}}}}