{"entities":{"Q1732807":{"pageid":1743548,"ns":120,"title":"Item:Q1732807","lastrevid":57516237,"modified":"2026-03-31T05:59:01Z","type":"item","id":"Q1732807","labels":{"en":{"language":"en","value":"On optimal representatives of finite coloured linear orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7041567"}},"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":"Q1732807$15353A49-6373-467F-A704-E526EA31C270","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1df40cfa6d50fb3ec16f19ff108cd57f962695e6","datavalue":{"value":{"text":"On optimal representatives of finite coloured linear orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1732807$0BD2E2F2-8CD1-4F38-8348-7B99E7AC4A2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c8d62dede56837db5969c19142901b51e8fa4af","datavalue":{"value":"1444.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732807$B86DA6A5-3CA2-49A2-BFC7-7C8ED008FAD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732807$558D27A6-18B6-412C-9547-25AB0E262B44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfc89e0691971f150a056ea0f5818e0095a2cc76","datavalue":{"value":{"time":"+2019-03-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":"Q1732807$4D815616-3890-45EE-B573-AEF96DA3056F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7aaba4f4b6f8fbd5433b2c447ab4567124c686e2","datavalue":{"value":"https://arxiv.org/abs/1705.04632","type":"string"},"datatype":"url"},"type":"statement","id":"Q1732807$D25B94D8-1BA6-4BF2-9ECE-8091B0037236","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa4397dac65cbf5437c891aed17750a7748d88b7","datavalue":{"value":"A colored linear order \\((A, <, F)\\) is a linear order \\((A, <)\\) equipped with a mapping \\(F: A\\to C\\) where \\(C\\) is a set (of colors). Two colored linear orders are \\(n\\)-equivalent, written \\(A\\equiv_n B\\), if Player 2 wins the \\(n\\)-move Ehrenfeucht-Fra\u00efss\u00e9 game.  Starting with a finite colored linear order \\(A\\), the paper describes how to determine if the \\(\\equiv_2\\)-class of \\(A\\) is finite or infinite. The paper gives an algorithm to locate an optimal (= smallest) member of the \\(\\equiv_2\\)-class of \\(A\\). The algorithm starts with a colored linear order \\(A\\) and successively removes pieces, retaining \\(2\\)-equivalence, until an optimal colored linear order is found in the \\(\\equiv_2\\)-class of \\(A\\).  One consequence of the algorithm is that, if \\(A\\) is a finite colored linear order, then there is a \\textit{suborder} of \\(A\\) that is an optimal member of the \\(\\equiv_2\\)-class of \\(A\\). In the final section of the paper, the authors explain why it may be that a finite linear order \\(A\\) may not contain a suborder that is an optimal member of the \\(\\equiv_3\\)-class of \\(A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732807$E15D12DC-AE6D-4AF7-B036-22760DEA592B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732807$6FA0EB15-CF89-4320-9FDD-8FD9DA749127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732807$29A9BD00-7406-421F-9568-4941474B80EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67ce494813b339a7672d403ab139653e2e55227a","datavalue":{"value":"7041567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732807$E2E9D500-BCCD-46B8-83EA-104FD00ABE78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e94574d3372070eac5af469ac26001b5869d05d8","datavalue":{"value":"coloured linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732807$B8AD145B-4631-465A-81FB-9451D7B80E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb06b3c61aaaeefbd9a6ae48efc57ee7c0a288a5","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 game","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732807$336B1AEC-CFAD-483A-B9E0-2C1116B99A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eee9f8cac159f4b604f03b13d7394d565afb59c","datavalue":{"value":"optimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732807$BC4A0F90-E337-4511-A5AC-743FC0E3F756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f12eb165bd6cb53df1cbde83765cb1c65a6033d","datavalue":{"value":"classification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732807$E994AD26-A9D4-4133-A164-0D18573670E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f281bd982894a5050a7a06ec89df99eb835649d5","datavalue":{"value":{"entity-type":"item","numeric-id":651419,"id":"Q651419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732807$612168F1-2CE0-4077-98E7-2B3413A2EED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35fb3eb7a1147d357f99c266e6deda806ba8a90f","datavalue":{"value":{"entity-type":"item","numeric-id":404460,"id":"Q404460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732807$F45A222D-99B7-4740-8F28-76A8C5A49437","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"deb95c6597eb3e9658b0806695ab69531b4d8e03","datavalue":{"value":{"entity-type":"item","numeric-id":331016,"id":"Q331016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732807$F1B5C553-65E8-4B3C-AA16-8CEF9A70E8D6","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":"Q1732807$BEAE2B04-0C58-4D04-BCF0-3962DF229B72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ae52f31bf905cf55ff5ba38365ff0e5b1d8f3ff","datavalue":{"value":"W2963596194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732807$310016B6-7681-460A-847C-8D23622F2885","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"245bc92d4de1ee5026ebba309b74cd0055edcdf7","datavalue":{"value":{"entity-type":"item","numeric-id":651420,"id":"Q651420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732807$6C5FD07F-7D30-43DB-B8CF-A961728883E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3facc00ee69da9d268a4de6e13007cc42dee4a6","datavalue":{"value":{"entity-type":"item","numeric-id":2636521,"id":"Q2636521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732807$B6C89597-2F87-4BBA-BBFF-9BAC3F270273","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"011677e24805cc1844938bf5daf0f763e99d53cd","datavalue":{"value":"Q129889457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732807$E743E874-4833-4A7D-BAFB-B07091D51A96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bea0da9838307d9651c46944654141a49bae45bf","datavalue":{"value":"10.1007/S11083-018-9458-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732807$1E551F7A-E3A1-498E-AE06-2C468CACB518","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26395822ea48f9ad684b85bf810b0344a38a913","datavalue":{"value":{"entity-type":"item","numeric-id":2636521,"id":"Q2636521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"407625e530b10ff6cd3e47607c51b0434aab4d57","datavalue":{"value":{"amount":"+0.8527877330780029","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":"Q1732807$1D8FE65F-531A-4A7C-BA0B-450811CE5F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8672ef8e9d6ade3db9eb43fcf25052b91da3df","datavalue":{"value":{"entity-type":"item","numeric-id":651420,"id":"Q651420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b85499ff6947c236dae685d5e8f04e9d8c2ec1","datavalue":{"value":{"amount":"+0.8487723469734192","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":"Q1732807$D1FB917E-3EE6-419A-85C7-E080ADC18ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd53e2991258c03810c5a6f8b0c6d17d1d16d9d6","datavalue":{"value":{"entity-type":"item","numeric-id":5107217,"id":"Q5107217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54bcc60afdd86eea26f714d0a763968935c3e1f3","datavalue":{"value":{"amount":"+0.8464930057525635","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":"Q1732807$9E49A25A-FC69-4D91-B183-4C58541C1684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d15a8a10c4cefe50f6987a09ecca3753483d9606","datavalue":{"value":{"entity-type":"item","numeric-id":964492,"id":"Q964492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd95971554f7c74d3a5cde700c9026e812f4d284","datavalue":{"value":{"amount":"+0.7678589224815369","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":"Q1732807$E90D94C8-9358-4FE7-99F9-0934B54F81DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"035a131370e2878ca1ca20803d88c7e3d3d1603c","datavalue":{"value":{"entity-type":"item","numeric-id":636279,"id":"Q636279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d4baa2751852a64715e0a02d8fb8c811deae68","datavalue":{"value":{"amount":"+0.7647340893745422","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":"Q1732807$1E2D324B-6E6C-4B3A-9A30-5CD12E733845","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732807$4AAC9546-6F64-438E-A97C-D4AC63B3DB4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1732807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1732807"}}}}}