{"entities":{"Q986108":{"pageid":987956,"ns":120,"title":"Item:Q986108","lastrevid":65860971,"modified":"2026-04-12T05:51:47Z","type":"item","id":"Q986108","labels":{"en":{"language":"en","value":"A Ramsey theorem for structures with both relations and functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5768630"}},"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":"Q986108$C0AFADDE-6680-45F0-BE9E-CE14A9E79995","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9cd68d71f53772e027da6c69b3cb63a54c7f452","datavalue":{"value":{"text":"A Ramsey theorem for structures with both relations and functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q986108$A4B79B10-1392-4BD1-B0CD-475EBFD44F52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b44da01cd920a6a9187e85309f9fbad1a048658e","datavalue":{"value":"1247.05256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986108$463FD806-D2EA-4CBC-88E5-B6597DD50EF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986108$84457035-9058-417F-9CC0-A7A84F69C9B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20c19e2e5b7b004140db038732104ace089d52ff","datavalue":{"value":{"time":"+2010-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q986108$E1600D30-246F-4DE4-88ED-0BCCBBE3E9EC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2be609ad1128f0751842127f6d137a58e34be1d7","datavalue":{"value":"From the introduction: ``\\textit{H. J. Pr\u00f6mel} [``Induced partition properties of combinatorial cubes,'' J. Comb. Theory, Ser. A 39, 177--208 (1985; Zbl 0638.05005)] proved a Ramsey theorem for finite parameter sets appropriately enriched to form relational structures. [\\dots]     We give a generalization of Pr\u00f6mel's theorem to situations where structures have both relations and functions, with relations interpreted in a way specific to Ramsey theory. [\\dots]     The argument given in the present paper provides a new proof of Pr\u00f6mel's theorem.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q986108$C4AABFAA-9CC6-4E44-9C54-C4A7F7BBDC2D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7d410aa128a8b8a63913c9594604f4ec3d0ad8b4","datavalue":{"value":{"entity-type":"item","numeric-id":590664,"id":"Q590664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986108$376AC4D5-402C-4694-8343-A42816CC7932","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986108$F1AB0FE2-08FD-4E36-A9FA-8FC58AD80998","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f825e9637bfee00d80415bfac3f23fe58d3d809","datavalue":{"value":"5768630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986108$9B23D761-6B1C-4A7B-BE71-21147EEE6C8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f9e038ce90ce67b356cbe14c3c3f15dfb789be","datavalue":{"value":"Ramsey theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q986108$618E849F-E471-4D71-8ECD-CD35F6CBE8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06eb5b3a2e5d7322297801f7d62dc8cf940d32d8","datavalue":{"value":"Pr\u00f6mel's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q986108$8F771441-2514-479A-805B-E4306291AB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1f9cffd18fe4bc8fecd35eb209e3dd8c324b86","datavalue":{"value":"finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q986108$8D5540F2-0F94-423B-A3C4-0DFA9F2F4D1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dfdf655f4c4510ce586943d11ba9dbf60caf665","datavalue":{"value":{"entity-type":"item","numeric-id":178067,"id":"Q178067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986108$F5DD5E6F-70FA-4B0E-880A-234DD778A310","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":"Q986108$B894DAE9-9B6E-400B-89C4-9A2CC94615D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdd8c93f97fea8b79056b36572bffd8b20e20242","datavalue":{"value":"https://doi.org/10.1016/j.jcta.2009.12.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q986108$B87F5410-A22A-45C3-821D-D55DDBA9332A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"307dcd49cfb765993055fd3a5c0d0b26f67d444a","datavalue":{"value":"W1983224456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986108$0703763A-61E8-482B-BEB2-0A8696483327","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"769380f267bbf616cd5b7fe30dddc64250579454","datavalue":{"value":{"entity-type":"item","numeric-id":4172050,"id":"Q4172050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986108$7C37F316-7DFC-4484-B04B-D1472E986CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2918d9cb5848701cf4ccdc374506491b01e357b5","datavalue":{"value":{"entity-type":"item","numeric-id":4425131,"id":"Q4425131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986108$A44060A1-7683-4027-B536-3CD2252E6355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a47be09afd8db4b724895ceb8b1fadc44f71259","datavalue":{"value":{"entity-type":"item","numeric-id":5641148,"id":"Q5641148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986108$5C51A299-FAA6-4C4E-8C94-B0405FEAC632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251fa540b39a4047d1d53d78840a8780ede92f97","datavalue":{"value":{"entity-type":"item","numeric-id":2575145,"id":"Q2575145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986108$157FC95C-9CBF-466E-AE76-CC008725AB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7014eea8e2ba4d9052c08c9e0e557b227a54bc1","datavalue":{"value":{"entity-type":"item","numeric-id":4871773,"id":"Q4871773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986108$ED357209-E5F6-4045-AE14-8C99A347794D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4596ddba9f54b4d44d3d941fc0237df35d371967","datavalue":{"value":{"entity-type":"item","numeric-id":1239324,"id":"Q1239324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986108$F249818B-8376-4270-BBAE-EADE7011997D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8b6e78d87bc8759baa583c8309ccf5401b4beb","datavalue":{"value":{"entity-type":"item","numeric-id":1051640,"id":"Q1051640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986108$D57B40C8-9D45-4604-905D-CCBB694246E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d94612bd2e275646ffb2ec62f0c3f11aab8f7a8","datavalue":{"value":{"entity-type":"item","numeric-id":4211140,"id":"Q4211140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986108$3EE570EF-C2BF-4087-BD7A-E50D5F773000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12056629d1699ad07805dba67e6a1b24f416b44e","datavalue":{"value":{"entity-type":"item","numeric-id":1099180,"id":"Q1099180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986108$0ABBE355-F02C-43C2-90E3-4C3F55FEAF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c591a0a743ad90cd064509ca16087224c8ea24e3","datavalue":{"value":{"entity-type":"item","numeric-id":1084394,"id":"Q1084394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q986108$BEA114FA-6E74-4874-8D2E-7C7A5E3DEF99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd04c63f31a52ed6295cc5cdf14a3733fd53e839","datavalue":{"value":"10.1016/J.JCTA.2009.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q986108$63EDFE9A-F925-4753-BC19-6158B91801A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf19d61b49ff2b10a99c3aab3e30e4993390d4f1","datavalue":{"value":{"entity-type":"item","numeric-id":3297037,"id":"Q3297037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704e51a1fc486e0d0b14e212d425d26bf7e6550f","datavalue":{"value":{"amount":"+0.7445880174636841","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":"Q986108$A84E373C-45C0-46EA-9233-DA7CBEBF62B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f94ccc113cd83fabd733bea5377635fc2abdde","datavalue":{"value":{"entity-type":"item","numeric-id":1712518,"id":"Q1712518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84860c9e41f8ce80778fac29e3ce5cd47feeef1c","datavalue":{"value":{"amount":"+0.7391103506088257","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":"Q986108$37A2CB15-0AA0-4BC5-B1C5-83FB4B2D8D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec2e84fbb03e603a27d34c42719a2af1537b1d8","datavalue":{"value":{"entity-type":"item","numeric-id":5162552,"id":"Q5162552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d20cc2dee6eda9d34f7866e051573c21fd4acc0","datavalue":{"value":{"amount":"+0.7312815189361572","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":"Q986108$6F9A480F-E66C-411C-8DD9-9A575C844536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f418491322ca814bd8a032ff950da35deb6e91c2","datavalue":{"value":{"entity-type":"item","numeric-id":3118392,"id":"Q3118392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf50d099e2785c8acd2c2e154381a15f58f8a97","datavalue":{"value":{"amount":"+0.729908287525177","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":"Q986108$69540641-C00D-447E-A8BA-D255F37E7039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec0c57329b2049ed536fb1d2781830458bd1b82","datavalue":{"value":{"entity-type":"item","numeric-id":4686102,"id":"Q4686102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42bac3721ad7626593756409c8b16e3d98361755","datavalue":{"value":{"amount":"+0.7284694910049438","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":"Q986108$88A7B1FF-7224-446B-847A-64705112B96A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Ramsey theorem for structures with both relations and functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Ramsey_theorem_for_structures_with_both_relations_and_functions"}}}}}