{"entities":{"Q5028438":{"pageid":7058015,"ns":120,"title":"Item:Q5028438","lastrevid":98393180,"modified":"2026-06-05T17:24:26Z","type":"item","id":"Q5028438","labels":{"en":{"language":"en","value":"A separator theorem for hypergraphs and a CSP-SAT algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471677"}},"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":"Q5028438$9C36BD41-6EE2-4892-BFDC-4CE58544EC85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4482195838c61c8ce096e21c70c97c93f1743818","datavalue":{"value":{"entity-type":"item","numeric-id":343854,"id":"Q343854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$24439148-8DDB-4176-85F8-B9D330175134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c36b77bffff6f43e669d0380d3493f37a56849f","datavalue":{"value":{"entity-type":"item","numeric-id":168591,"id":"Q168591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$1875E037-B658-465B-8BF8-6E64A5745824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9896ab75162544856a6fb3b10335bf8d1ef06c06","datavalue":{"value":{"entity-type":"item","numeric-id":894452,"id":"Q894452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$23F4C6BC-45D9-4C9B-BF4F-FC1BE69B3DB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016f5c9439ba374a39d268cbe8a17a8d3cb3913d","datavalue":{"value":{"time":"+2022-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5028438$39464B6B-A365-4FC1-A68E-2270CC91CDA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b8bd48dc79d85bbf33851d565bf7aa4a050c1d0","datavalue":{"value":"https://arxiv.org/abs/2105.06744","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028438$7C310B2B-153D-415B-9EBF-51267CC8487E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c8bd0f7de6284da770a29645a10b422b84caca6","datavalue":{"value":"https://lmcs.episciences.org/8832","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028438$A1C8B8FB-876C-4469-BCD8-1CD8612D996E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028438$74227A68-5F8F-4069-9799-F9AF0CFC01D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028438$4C849B86-88D2-4E31-AD6B-2737E3699915","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56c56a4c7e0370502e4886a82f1638abc4ec934b","datavalue":{"value":"7471677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028438$B0AB6379-C338-437E-822F-C1B1DBE63333","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cf86b277acff5642d7d05a3031825820cf64eb5","datavalue":{"value":"CSP-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028438$823F5B6A-6DED-4B00-95D4-61CE7B2EC78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63a0b5bbdbffeb2f6d94dda6a7bccbc2173775aa","datavalue":{"value":"hypergraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028438$C85C29DC-3816-45E7-9112-0D9132446355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16382045e0cfe30182ad180ef8d44f60dac5e0df","datavalue":{"value":"separator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028438$BFB32B9E-E7F6-4A63-B421-0ADB4E913577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028438$F32FE901-0E49-4F9A-BF44-182BC9FCD234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34ec795426031d68d018b596ca24ac2227ef02e9","datavalue":{"value":"Tseitin formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028438$E229AB3A-1D65-4253-923F-14A3014FD9AB","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":"Q5028438$34C41FB1-9495-4F24-BE5A-8FE3B7B5BDA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc14d53be67ff20b00dd6aca571633db87258b20","datavalue":{"value":{"entity-type":"item","numeric-id":1366948,"id":"Q1366948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$A5FB655A-7ACF-48F4-8F41-00E1E6381680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bf83626afb25080059b6ed16da69d74215dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5133983,"id":"Q5133983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$4A9FEF25-D1F9-4B08-8777-607EFE21935E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c474c39c66015d4e536570f84c99c108f36d115","datavalue":{"value":{"entity-type":"item","numeric-id":4652410,"id":"Q4652410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$D1AE4ADF-77BD-4104-9034-112A2BB78C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143130260887422a871415146d6e17c87df04df7","datavalue":{"value":{"entity-type":"item","numeric-id":2444907,"id":"Q2444907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$6CD14609-72AE-4A16-A550-7B8C56C73D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d078e21f9718b01f228742d1c2f5371b675a0f5","datavalue":{"value":{"entity-type":"item","numeric-id":3558013,"id":"Q3558013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$BB277ADF-C47D-43E7-AE8D-5075C105BEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c3f03ded50291ec566e3ea20732155eb198bbf","datavalue":{"value":{"entity-type":"item","numeric-id":626686,"id":"Q626686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$52D5322C-F6FB-4CB0-AE80-D867EF9C78A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82879da4a42c15f2d8963e9ae87cc161e327d5d5","datavalue":{"value":{"entity-type":"item","numeric-id":5495819,"id":"Q5495819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$3C1D98EB-BFBE-4B84-8714-CF6E7A68A4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de613908d2cd012d4fcbd4fd9626fc061166750c","datavalue":{"value":{"entity-type":"item","numeric-id":1120601,"id":"Q1120601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$F3B55C2C-777F-4E45-B6A4-815869F5ED33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc5ee7ecba65f64963a7213495029f6b50dc4e6","datavalue":{"value":{"entity-type":"item","numeric-id":894453,"id":"Q894453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$1FFFF688-9F88-451C-B25D-9DDB0C35B8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7391991f72acd6452cf7538a04591cf629fa14","datavalue":{"value":{"entity-type":"item","numeric-id":2408195,"id":"Q2408195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$06DA6D21-5B33-4C01-9C65-CB393BC6A052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$254ED3AC-001B-4BE5-ABD8-D31F68247CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6e2c2ecad99ba6427a45c0566f6b794580473e","datavalue":{"value":{"entity-type":"item","numeric-id":3453207,"id":"Q3453207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$D49577C1-AEB3-40EF-BB8A-F970AE3FD5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d77479cb6704812cd9fe29d5cb81a1475c597ce","datavalue":{"value":{"entity-type":"item","numeric-id":5194624,"id":"Q5194624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$2E37ADE9-B7A5-40E5-8BCB-E4F78C9523C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe282b489426dab4b9f605316f84fa27f6d0a473","datavalue":{"value":{"entity-type":"item","numeric-id":5092485,"id":"Q5092485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$605477A9-381B-4311-8CF9-A4731F6B7662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$0666DFE5-7716-483B-B05F-19FCA5193F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327b8b07bae5edb39d51392add68b3d240b76011","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$99A9A609-3FB3-4A9F-83F9-57E11CE9569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d403173afb7946dd1519a703cb655d48198f8563","datavalue":{"value":{"entity-type":"item","numeric-id":4952609,"id":"Q4952609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$6EB2ACE0-4168-4153-84CF-29061466C57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$C4B67910-1549-404F-B8A5-D4041D93E6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$54BBB542-14F7-4593-9ECA-25608D5058E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2570884fa9aa0215334213bcce9cf915eeca62","datavalue":{"value":{"entity-type":"item","numeric-id":3503589,"id":"Q3503589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$D88877F3-3E28-4297-BDF0-7A52467FD7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$5CAD5E05-5DE0-45EC-8CCA-1F4CD7654231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3194984f10d1bd6b3034671e1f13a64006941dd5","datavalue":{"value":{"entity-type":"item","numeric-id":5475823,"id":"Q5475823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028438$954BD6CA-1963-40C7-AC03-9C48EEC0B82E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a6f722e3eeca306df0f55124d5eff528832e4cc","datavalue":{"value":{"entity-type":"item","numeric-id":2437759,"id":"Q2437759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02718cd38d6997f06b1bc09925f304ce10c44b0b","datavalue":{"value":{"amount":"+0.8033564686775208","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":"Q5028438$7E1EA1C6-DFF3-4A6C-8D65-CAF9AAEAE3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3696411579a745fb8747e6c64a2d6b9586663c14","datavalue":{"value":{"entity-type":"item","numeric-id":3453207,"id":"Q3453207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d4fdeaf9a004c4f25f7ecd05334833097a96ac","datavalue":{"value":{"amount":"+0.765831470489502","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":"Q5028438$CF61D0EF-45E9-4843-9148-93BB7D828F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fff9af2f57ad16528c4e30f341a00611c82b82a8","datavalue":{"value":{"entity-type":"item","numeric-id":5313034,"id":"Q5313034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f4ea4643fa599d6bf8e0eb5f900c4d615b7dee","datavalue":{"value":{"amount":"+0.7648786902427673","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":"Q5028438$33C14C4C-CD16-4137-998A-F4E87AE5A134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975b1febd6fa2bab38cb5a5eeb3a9b89db312853","datavalue":{"value":{"entity-type":"item","numeric-id":3429738,"id":"Q3429738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba51bed8437229f400671802a97258aca3ab40c","datavalue":{"value":{"amount":"+0.7475574016571045","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":"Q5028438$D5421F69-03D6-4DEC-891D-3468D4D2990C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de61246395d8016bc9d3117400ef13c97a0428d","datavalue":{"value":{"entity-type":"item","numeric-id":4554934,"id":"Q4554934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69fb6f92fdb586570ca11c02d9f3e3f86eec1574","datavalue":{"value":{"amount":"+0.7463012337684631","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":"Q5028438$40D565B1-8BD8-46FF-A4D0-8A4D18EC5FA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A separator theorem for hypergraphs and a CSP-SAT algorithm","badges":[]}}}}}