{"entities":{"Q5209627":{"pageid":7239198,"ns":120,"title":"Item:Q5209627","lastrevid":100649081,"modified":"2026-06-05T22:40:30Z","type":"item","id":"Q5209627","labels":{"en":{"language":"en","value":"Solving Ramsey number algorithm based on set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7156082"}},"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":"Q5209627$352F2893-0D5B-4A78-93F7-22D4676AA03A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5c3b7340ae389703bafad887402ccaed5decb06","datavalue":{"value":"1449.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209627$6E4587D8-F517-4B32-9B63-5DDB56C07F36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6de0ddc4a7053e3def7d2c551887aed63ec09126","datavalue":{"value":{"entity-type":"item","numeric-id":2700303,"id":"Q2700303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209627$9BD0AB18-4A11-4B0E-B73D-95F449D4539F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5209627$EB5CC82A-4D81-4DA6-959A-516917C5710C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209627$B56AC104-2F26-49C6-B60D-2C7BB552CCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209627$BA565ECC-52F6-46E9-A3E7-14C3E48BFDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209627$0F37DAC6-76D0-4D5C-A44E-4E02FDA4E28D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ad2bc1ab8bf672ddede3a5f028de04b9c541699","datavalue":{"value":"7156082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209627$7CC2C5C8-EDE0-4FB6-93AF-CE75C94E3FB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209627$59B51EF6-0D2C-4B3A-B2B2-EC06566F5403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9883754ae74e61e8838f0b3f68403ef56fd6b8ef","datavalue":{"value":"computer algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209627$5A21DD15-A816-4593-8500-F5D631724344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9331e7a91e80870c08a0d2bdf5daec399b60beee","datavalue":{"value":"Ramsey-number solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209627$40AB4CB9-0080-49BD-945A-8016D64E1EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebbafd7f4d9e1f7c6c7cace0bab3a70bb80c1e4d","datavalue":{"value":"MapReduce model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209627$8D61D069-D30E-4A20-8F13-027D27C61494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"099638e1cd12e01b606e7a29856a1b022e5fd650","datavalue":{"value":"single-core CPU","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209627$2AD2848D-4D93-48BF-AB78-BE8852C5190D","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":"Q5209627$7EE20B98-3135-4174-AB12-EC34E83CBDFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56d8bdcb53aeea7d512a147de0a1480b4c65fa93","datavalue":{"value":"10.13413/J.CNKI.JDXBLXB.2018092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209627$A4452888-2019-4790-B3A3-15DFC84CBB24","rank":"normal"}],"P1643":[{"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":"b540aba113d552b3672cabe451cd4fbd73246304","datavalue":{"value":{"amount":"+0.7249383926391602","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":"Q5209627$46A8E09E-2CC9-4AC0-8787-2240D70768A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952c1b4b03a891ba666da96a5b73ae6368cab01f","datavalue":{"value":{"entity-type":"item","numeric-id":3076595,"id":"Q3076595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35e43f4a8f3281d31df0712e81ab4608a091c365","datavalue":{"value":{"amount":"+0.7205017805099487","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":"Q5209627$B942CD7F-F0F4-457A-BD56-40D30A6CE7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4874360811453f7e76ba9a34237151b3fe0ede80","datavalue":{"value":{"entity-type":"item","numeric-id":331397,"id":"Q331397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e321ad3752abc0f1b0664b4863f158519e4454","datavalue":{"value":{"amount":"+0.7182325124740601","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":"Q5209627$10FAB4CF-5354-42CA-A05B-AD6ED7ADD766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7f37eaa83743c3a8536697d69db63aa0dbacdfe","datavalue":{"value":{"entity-type":"item","numeric-id":4696804,"id":"Q4696804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7efdbb0573b6ed9a76ff44ce01145c64ea9262d1","datavalue":{"value":{"amount":"+0.7047978639602661","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":"Q5209627$DCBDF342-687B-45FB-946B-11E171B47AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93d4fb648aa2ebe73366541607e07ee815932b2","datavalue":{"value":{"entity-type":"item","numeric-id":2960883,"id":"Q2960883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ee5ec5d947978d279d808e8f64fe2e01dba26c","datavalue":{"value":{"amount":"+0.7045799493789673","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":"Q5209627$D8AFE3FE-BFA1-4FE2-81FE-93F26D9DC714","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving Ramsey number algorithm based on set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_Ramsey_number_algorithm_based_on_set_theory"}}}}}