{"entities":{"Q5156470":{"pageid":7186041,"ns":120,"title":"Item:Q5156470","lastrevid":94374266,"modified":"2026-06-05T06:38:47Z","type":"item","id":"Q5156470","labels":{"en":{"language":"en","value":"On the existence of small antichains for definable quasi-orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410399"}},"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":"Q5156470$EF10C453-38EC-49E3-AD53-A4000FFEEE13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35c3845de8bb04773650c65989d994863669d28b","datavalue":{"value":{"text":"On the existence of small antichains for definable quasi-orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5156470$CD2B18B1-5EFC-4C87-9EEE-E26FA8B808D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8be326741eab0ce18a83b94cb2b1c10bae8109d3","datavalue":{"value":"10.1142/S0219061321500057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156470$DADBBEE2-7022-406D-A8B0-8B30D957DE4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc7db2bcdde7452ccea736c2eaf92bdcb9a7b10","datavalue":{"value":{"entity-type":"item","numeric-id":890014,"id":"Q890014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156470$E33D0202-FBFC-4936-8465-1E94F30D52BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f44e7932de279a6113688c2325c7c8d92ad95e51","datavalue":{"value":{"entity-type":"item","numeric-id":329488,"id":"Q329488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156470$114D3528-A17E-4C62-9542-4CA05C7D7BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acf039809f26afe5c64b0c968aa21c07bf348cd8","datavalue":{"value":{"entity-type":"item","numeric-id":321749,"id":"Q321749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156470$2028D064-88CA-44D4-9325-0EE32AE89487","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156470$3ADDB38C-268B-423F-AE26-AD329CFBA353","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5156470$70B2ADE0-C5CC-4278-9834-F87547A959A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6707bc37a858cef8a6ea3a00e238018db7818df0","datavalue":{"value":"https://arxiv.org/abs/2002.06433","type":"string"},"datatype":"url"},"type":"statement","id":"Q5156470$3B1026C8-0182-4ACF-A3E4-FECFCC533EFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156470$3B9064CD-93E3-4D43-96B7-909AFB945126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f10a8c2218f37e16920ada947854b8ed3009189","datavalue":{"value":"28A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156470$1AD4E41C-9078-4BB1-A354-51AA22C8F878","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee80385693ae8ca36a73e7a68fdad42b7e870afe","datavalue":{"value":"7410399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156470$852BFA19-8A7D-43D1-B759-C25FBD818763","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c12533e1406e33816856813f8ebf55f6f74c69","datavalue":{"value":"antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156470$CCD6E677-D889-4152-8881-3D3DBE7BCEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b43ae0f190acb8d132b00fab08bb35283981fe","datavalue":{"value":"chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156470$99648C64-417F-4081-A0C6-A5FFF9DE2A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f3dd94727fb5d9b65744e181562a147b2dfe9f","datavalue":{"value":"definable","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156470$AC57F4D1-B15A-486B-AD1D-3FF160875231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b987be565609a99f8666695ba29384cff98521a9","datavalue":{"value":"dichotomy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156470$F78DBF54-5E18-4917-9D95-EB05AF64B91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a65de5e3f720ac9040407ad119835e9c917b6adf","datavalue":{"value":"Dilworth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156470$C0D97BE2-215C-49CB-A99F-B5051D10C1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5058b1e1a86c7c1adb37dc5cf7ffe28ec77954e9","datavalue":{"value":"quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156470$B0BA3142-A205-4AAF-A890-5D2691F88B2A","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":"Q5156470$335441ED-C1A6-4016-89B8-5BBADEFC6532","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"007c64cb1e51e420a82b1528582743678952b922","datavalue":{"value":{"entity-type":"item","numeric-id":2648578,"id":"Q2648578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156470$24BB59A5-FAE1-4F37-9B6E-9FE6B926334C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0b857bb8691e14a46ba9fc6848954e11f66c12","datavalue":{"value":{"entity-type":"item","numeric-id":3607631,"id":"Q3607631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156470$62438759-0327-4EB5-9E85-24A1F6DBC5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7eb15f423faa36d0569ab8291b56f8dd2293e6","datavalue":{"value":{"entity-type":"item","numeric-id":4805123,"id":"Q4805123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156470$7369840F-C154-4B90-8910-9A7D7B6BA814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b2ac7b6230a46b400acf194d77bd156c8cef52","datavalue":{"value":{"entity-type":"item","numeric-id":4365477,"id":"Q4365477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156470$F6C6F0CC-8061-417E-8D2F-0CBFEE18AD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156470$1B8C8FAE-6ED7-440A-A1CE-720C0ABE5F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fa1f5daba5a8c60531f24dba8b86c584b7a86a","datavalue":{"value":{"entity-type":"item","numeric-id":1279827,"id":"Q1279827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156470$958B6B0E-4915-425D-B3DA-17F6BA90442F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed9820fe595068171d3303f952602edcf942c04","datavalue":{"value":{"entity-type":"item","numeric-id":639663,"id":"Q639663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156470$96FA6356-8B26-4E3D-8360-0F4C5D428213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99262833ce3d4ebc203556bff625ce4b3cfe002","datavalue":{"value":{"entity-type":"item","numeric-id":5107221,"id":"Q5107221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156470$41B3A233-CB35-4CEC-A061-9FCC2282B764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f0c3549d5b8155ce7e1ff13ae07abb3b6da851","datavalue":{"value":{"entity-type":"item","numeric-id":5322161,"id":"Q5322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156470$9292F61C-19FA-41C4-8374-B53905264A70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e57e6b22bb7630691862ad3fd736619a64ecb4fc","datavalue":{"value":"W3047053764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156470$240A115E-9C26-4226-A946-5E40CD215FB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"026a59fe2063af0ea89160b9c6a81ce9f78f95c1","datavalue":{"value":{"entity-type":"item","numeric-id":5107221,"id":"Q5107221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e977f721a74bce1a680f3f4c0787b629e352685c","datavalue":{"value":{"amount":"+0.8456776142120361","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":"Q5156470$FEFCF7CD-C551-4030-9FAA-CA338C389522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7c8037dab4057795ce3d08b2340bfdb6fa3ccab","datavalue":{"value":{"entity-type":"item","numeric-id":1850501,"id":"Q1850501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d6d991849fe2f4af06ae756eb64ddea8e9bae7","datavalue":{"value":{"amount":"+0.7438294887542725","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":"Q5156470$A34638A4-1724-4800-A160-3E38C4897311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6da7b88b6a8881aecde0c3040085a860dea0d43","datavalue":{"value":{"entity-type":"item","numeric-id":1011785,"id":"Q1011785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c279c2ac91b6f59d42f23fcefb6595698ab2f223","datavalue":{"value":{"amount":"+0.7395697832107544","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":"Q5156470$B61F2B57-4F77-46F5-B9C3-2C1A5C5552BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5fc901c01b04d07d503cf7373ec9197fcc682f0","datavalue":{"value":{"entity-type":"item","numeric-id":1863070,"id":"Q1863070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a36304bb197e8e1e03b8128e046d9c32256d65","datavalue":{"value":{"amount":"+0.6966338157653809","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":"Q5156470$0BD38763-EF88-49B4-8621-998EE1E16054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc99b30f238e3a317614b32fad30fdd2f04ddba","datavalue":{"value":{"entity-type":"item","numeric-id":1093655,"id":"Q1093655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747417f7cb0d1c510c9db61646932ce1562b0796","datavalue":{"value":{"amount":"+0.6918531060218811","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":"Q5156470$02157D26-1D04-4F96-BD22-8F1C517DA4FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the existence of small antichains for definable quasi-orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_existence_of_small_antichains_for_definable_quasi-orders"}}}}}