{"entities":{"Q612907":{"pageid":614683,"ns":120,"title":"Item:Q612907","lastrevid":63301800,"modified":"2026-04-11T11:57:25Z","type":"item","id":"Q612907","labels":{"en":{"language":"en","value":"Upper and lower bounds for \\(F_v(4,4;5)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5827380"}},"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":"Q612907$D8FCCC29-B57D-4DCC-9255-32DF78003788","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8f0507fb215b74676494d1842696affe756ec2f","datavalue":{"value":{"text":"Upper and lower bounds for \\(F_v(4,4;5)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q612907$3289C77A-720D-4DA9-A3D4-5B60CC7A7260","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"738dbe1744a8fdb63b948785b3bbfeb6fcebb9f5","datavalue":{"value":"1204.05060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q612907$907CA0CE-7D5E-4025-959E-0A76BCF7EB92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb4b5c2e79005934f081b4274a7663b048882045","datavalue":{"value":{"entity-type":"item","numeric-id":207471,"id":"Q207471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q612907$C930FF05-F251-4F5C-B3D9-C306D3A45AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3fb33784a8532034f66844f0ba18cde982354e8","datavalue":{"value":{"entity-type":"item","numeric-id":230306,"id":"Q230306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q612907$DB696A9C-43E0-43C0-898A-3088C3C9856B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"278afd141c943c64f4cbb71c471b6812324eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":247872,"id":"Q247872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q612907$23D07800-7304-45A3-8B78-81D9E2BF26FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q612907$E003E892-CAAF-4E66-B900-50877156547A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63d0db48794e6800d8c22359b1f6c876c0e4d309","datavalue":{"value":{"time":"+2010-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q612907$7ADA6AA3-CC88-41A0-8CB4-C8D6CDD2E5EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8145b29c711b46799d6653bc04b8c1c0e33f84bb","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_17/Abstracts/v17i1n34.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q612907$E62A32BB-73A1-4262-A386-00F40B0A1930","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f050a17e942a1796a28408e0bd32c5e8f172bd0f","datavalue":{"value":"Summary: We give a computer assisted proof showing that the unique \\((5,3)\\)-Ramsey graph is the unique \\(K_5\\)-free graph of order 13 giving \\(_Fv(3,4;5)\\leq 13\\), then we prove that \\(17\\leq F_v(2,2,2,4;5)\\leq F_v(4,4;5)\\leq 23\\). This improves the previous best bounds \\(16\\leq F_v(4,4;5)\\leq 25\\) provided by Nenov and Kolev.","type":"string"},"datatype":"string"},"type":"statement","id":"Q612907$EB063EA9-3D09-4F7B-8889-635022E7E234","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q612907$CB2544D4-7A53-4BCD-9600-A00849C37139","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09f01dedc74416d2cf4054c063e55192b39d037e","datavalue":{"value":"5827380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q612907$114D8B43-E4DF-42A1-9893-B3F281E949A0","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":"Q612907$7DC8D391-64E0-4DD5-B098-C15988677C23","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"3f85854c03851fdec7772fbad2aaf4fe0debd933","datavalue":{"value":"bafkreiazvq5qo73y7rev3pr3lflpm37ylmxvsx5skryqywgejx7ks6qjzq","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q612907$ACAAA4FD-8331-4776-8BF9-2D570925A6B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dca042b368eb8954bd45e12205a15cbbc3c7fca","datavalue":{"value":{"entity-type":"item","numeric-id":4017142,"id":"Q4017142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b713fc58ee36276b6994334392792fc0649cf8","datavalue":{"value":{"amount":"+0.8053298592567444","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":"Q612907$26C83BDD-D5E1-4B3A-BCA7-20BF42A244D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"836923992a85e09e6d4ab9f255561cd2529efa03","datavalue":{"value":{"entity-type":"item","numeric-id":5133216,"id":"Q5133216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36abd2389cf2770078331302a5b43cc0da6c629b","datavalue":{"value":{"amount":"+0.8039084672927856","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":"Q612907$FA27A375-7571-4710-A242-88182A74257E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"480904b2b084c3c4b08d522423747e6b779071c0","datavalue":{"value":{"entity-type":"item","numeric-id":4698081,"id":"Q4698081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1610bddc8deb866ce166e04b0b8de19425121e99","datavalue":{"value":{"amount":"+0.8033650517463684","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":"Q612907$E7BD315B-1FBA-4AF8-8F83-FA3F1FF60338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0ae69c6d1d678cc0ea9033c962273accfd18d9","datavalue":{"value":{"entity-type":"item","numeric-id":3300687,"id":"Q3300687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4fe8c0b434e5e30e9b8f6a915e7144f3bdc036d","datavalue":{"value":{"amount":"+0.7800542712211609","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":"Q612907$444C22D7-71C6-4E49-9CAA-D54126931CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70eff5f4d1022f8529b83914baf306378c9dfa01","datavalue":{"value":{"entity-type":"item","numeric-id":3089184,"id":"Q3089184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb40159e3d4f6b58fc120f2210e47930c7bc034","datavalue":{"value":{"amount":"+0.7695965766906738","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":"Q612907$DE324666-718D-4DFB-A7AA-FC352F134FD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Upper and lower bounds for \\(F v(4,4;5)\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Upper_and_lower_bounds_for_%5C(F_v(4,4;5)%5C)"}}}}}