{"entities":{"Q5404931":{"pageid":7434505,"ns":120,"title":"Item:Q5404931","lastrevid":75626248,"modified":"2026-04-20T10:21:21Z","type":"item","id":"Q5404931","labels":{"en":{"language":"en","value":"On SAT representations of XOR constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275878"}},"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":"Q5404931$D69A66C3-8AD9-4D88-BC69-4E7BB4E88118","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e0169b46e632d58462553a746dcfa8ebbd54257","datavalue":{"value":{"text":"On SAT Representations of XOR Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404931$F1D5BCC5-20C5-46F2-BBA4-3895B939DEE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3507139288ea8d7a95fad9b480f00c01db018b0","datavalue":{"value":"1408.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404931$7D13AF4D-3533-4433-88F7-1BBFC660BDDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f349ed656fe3b958dfdff6b8d58ee1144c0f8d1","datavalue":{"value":"10.1007/978-3-319-04921-2_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404931$C737463E-69E5-454E-BF9C-33D3A48524DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3798640e48861cf1a8a5727da966d308e01b2f0","datavalue":{"value":{"entity-type":"item","numeric-id":2352483,"id":"Q2352483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404931$5F7613AC-B96D-4BA6-900D-1BAE1447E4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec0087dd29e6cdd418da3bff00462ae1b309f6ef","datavalue":{"value":{"entity-type":"item","numeric-id":391123,"id":"Q391123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404931$BB2A7640-1CF9-479C-90E5-DA7D7C301341","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404931$29CB1CB3-2097-4A77-AEB6-16860CCBE27D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e689efeed0c46be7915f5b012baebda52ae8ac8e","datavalue":{"value":{"time":"+2014-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404931$02766EB8-079E-49C7-BEC6-842C8489D29B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d832eaa928343d9f8391d0d0fd27becba828a0cd","datavalue":{"value":"https://arxiv.org/abs/1309.3060","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404931$87A0A12A-247D-467A-A156-D57A5EDC80E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddfd7f407618e92d02c68ad07cfc37073ad6bfbf","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa18003/Download/0018003-15052015115932.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404931$42F6A66A-C5A8-4FF5-97B7-5B38A4CF9B03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404931$E6ECFEE0-6541-4959-8942-513BFAEFE64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404931$D61183FA-0A03-4F5F-B522-DDF658FBB4B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"467378f27962e3793d6f5238b7b07a7d4276e0f7","datavalue":{"value":"6275878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404931$FD5A2C25-285D-4D9C-BF0B-1CB1A227E37A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8576bc4f7d98b2fd42a6bcf740e0c736ac05fc","datavalue":{"value":"arc consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404931$EF8521E9-D52C-4D16-BE6D-C2383D958889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a37d8032e2c75d3aba77ef4f440479c21698a4d","datavalue":{"value":"parity constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404931$B850BFC8-388A-4990-B208-C2CF958B2836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3eb65725d343868a6997f8adadfcdfa29f4c5fe","datavalue":{"value":"monotone circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404931$FB2C2F8C-F8F2-42DA-8786-5B0A2A8949F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e627d346ca0b4d963cda1279b52959ece570c6e7","datavalue":{"value":"monotone span programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404931$885E94F0-EBE5-43EF-B650-A37C013A8C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9389a09eb78c6005135e4ab942f3ace263dd2932","datavalue":{"value":"unit-propagation complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404931$204A6A1E-BD2B-4DA5-8087-B316651C6902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c241eb202ddffa3683308313f8bab7812e37ded","datavalue":{"value":"acyclic incidence graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404931$3BE07451-54F0-4C14-959A-E17104DF7C76","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":"Q5404931$EE7C49EA-4F87-44B8-9732-73ABB598B8CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e10a40e0820e22268b7fbba449f80a963fccc13","datavalue":{"value":"W3099325101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404931$ACBD0897-9DE4-4B84-B5AB-2E47AB9FD82B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9d293ac5478cc5a6755478bb7b711683c7a01b","datavalue":{"value":{"entity-type":"item","numeric-id":2843342,"id":"Q2843342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648fe36411fbaeac400fb1da2c327df98b5eea49","datavalue":{"value":{"amount":"+0.7703980803489685","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":"Q5404931$123F99DD-B491-4280-AD89-89C61DEB33E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cece314386152413c8b8269c77d71e6038316be","datavalue":{"value":{"entity-type":"item","numeric-id":4473043,"id":"Q4473043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f7627637a1454f6d89b233624a7026bf5b6132b","datavalue":{"value":{"amount":"+0.750575840473175","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":"Q5404931$7F3CFEDE-461C-4F6F-9FB6-BA513A55EA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e774777e125d8ea335060d4b88c191990242cc88","datavalue":{"value":{"entity-type":"item","numeric-id":5325869,"id":"Q5325869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101f32450c8642faa77ae9302acd34528fe2d6a9","datavalue":{"value":{"amount":"+0.7461085319519043","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":"Q5404931$22534B60-7AC4-4F2D-89EB-2925A9061D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1fe6c0ab043b8b9f4eeb3dacba77f8d82efc3a","datavalue":{"value":{"entity-type":"item","numeric-id":1961446,"id":"Q1961446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21fcb46ec1c680d65da25ab8d5cb44446840bb4e","datavalue":{"value":{"amount":"+0.7456638216972351","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":"Q5404931$2D92ECE3-27B3-4139-9476-9DA3C31803D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c0b29d0139952eadc8d9482924cd1a152b94641","datavalue":{"value":{"entity-type":"item","numeric-id":748322,"id":"Q748322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c72493470c513245948a36b4ca8d8615ce4ab3c","datavalue":{"value":{"amount":"+0.7456334829330444","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":"Q5404931$D25EB327-1C8F-4419-B30F-A7B3990B2DF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On SAT representations of XOR constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_SAT_representations_of_XOR_constraints"}}}}}