{"entities":{"Q2398438":{"pageid":2409181,"ns":120,"title":"Item:Q2398438","lastrevid":57898539,"modified":"2026-04-03T00:20:39Z","type":"item","id":"Q2398438","labels":{"en":{"language":"en","value":"Computing the Ramsey number \\(R(4,3,3)\\) using abstraction and symmetry breaking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6760754"}},"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":"Q2398438$01702526-5EE2-4F5D-9AE7-82BE520CD344","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cdde0c4d107cff96ff8bdc7da8da5c1d14dcd3a","datavalue":{"value":{"text":"Computing the Ramsey number \\(R(4,3,3)\\) using abstraction and symmetry breaking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2398438$8B8C9362-D430-4505-9739-4D6E7294F531","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa5990a4b8b6c14e2430b05c7b8b357f7a86f609","datavalue":{"value":"1368.05046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398438$3C94E0CC-6E6B-4119-8D82-F96CA5044B50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$8AAFE20B-25C0-478A-B979-8386FFFEDB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e178c23f3c6ee97478292d1539610cbfe8ceaf38","datavalue":{"value":{"entity-type":"item","numeric-id":225334,"id":"Q225334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$30E3A883-67D9-4CCB-9E31-9D721306DFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20034af1c0092172414a93c9027e855ad74f84b","datavalue":{"value":{"entity-type":"item","numeric-id":1648884,"id":"Q1648884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$673D7868-1056-4C29-B315-97C5D2B475C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90bbe2ee818852467359700b37d2788503a24def","datavalue":{"value":{"entity-type":"item","numeric-id":1312994,"id":"Q1312994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$050A1736-54BD-417D-A2DE-12C9305794EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$5BFD5622-70C9-4928-9761-F1640550C6C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1d7c0d25932e6c783b5452f9f0c5ca5bd63b788","datavalue":{"value":{"time":"+2017-08-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":"Q2398438$D7AC88B3-2DA7-49F0-A6B6-DCCF878E51CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78197aa28d9c4872f6f58b6b998d387083fcac5e","datavalue":{"value":"https://arxiv.org/abs/1510.08266","type":"string"},"datatype":"url"},"type":"statement","id":"Q2398438$2875B3A7-AAE6-4DF7-AA22-A3151C019F09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398438$F287687D-6B6A-485E-9084-43DC30BB9824","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2812ef011816c322a65710ada675d08fc7fff17","datavalue":{"value":"6760754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398438$41EA0548-949C-47A6-A590-7C4D382926F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed5607bcf9ea8dfa99691a6445086cfefb466c73","datavalue":{"value":"Ramsey numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398438$C34FCA99-D33D-47DE-9BB7-07BDA0A0FE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398438$608EB9F4-F786-434F-86B4-CA597591847A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721db152ea6f5f1d941a96190ff027c3df9b3519","datavalue":{"value":"symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398438$26BEAE8C-52F6-4AD6-BE20-E17182F90EAE","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":"Q2398438$A009C5F2-4B28-42BA-AFD4-915094B05BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b163eb2acfaa09d2ebf57c54881fcc37ef41973","datavalue":{"value":{"entity-type":"item","numeric-id":22051,"id":"Q22051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$2582B27D-FD26-4D64-87C0-406CC340A21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$F39DA788-0BFC-4248-815B-6851D21B9176","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":"Q2398438$A837615C-3A0F-42F6-A4E8-14603553845C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"852dae94be761e639bf72d3e5de9e33baa58e179","datavalue":{"value":"W2257609876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398438$C3760FEA-9B58-400B-AEBE-FB4F861DC40C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d843b136ed77aaac8c3552ecb8558219193ba7d3","datavalue":{"value":{"entity-type":"item","numeric-id":1356712,"id":"Q1356712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$F03822DA-E9EB-42E4-94C7-54BF7AAD6E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9328fd3a34fb4b6ce7887fc52cf1e0cdef518e43","datavalue":{"value":{"entity-type":"item","numeric-id":4097312,"id":"Q4097312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$DA1D35C7-A289-4C7D-8020-C5BDD3B2A424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3037b0c9ae18e7d3e9cde68e53c45cf9013e3a8b","datavalue":{"value":{"entity-type":"item","numeric-id":2331101,"id":"Q2331101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$9CC4738E-0C00-4A98-8C78-065E5CB06685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49219eb1b49337fa12e7740d5cbe67a3fb9b9b50","datavalue":{"value":{"entity-type":"item","numeric-id":1883655,"id":"Q1883655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$D7867DC4-417F-4968-9FB3-329F6682988C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b11619a2fdb2060ffa8e3ea1e139344e1615e32","datavalue":{"value":{"entity-type":"item","numeric-id":3287781,"id":"Q3287781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$2E4AB4DE-24CA-4767-A0D1-07EADA709A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"977215378cd8c26341406679077a875d590c9677","datavalue":{"value":{"entity-type":"item","numeric-id":5463479,"id":"Q5463479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$887C3E39-58F9-4670-8B90-9C473B4E540A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ea0dbc94fcc949376136ff176ea3805b3c37f8","datavalue":{"value":{"entity-type":"item","numeric-id":870059,"id":"Q870059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$1DFE483C-69C9-4068-A8C9-8ACB7CED9CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3677dcfe13ef7d09fd34f45f29a7997e5eb03ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2855545,"id":"Q2855545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$5DE6BEFD-F014-4FA0-AB7D-8A68A530ED67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a20b5864de56fa8979382698b184d84ce9a3159","datavalue":{"value":{"entity-type":"item","numeric-id":4698081,"id":"Q4698081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$4F1D35C4-4B91-4AD0-8BA5-1CFAB8FCB81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1f5c4e596769f20c3e18240de0776d1bbf0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$18530153-5AEA-4A06-9202-FC034E07DD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a73082b3c73fd5bf9b426e379b4c4504a1d3b767","datavalue":{"value":{"entity-type":"item","numeric-id":4913754,"id":"Q4913754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$BEE38AAB-9D43-4114-B2ED-043C1A7C847F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262a3cfa0cc4975bed1c679c657a3f17c457dc7a","datavalue":{"value":{"entity-type":"item","numeric-id":5167096,"id":"Q5167096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$D7743242-B778-41EE-B605-91027D6497B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0df787ed0b3401f15ff0043998b0c914b970edb","datavalue":{"value":{"entity-type":"item","numeric-id":4256003,"id":"Q4256003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$2B814F6C-1755-4FD1-92FE-F989EEB035EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac01c0efe3e683b6db6d7e2481ef05efa28a73b","datavalue":{"value":{"entity-type":"item","numeric-id":4529451,"id":"Q4529451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$B50107A4-6F0C-479A-B902-E86497F088BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da81d4ce0df58ebb6e1c7a47e6b95b7dc369590f","datavalue":{"value":{"entity-type":"item","numeric-id":1379158,"id":"Q1379158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$7F59542E-D971-4583-8DF4-7CE7B66A6B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398438$26D995EC-23FE-477B-B7D7-037CD2B5EC78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d2f8a5b1e355d9fd163443ad786b6e088049394","datavalue":{"value":"10.1007/S10601-016-9240-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398438$BA791CFC-BEC2-4701-A3A1-92FD74C1C77C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09657bef2a36a39c6be4d28a76bde4495d57b629","datavalue":{"value":{"entity-type":"item","numeric-id":396940,"id":"Q396940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ef2e6c72871ed48585bd4ecfbead2d1cfc7bb9","datavalue":{"value":{"amount":"+0.8259665966033936","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":"Q2398438$D303C441-81E1-4F83-AE8A-1FD7D8BAAB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d4a76b39a171f98d5705e94a8e21c9cfdac305","datavalue":{"value":{"entity-type":"item","numeric-id":426844,"id":"Q426844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d18a94e544060738898cc52f3f2f262a1fd29dc8","datavalue":{"value":{"amount":"+0.8158146739006042","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":"Q2398438$6450F184-193B-4DD1-A462-ED09D8F4F793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e5c2ac04b17895944e849f9c8161d781c38228","datavalue":{"value":{"entity-type":"item","numeric-id":4529451,"id":"Q4529451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66546c1cbb73d0727f8c379f0e00563ad0f30ba8","datavalue":{"value":{"amount":"+0.8156750798225403","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":"Q2398438$23852ED2-E08E-46C2-A0E1-11AA3F388CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebdfa85fdc03648ab3cf35287fea8c6269710244","datavalue":{"value":{"entity-type":"item","numeric-id":4256003,"id":"Q4256003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82eabf24e67c50ad004bf1e3a070a7c2f5a8bb05","datavalue":{"value":{"amount":"+0.8128432035446167","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":"Q2398438$F4E76942-2942-4955-9FC9-25E74E53A442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6de785bdb379f82af6056646850ad1205dd661","datavalue":{"value":{"entity-type":"item","numeric-id":5463479,"id":"Q5463479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d328c2eaf051a6a23b663fe70a355042970a6b96","datavalue":{"value":{"amount":"+0.8110042810440063","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":"Q2398438$BDE425A8-5417-4B0E-AC93-AE442DB34DC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2398438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2398438"}}}}}