{"entities":{"Q2183104":{"pageid":2193847,"ns":120,"title":"Item:Q2183104","lastrevid":53739644,"modified":"2026-01-25T15:40:42Z","type":"item","id":"Q2183104","labels":{"en":{"language":"en","value":"Fixed point property for finite ordered sets that contain no crowns with 6 or more elements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204030"}},"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":"Q2183104$C77F8CB7-141A-4025-93BA-030DAEF203E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2091b7119c8c9bb619f06aaea025c361d5edfdd7","datavalue":{"value":{"text":"Fixed point property for finite ordered sets that contain no crowns with 6 or more elements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2183104$9E21C834-331B-4AD6-AD7E-2EE5A1550B46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb9a9a76e2df702341495877c8b95e94a10fc985","datavalue":{"value":"1455.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183104$93F4174E-3347-40B0-B04C-06D2ECD5DE9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183104$0C6FFD2F-155A-485C-8153-4E380EE0C167","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":"Q2183104$096FC3D4-B149-4889-818A-CB10C6DF7106","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-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":"Q2183104$CD5529FD-2841-4B77-9FAA-7EE7926784BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e408fe9a70a3a669f2754693d2cb42f93e75eeb","datavalue":{"value":"A poset has the fixed point property if every endomorphism has a fixed point. The problem of determining whether a finite poset has the fixed point property is co-NP-complete. This paper proves that the problem of determining whether a finite poset which omits crowns of six or more elements has the fixed point property is in P. This result is established by first proving  that every finite, connected poset which omits crowns of six or more elements either has  (i) an element of rank one that has a unique lower cover or (ii) a retractable minimal element.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2183104$50F8F5E8-CE22-4C18-949D-65CCB4D23EF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183104$E645105D-18F1-4E10-9B51-48194373D90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183104$9159E2C0-8F96-434A-80DC-B173AE5D2897","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50b9864c0eff1a2794bf0c1350083c9ac358b5d7","datavalue":{"value":"7204030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183104$31F0D7D9-8E42-44F3-B720-E154A7CA27CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b4012ccbdab023048a01bfc8f94bd23553d1d4","datavalue":{"value":"ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2183104$4BEBB7EF-FF43-4DD3-B8C2-15CEFB329C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4af3e573c37512545d4dd2737c896674104b5c","datavalue":{"value":"fixed point property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2183104$F0756BFD-7CD4-47F6-8EA6-B9B5749FBA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"683c65c219546db747404254689c03c5c9539d43","datavalue":{"value":"crown","type":"string"},"datatype":"string"},"type":"statement","id":"Q2183104$B3406574-467A-4D25-AFED-A50FD20C2343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63bc93ce0fef9833650a2e74480b1a984e208699","datavalue":{"value":"irreducible point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2183104$97F9E10E-4EF0-4A53-9CF0-6005E82EF2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cf681b0a5194cd5d8ec8d613c66274512ba324","datavalue":{"value":"retractable point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2183104$890EAE13-D85C-4C4E-BEA1-8D886E1B5AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"822c102de6b547dd93d16d110c010ca10dc21c0c","datavalue":{"value":"d2-collapsible","type":"string"},"datatype":"string"},"type":"statement","id":"Q2183104$FC00C69B-C181-4506-9CB5-9FAC59C7A9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d36082c071c5fe18cfa934d116978f661918900e","datavalue":{"value":"dimension 2","type":"string"},"datatype":"string"},"type":"statement","id":"Q2183104$D41BFC71-DB89-47A1-8C71-8624CE24891C","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":"Q2183104$DDA8CFE6-A738-4E83-9539-2311C72FC230","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":"Q2183104$1F306966-5183-4641-8CB6-C0AF5960F7B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8519b64dd61dc502e95ca5ea52235b3b65b5945","datavalue":{"value":"https://doi.org/10.1007/s11083-019-09498-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2183104$5DDF06B2-4164-49D8-80F1-CA16AAC4F15A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7d76a4266b11d0a5bf5dfa787b1bac4a13a2263","datavalue":{"value":"W2952684113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183104$DAD62BB9-20BB-456D-A983-9FFF00482C1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3214aee1d049074b27a0c0a8ef67ccb7906135","datavalue":{"value":{"entity-type":"item","numeric-id":1970702,"id":"Q1970702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183104$8ECA5E61-6A8A-4184-823E-F47C4818BF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc9fe6431b9be33110b845261fd1d8cbd08a6cc","datavalue":{"value":{"entity-type":"item","numeric-id":1354627,"id":"Q1354627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183104$1659390D-DC59-4077-ADDC-0DC1BD439C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c86a1fee4ef939da78a615fc38e00b5c1e25da","datavalue":{"value":{"entity-type":"item","numeric-id":1338127,"id":"Q1338127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183104$FC631453-43E9-4E1B-948C-29BE5321379E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed1a01bb67787a88cc8203d292599678224c26f","datavalue":{"value":{"entity-type":"item","numeric-id":1095161,"id":"Q1095161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183104$593162AE-EA68-421F-B906-CBD2877DABAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5439037e61b198cb10638d2b45e76e5726de925c","datavalue":{"value":{"entity-type":"item","numeric-id":1354637,"id":"Q1354637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183104$970CD8BF-7602-4F1C-B87F-24F697393EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed21f888f14c6cc1fdddcc4e2f57a629d62c94e","datavalue":{"value":{"entity-type":"item","numeric-id":952633,"id":"Q952633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183104$05537F61-E665-4EE4-BF2B-CBF72C33C33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4b3eac329ee6ac41ab3199c35f3cfbba051791","datavalue":{"value":{"entity-type":"item","numeric-id":1237994,"id":"Q1237994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183104$48092933-691D-42C1-927D-0D4A1C0D2EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba16517910bb3816ee5459b335e037b18e0fc334","datavalue":{"value":{"entity-type":"item","numeric-id":1319082,"id":"Q1319082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183104$2B1863E9-7A9B-4265-8C48-756C96404D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f8b8c1c67ae4af2ec1e3bdb19e7ab39adf11dd","datavalue":{"value":{"entity-type":"item","numeric-id":2796232,"id":"Q2796232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183104$63F53DD2-3551-4DE4-8AB8-C8DB88F9BF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6003cabaa18e2b916b4e96e7307c0fcc70623092","datavalue":{"value":{"entity-type":"item","numeric-id":2407685,"id":"Q2407685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183104$D92AEA50-AAE5-4BF6-91EC-2A22613804C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fcfd47c3fe9e0f097b76c7c78a15869fd96ffd9","datavalue":{"value":{"entity-type":"item","numeric-id":4004146,"id":"Q4004146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183104$1DB6B6E6-9A8B-42D7-B97C-6B326F4B5E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21eebf0e461a6d069a5bfa29a8696ad299227e6","datavalue":{"value":{"entity-type":"item","numeric-id":651421,"id":"Q651421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2183104$6384DF91-F56E-49A4-B894-F38A3F4FA9D1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"54a8ec26e7ce8d8eb3d22754e633ed38f2ad114e","datavalue":{"value":"Q127735007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183104$D03AF534-CA8B-4476-8693-ADEB4E2EB3B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1e9bd19e0ad0bdcb9f64b11a657a345fc1b07a6","datavalue":{"value":"10.1007/S11083-019-09498-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2183104$D18619E1-FD74-4057-A608-06376BD2D10D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43b00ddd30ce52eafa11d29b1aa2fb60b4d65b7","datavalue":{"value":{"entity-type":"item","numeric-id":651421,"id":"Q651421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"019b9067b0d7dc56bfa66a03857a1f50773cf11d","datavalue":{"value":{"amount":"+0.7890437841415405","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":"Q2183104$2F201CE5-DB61-4C5F-B9D0-995F9A861B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7dab45deaa6ad911151b8b92c12803b31969df3","datavalue":{"value":{"entity-type":"item","numeric-id":3722547,"id":"Q3722547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6666d75f30d48787ac55a3500ebe6efaa7a69aa0","datavalue":{"value":{"amount":"+0.785805881023407","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":"Q2183104$8E7A45E6-4552-4A3E-9B27-211119548020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7199b6be4ed4a550657295e788bea8873f40de52","datavalue":{"value":{"entity-type":"item","numeric-id":1262328,"id":"Q1262328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12eb11315e0a97c500a8e946f9e42c568e6c920","datavalue":{"value":{"amount":"+0.7806175947189331","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":"Q2183104$2ABA0A4E-CA72-451F-ADB3-6AB7B596235D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d1181828547171a17af6aa31e85df993c8f321","datavalue":{"value":{"entity-type":"item","numeric-id":1927945,"id":"Q1927945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68ca3cda9665f35aa64ae50d3066c79158d6da0","datavalue":{"value":{"amount":"+0.7742319107055664","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":"Q2183104$BF42A460-6EE3-4282-958D-2630AD833B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dece94ed11a0b0be4d6b247ad03016a6c270cc62","datavalue":{"value":{"entity-type":"item","numeric-id":1095161,"id":"Q1095161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f634979c06ab43d89835969856d9da43164473c3","datavalue":{"value":{"amount":"+0.7700166702270508","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":"Q2183104$A6C25188-E9FA-4ADF-934B-86D62FE73822","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2183104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2183104"}}}}}