{"entities":{"Q1328393":{"pageid":1339143,"ns":120,"title":"Item:Q1328393","lastrevid":67180224,"modified":"2026-04-12T15:50:21Z","type":"item","id":"Q1328393","labels":{"en":{"language":"en","value":"Linear programming in some Ramsey problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 599869"}},"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":"Q1328393$03B7975A-A124-4176-A68A-33FEEE1020A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab409b66717433e2a001219f49b1e90afb3ed506","datavalue":{"value":{"text":"Linear programming in some Ramsey problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1328393$6B72184E-FC06-4E34-A3CA-BA782FB421FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da97b6e0eb766363b084d063cfcaee4ac0a10706","datavalue":{"value":"0811.05047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328393$7742E710-A6F1-4848-A038-57C36C03241B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1403ba2329d01342b14877134db8b1177d2823a","datavalue":{"value":{"entity-type":"item","numeric-id":168496,"id":"Q168496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328393$5662823D-5A95-43B9-B4C4-67598F23BC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b407a0079d2053b1888e0d3f841e6710d7a1ac63","datavalue":{"value":{"entity-type":"item","numeric-id":1010890,"id":"Q1010890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328393$996075E2-07A6-4C59-A61C-2636DB83479A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f07f6fd6d97bd24ff86249abf8a501d3b63b437d","datavalue":{"value":{"entity-type":"item","numeric-id":256978,"id":"Q256978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328393$014B7764-9803-40BC-983A-60DC2D3EF829","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8970575efa911c78f87b7cfaf51060ecbe95218","datavalue":{"value":{"time":"+1995-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1328393$F5CD569B-21D0-4811-8C8B-85920B44DF96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36dcf7b14c159cbd34ebd5a6c587e949f33c12f7","datavalue":{"value":"https://semanticscholar.org/paper/56003cd106fddbbc40513381ff4033e1cc351067","type":"string"},"datatype":"url"},"type":"statement","id":"Q1328393$47A504E1-D323-460D-8AE3-AC02B3544FDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c6e887fa39c12244669d122509ca4f9a9b02bc8c","datavalue":{"value":"By using some graphical algorithms and solving large integer linear programming problems the authors obtain the following new upper bounds for some classical Ramsey numbers, namely \\(R(4,5) \\leq 27\\), \\(R(5,5) \\leq 52\\), and \\(R(4,6) \\leq 43\\). Their approach to the search is outlined in the paper. They also note in an addendum that by improving one of the graphical algorithms, they can now verify that \\(R(4,5) = 25\\), \\(R(5,5) \\leq 49\\), and \\(R(4,6) \\leq 41\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328393$43FEF7CF-F164-49E2-8A36-655D614049B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328393$1A8C9375-73BC-4740-AC01-3E13384839A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328393$32FD573D-8391-4EDC-8A7E-086F7019AF9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"311a77fca83ca5b6bc5c239165eac1dbd560ceee","datavalue":{"value":"599869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328393$C13B7B97-A802-46B5-B6BB-63FEC350499E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e89a6e5dcd9d75930dab0804d65f5e9780bef8c8","datavalue":{"value":"Ramsey problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328393$4490172F-F94F-4D80-98DB-0D16F717C2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328393$89108C42-D6A6-400C-9279-D6ADA76CB792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed5607bcf9ea8dfa99691a6445086cfefb466c73","datavalue":{"value":"Ramsey numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328393$8D74C3E5-12F7-41DF-A1F0-2C64579E824B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e949e999655239ac9ec4d9f8c16e1357e2ffe9b0","datavalue":{"value":"graphical algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328393$3F2652B8-FE36-47CA-9FB2-460BB16F8471","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"69ba710ec323ba2b1e2239c5bdd6e4165b935d93","datavalue":{"value":{"entity-type":"item","numeric-id":175582,"id":"Q175582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328393$294CB8FB-08F0-44D6-804D-ABDD39F7A90B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58012661cd5902d08c1d307a106ffc22f40d0c6b","datavalue":{"value":{"entity-type":"item","numeric-id":13366,"id":"Q13366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328393$2A0B0430-A5D2-4DB7-9864-17A253FC7D71","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":"Q1328393$1E61CF59-7199-4855-B998-01E60490D6E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"204a4fce1a07e074e451e6c28efeeb8375ea6b46","datavalue":{"value":"W2065441469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328393$94FAEEBF-43F0-48CD-8DF2-EF1B4C576431","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57682efa9bd9c2e7dbfc94670162e17dcda90815","datavalue":{"value":"10.1006/JCTB.1994.1038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328393$747CBB4D-99EB-4804-9C18-31AD1579CE75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b53d0fba83210c462fd21e323d4e35a86b4c6b9","datavalue":{"value":{"entity-type":"item","numeric-id":1386552,"id":"Q1386552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f5366b0703399eac93a61657b0e7b2bf39351a","datavalue":{"value":{"amount":"+0.8200668096542358","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":"Q1328393$3A3FA99A-4B45-4739-BF7C-5186EE55E182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42add70aaf837baeac3415f441479d3534eab432","datavalue":{"value":{"entity-type":"item","numeric-id":3976613,"id":"Q3976613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676883e4a6b18b0123aa0ac117b12b6946dbe8d4","datavalue":{"value":{"amount":"+0.8195127844810486","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":"Q1328393$3C35F51A-5860-4E49-B029-9C3E475F39C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ced687e8d301cb54a661e76dd058970da7e79f5","datavalue":{"value":{"entity-type":"item","numeric-id":3119345,"id":"Q3119345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4511e24d576751f9340e1d2544d7de7842dca5c5","datavalue":{"value":{"amount":"+0.816175639629364","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":"Q1328393$98858605-4AF1-4328-B8DF-BC4C401F30BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b135dbee847f18b1c14f4bd7dd21e759e38fd5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5163505,"id":"Q5163505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59b24853bc98b0f8fbfe13dd8f390a094c7627e","datavalue":{"value":{"amount":"+0.812821626663208","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":"Q1328393$03B6785B-41CF-4877-BF13-ED96B6879E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6a6274faf780b3b0944340edfd9e49e6932ae1","datavalue":{"value":{"entity-type":"item","numeric-id":2057608,"id":"Q2057608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed5b6dc4eb34261bcdf05029749db19ee4852ef","datavalue":{"value":{"amount":"+0.7978043556213379","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":"Q1328393$9862AF97-147D-4A3F-8166-69B9CB30A258","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear programming in some Ramsey problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_programming_in_some_Ramsey_problems"}}}}}