{"entities":{"Q6330285":{"pageid":13465602,"ns":120,"title":"Item:Q6330285","lastrevid":95150600,"modified":"2026-06-05T08:28:30Z","type":"item","id":"Q6330285","labels":{"en":{"language":"en","value":"FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints"}},"descriptions":{"en":{"language":"en","value":"preprint article from arXiv"}},"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":"Q6330285$66442161-2148-4BD1-8768-03B6950260C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57bdcd2d656803fe459e1c55fcc3114746b79937","datavalue":{"value":{"time":"+2019-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6330285$A0327112-9123-4D5A-82A6-E25F8BE95830","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"a15c468a9626cfaf88568fe6a22231faad13dceb","datavalue":{"value":"1912.01032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6330285$B46B3088-A14A-48CB-92EA-32654E1CDD12","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6330285$3576909E-691F-49DE-A284-3CD5449CC7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"978de76261106d731aa947788d4bb931f3500171","datavalue":{"value":"cs.IT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6330285$686DB6BF-F827-45BC-8216-7B567DFE1C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"5a9a9eaa7fd7e010f3960691b4ec6b49e1992fea","datavalue":{"value":"cs.LG","type":"string"},"datatype":"string"},"type":"statement","id":"Q6330285$93C64FB6-6CE7-4B56-9D52-74F0D1A198F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"931f304235725988f1b8c31b4e843d58f9c17935","datavalue":{"value":"math.IT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6330285$B07BCF14-BCAF-4056-8715-5CDF554A9174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"5a067f3cc35200b51bab0398d603e2eb9779a610","datavalue":{"value":"math.OC","type":"string"},"datatype":"string"},"type":"statement","id":"Q6330285$A45CDC32-A695-48D8-9E17-B9FB8DA79948","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"fda35205638f1dfb650b92a02428cb6082e4e948","datavalue":{"value":"Anastasios Kyrillidis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6330285$92F0240B-2B85-4B88-825B-DFEF8EDF4484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"a66dcfa59b77419c434508e6b53c20d73d04d9c6","datavalue":{"value":"Anshumali Shrivastava","type":"string"},"datatype":"string"},"type":"statement","id":"Q6330285$A3129F3D-FE95-4102-86FF-096B04F2F126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"db0a5888323adfd459d86947631f4ad0d85ce4ce","datavalue":{"value":"Moshe Y. Vardi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6330285$B294FDED-0F19-49A0-B9E2-14E09BD5492A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"bfec9e06cf3d51adc5ca44ad9bdc5e60e590aecc","datavalue":{"value":"Zhiwei Zhang","type":"string"},"datatype":"string"},"type":"statement","id":"Q6330285$E3AE572D-5895-43B4-AAA7-CF2E30BF1117","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":"Q6330285$4A44D6CD-FEF2-4FAA-99F3-D708B0C37B7A","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"cc0fc20a2e2e5ce82452bae83a91fb7617850b41","datavalue":{"value":"https://github.com/zzwonder/FourierSAT","type":"string"},"datatype":"url"},"type":"statement","id":"Q6330285$C97E7446-438D-43F5-A5F8-72DE65F4A1EE","rank":"normal","references":[{"hash":"7d7c552a0c9ae83be6a87c5329c34a1898445589","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"fff15f05267ffa99849a51b4b1090be86882dea1","datavalue":{"value":"https://paperswithcode.com/paper/fouriersat-a-fourier-expansion-based","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"f846dfc57207c7640d2726d8f72d9e8a317f0bcf","datavalue":{"value":"repository README","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FourierSAT:_A_Fourier_Expansion-Based_Algebraic_Framework_for_Solving_Hybrid_Boolean_Constraints"}}}}}