{"entities":{"Q5035876":{"pageid":7065453,"ns":120,"title":"Item:Q5035876","lastrevid":55401439,"modified":"2026-02-17T15:39:12Z","type":"item","id":"Q5035876","labels":{"en":{"language":"en","value":"The Complexity of the Ideal Membership Problem for Constrained Problems Over the Boolean Domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7479302"}},"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":"Q5035876$FB8CF1FB-D742-4056-BA38-3ED2ECF3FADC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27c25cfb7f52b130e95139cec1399a1c59b904e9","datavalue":{"value":{"text":"The Complexity of the Ideal Membership Problem for Constrained Problems Over the Boolean Domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5035876$14DE5C04-A6AD-47AF-85A9-601C2F1E260E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7316880aac22ffb211b60dfeece9e77166e72157","datavalue":{"value":"10.1145/3449350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5035876$D614CC9D-5E45-4EB3-9645-7611291CE582","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8522c9c3dc1d4f5ab36cdb95808d7ec3816cb5be","datavalue":{"value":{"entity-type":"item","numeric-id":486996,"id":"Q486996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5035876$8C57D6E0-FB07-405D-91E2-E4E92F379A03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2ddb6a503bb5972a5f95aecbd260c8599d794bc","datavalue":{"value":{"entity-type":"item","numeric-id":2799475,"id":"Q2799475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5035876$5153A10A-A8F1-4EAF-9E06-A13CF3FBF532","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47ee190546176fc30e7811c0669cd81940200191","datavalue":{"value":{"time":"+2022-02-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":"Q5035876$63283171-47F1-4A71-80E4-C813BF5743F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f85902ece002409242b03a3d3dd50e1bebaf76a","datavalue":{"value":"https://arxiv.org/abs/1904.04072","type":"string"},"datatype":"url"},"type":"statement","id":"Q5035876$9D55C5D2-905F-453C-A5E1-68F3D02A8BD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5035876$00DFE50D-0E23-473C-ACC8-EC02739D3729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5035876$75CAA3AF-722D-44B7-9819-60E68B6FE29D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7060e13f3369e3e6e3f27f16ff0716a1ac16dc1b","datavalue":{"value":"7479302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5035876$0B49A0FA-3AA0-41AF-B4B1-F3086DDD40B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b763c6bb3bacbe3cf530e30249e7b85c26c23bdf","datavalue":{"value":"ideal membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5035876$6E317427-B478-41EA-833F-A12F62F92ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5035876$D6A34324-3463-408F-AA9C-4D1C97E5C4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df25359605a7bacf8d12705a29fce2b79e2bb8b0","datavalue":{"value":"constraint satisfaction problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5035876$6C94066C-27D4-4947-948E-708DC14D5414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f406f32a57485cd0c20bfae9c2c51f4e1ae2b2","datavalue":{"value":"theta bodies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5035876$10D39E8B-5A8D-46F0-AAC5-BBF66C9042F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580984e9a1c82d533985196479f3b9f7b85953a0","datavalue":{"value":"sum-of-squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q5035876$4082DBAA-6CA4-4857-8516-21E17CC0CC5B","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":"Q5035876$E570E13D-9774-42AB-8067-D39E7A3D4002","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fffabec70dae1d9170f9beb2581dbfc5d4a746d0","datavalue":{"value":"W3203099067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5035876$297052A1-8FF7-43A1-A63C-63F0A20C29B6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7e901544b4bb0461b88bb6792c3c455e1da6898d","datavalue":{"value":"Q130994133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5035876$6CE2E528-1E7E-4F24-BE86-1513DCFC2954","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed2d1bbc69b45aebd642cbd94985b76081ebb01","datavalue":{"value":{"entity-type":"item","numeric-id":5236210,"id":"Q5236210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49010e4697bbdaf1a0788bac81838bcee5b3dcb","datavalue":{"value":{"amount":"+0.9560982584953308","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":"Q5035876$9762E62C-FCCE-48B1-BC98-EBD6717F9A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b24e206edd019e80cd191e3df82330ee9baad6","datavalue":{"value":{"entity-type":"item","numeric-id":6168426,"id":"Q6168426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b7090b207f3e5b8975a0ac3dbb48d4747454ed","datavalue":{"value":{"amount":"+0.871421217918396","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":"Q5035876$4EA6D22E-0BD5-4C37-84AD-D5AD16995792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f643014a095bf9df37a559ed4a1bc5098c927c","datavalue":{"value":{"entity-type":"item","numeric-id":5096588,"id":"Q5096588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b573db500e8778a710a35aaf575f469e9e33b94","datavalue":{"value":{"amount":"+0.8146641254425049","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":"Q5035876$965D381B-3A11-40C4-98A5-D58600082AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba9bfe008d654b3fab502c3f7a3202339dc5c38","datavalue":{"value":{"entity-type":"item","numeric-id":3740228,"id":"Q3740228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ea7d5967a0c6fb086d2b8232a5bdf27c36cbfa","datavalue":{"value":{"amount":"+0.746249258518219","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":"Q5035876$9C9DC34A-0C32-4622-849F-4999C00AF5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737ed537edd0856f25f0e1e5852da73b57c6a2d9","datavalue":{"value":{"entity-type":"item","numeric-id":963063,"id":"Q963063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc74f50025e70f3fd59aee2b150d2442e3646fc2","datavalue":{"value":{"amount":"+0.740134060382843","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":"Q5035876$1588AD52-5DEB-495E-9CF6-DE07DDDCB31B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5035876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5035876"}}}}}