{"entities":{"Q1206793":{"pageid":1217542,"ns":120,"title":"Item:Q1206793","lastrevid":70286319,"modified":"2026-04-13T13:44:37Z","type":"item","id":"Q1206793","labels":{"en":{"language":"en","value":"A short proof of R\u00e9dei's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150442"}},"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":"Q1206793$30B831EF-3169-4CB4-8816-BCD99C5F2B6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11163e2a385b90e703596101b727bb255dfd050a","datavalue":{"value":{"text":"A short proof of R\u00e9dei's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1206793$975D3DEC-1E0B-49E0-BDDD-81573943DAD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85e98fe17cab1d2b58bf708cc21043804b4039f3","datavalue":{"value":"0821.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1206793$62757DFE-2AB0-4FC0-80E2-27A3BA7D1A8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dad575e747d3d4346dc1ecff8dc8e368d3b4d851","datavalue":{"value":"10.1007/BF02573555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1206793$1E2938BA-4380-48EE-A01B-387CB6D767AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1206793$2EF382A4-EC58-4B35-8E52-ECC1422E35D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1206793$5F941AA2-E844-465A-B4FE-BD61520AEE5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75663583ef91489163ba738740a4fefb0899a97b","datavalue":{"value":"https://eudml.org/doc/135221","type":"string"},"datatype":"url"},"type":"statement","id":"Q1206793$05ADE1C8-AA3B-4840-AA23-7C4174B324FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d1c08605636cf8803d726e12ff8ad6822e0e237","datavalue":{"value":"R\u00e9dei's theorem states that the congruences on a finitely generated free commutative semigroup satisfy the ascending chain condition. The first short proof of this theorem was published by \\textit{P. Freyd} [Proc. Am. Math. Soc. 19, 1003 (1968; Zbl 0191.01703)], it was based on the Hilbert Basis Theorem. The author's proof is based on \\textit{L. E. Dickson}'s theorem [Am. J. Math. 35, 413-422 (1913; JFM 44.0220.02)]. The author mentions two other short proofs of R\u00e9dei's theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1206793$6ECEA7C9-B73F-4E1A-AD6B-363FA4D6D130","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c4beddb8c3a397ec1a32cde4ab4efaf5dd75967","datavalue":{"value":{"entity-type":"item","numeric-id":175797,"id":"Q175797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1206793$A9E2A736-8E13-4DB1-ACD7-375E196E80E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1206793$66B9C4D8-0BAF-4068-BBB8-2FF5A1FD8712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1206793$BC9C5454-6298-43E6-9CEA-5C5B1302AB8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3660fb7358e12f99e315ccf04419b3c8a0ec456","datavalue":{"value":"150442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1206793$CC78878D-8342-45EE-B027-A8D3B382B12E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1206793$9875E597-9317-4159-8B90-FE43FF5C2C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c129521d3b3c6333a77172d14ee57bd8c63a58e","datavalue":{"value":"finitely generated free commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1206793$17BB9523-EF48-4CDD-8938-51880AA00097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b363681995ec91d696ee5bff98742f4fbe5edf78","datavalue":{"value":"ascending chain condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1206793$27A8BDCB-F870-4361-98EE-9FE0A67B9C40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80c342b2a7ae633fce92ccff27233ca6637f2725","datavalue":{"value":{"entity-type":"item","numeric-id":172575,"id":"Q172575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1206793$E617CDDF-98E3-4D77-8B91-2FB3FA1B1586","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":"Q1206793$F5DBE37F-CECF-45D7-8BFF-582ED8612DFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f13bc42597303a7936410421a6d7774a430775","datavalue":{"value":{"entity-type":"item","numeric-id":5584586,"id":"Q5584586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1206793$EE2FA03D-FD93-4C75-A426-FE23743D9C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308759ac705132587b3213c202b9009c33f96b3c","datavalue":{"value":{"entity-type":"item","numeric-id":5331568,"id":"Q5331568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1206793$EE3C2D24-4828-411D-9E4A-4CA183AD1E46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5cebee618fcd730e6cd5384878d2945d2dd8ff","datavalue":{"value":{"entity-type":"item","numeric-id":4010085,"id":"Q4010085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d6a2c4179e1805dc6ed71efb7e619439bff51fc","datavalue":{"value":{"amount":"+0.7629848122596741","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":"Q1206793$2C25EC59-350C-456D-9250-6379999A382A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaac948cd6fe217b1b027c7bd737346d8d31394d","datavalue":{"value":{"entity-type":"item","numeric-id":4286315,"id":"Q4286315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182ef8b91db2148f83e1e8135303dcf2668ed28c","datavalue":{"value":{"amount":"+0.7623661160469055","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":"Q1206793$1F8AC6A8-7052-489B-9C44-7398C45DD558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95ac35d1cda56a24c0ca99a9fe22ab519859bd3","datavalue":{"value":{"entity-type":"item","numeric-id":1262950,"id":"Q1262950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d552d121216bf42a138501097aabdf8e0fce0c","datavalue":{"value":{"amount":"+0.7453930974006653","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":"Q1206793$CEFA5CA2-94A4-448E-892D-059695884333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d720402d385ecbbf6a2771159e5685209b8c66","datavalue":{"value":{"entity-type":"item","numeric-id":950294,"id":"Q950294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"072330bab92671f88e8c4d3d5a2988b1541409a2","datavalue":{"value":{"amount":"+0.6913988590240479","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":"Q1206793$D316D3CC-2A67-419F-B3A0-ED4D035B1740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e346b33b8a221a1f8047c5ef66e2ef561b072899","datavalue":{"value":{"entity-type":"item","numeric-id":1865687,"id":"Q1865687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383732c3a286845658a3e02286b5bf977ca5abe2","datavalue":{"value":{"amount":"+0.6896893382072449","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":"Q1206793$982B74DF-7425-4BD7-BBA0-AB37CDB90B21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A short proof of R\u00e9dei's theorem","badges":[]}}}}}