{"entities":{"Q5066145":{"pageid":7095721,"ns":120,"title":"Item:Q5066145","lastrevid":58421775,"modified":"2026-04-05T03:52:17Z","type":"item","id":"Q5066145","labels":{"en":{"language":"en","value":"The complexity of promise SAT on non-Boolean domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7499574"}},"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":"Q5066145$FBB90FE4-0183-4EC9-99FD-057112B409FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"401f7c00ba6997d526b518f894a934a0581dc56f","datavalue":{"value":{"text":"The Complexity of Promise SAT on Non-Boolean Domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5066145$ECF0FD04-8800-47F4-A38D-C7C489085E27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c537d3faed5c0224032302a807825a1d8dfdeeb","datavalue":{"value":"1495.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066145$22ACD318-104A-42EA-8407-7967E85874B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86474f524369a232eafd779a5365f6c7afb7643a","datavalue":{"value":"10.1145/3470867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066145$5192C579-669B-4792-88DE-7D4DC53E4332","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05d569db6c4556f09a3d83f06c94587a88876fee","datavalue":{"value":{"entity-type":"item","numeric-id":2105440,"id":"Q2105440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066145$E380E5B9-A715-453B-8BF8-2998733B8A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"549631648f1b3bec31ba11a2ffd7eeb036bc787c","datavalue":{"value":{"entity-type":"item","numeric-id":345099,"id":"Q345099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066145$D8D2CC28-4801-46E4-B981-11DC7D2146C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e9806ef0ff68f04009d556da4638b11e62a584a","datavalue":{"value":{"entity-type":"item","numeric-id":606898,"id":"Q606898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066145$CA119FA0-5F7E-4881-89BF-B1E0C0CF7712","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64bbaa3c401dec878328d8d72c14b0373fd9aac2","datavalue":{"value":{"entity-type":"item","numeric-id":92716,"id":"Q92716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066145$66AC86C4-E550-4B2B-BBDD-449427940CB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe6dc352e4adb221184dbd4f9ee875a707dab8d","datavalue":{"value":{"time":"+2022-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5066145$ECFF6D67-77A7-4F0A-B3C2-D14B6750BBEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67260aac992e0a42e2129f293238f4f59bc17a36","datavalue":{"value":"https://arxiv.org/abs/1911.09065","type":"string"},"datatype":"url"},"type":"statement","id":"Q5066145$A5035FD1-E858-4744-88E6-4C45F7F99D26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066145$BE7AF1EA-3431-432B-8A3B-66FD2C8AC2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066145$67D042FF-41D1-4011-879C-B9D0B2C72744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066145$63F68F3D-50F0-4761-BFB6-6E2B38663455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066145$48FF9E21-DC8C-4646-AD35-B02B5CD9D8CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bad5d392f510ae2d231956212e5ecae1ef4a1b03","datavalue":{"value":"7499574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066145$54344D5A-ED42-462D-881A-29C16134C2B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fde89ebf41a0b2021bd38fed23909f9ad3f06f00","datavalue":{"value":"promise constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066145$A4666043-31D1-4480-BDAA-EE2AEB3A3CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4e78375ad6423ab8c369bfa202e191ac7a7b0e","datavalue":{"value":"PCSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066145$C2A9F367-3048-42ED-943C-C000D103DA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab1b38b223407c2010ffb3e38c41b8c74c3e1b6a","datavalue":{"value":"polymorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066145$71266ECA-E510-4C15-9550-0D91CC720127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a252a598e69a70c6c8d06fe5a30954e133be4e05","datavalue":{"value":"algebraic approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066145$6FE9568B-A7A1-446A-8DDC-63345CDD451E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93410e6e2031fdc130d3abd416e44af23627a5b7","datavalue":{"value":"label cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066145$31E6A6AD-7F3E-4F6F-A182-08774024456A","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":"Q5066145$5CD00275-6395-4E48-A371-0363488A0795","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f38ce4a2e4b7f885b25c7addb60903bca518374e","datavalue":{"value":"W3198729793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066145$37F825C8-5287-4E37-805A-707037D56936","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d65c1cb12f41a59229c6308723b50cf10b1947be","datavalue":{"value":"Q130992865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066145$80327D9D-3AD8-4461-9E40-78C7A4C1FB65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2887448c87f896c4694b4596b00bb9fcfc687fc","datavalue":{"value":{"entity-type":"item","numeric-id":5096441,"id":"Q5096441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a7388705edabb74e0c148023b153cdf7d3d5a2","datavalue":{"value":{"amount":"+0.8603746891021729","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":"Q5066145$FFF6F00F-4012-4C4F-95CE-430AC19F5C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630ee02ec6012b6dea404318300ec04182c2737c","datavalue":{"value":{"entity-type":"item","numeric-id":4608006,"id":"Q4608006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68ea5fbb63aade2944f849226cb39a056b19440","datavalue":{"value":{"amount":"+0.858850359916687","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":"Q5066145$7CE80A28-A8EC-4508-8810-E33D60116A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19fd2ec2c2928889a6e98cbeca2975f1f4d421c6","datavalue":{"value":{"entity-type":"item","numeric-id":5363382,"id":"Q5363382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4236ec29fa42e76a0735946f1e222a7d0d668d63","datavalue":{"value":{"amount":"+0.8394383788108826","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":"Q5066145$90F02A84-FA22-4FBE-8481-D93A20DD20A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51adca8265c9fd004236450841e5a972581b3ff6","datavalue":{"value":{"entity-type":"item","numeric-id":4652625,"id":"Q4652625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2f5dd7a6c93b512813bf8509e0215dab190c54","datavalue":{"value":{"amount":"+0.7913628220558167","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":"Q5066145$3ADCC4B9-6C15-4BA7-B579-F74FD1E8B3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5592aee2f98d490844ee2b6d962f474f363fde68","datavalue":{"value":{"entity-type":"item","numeric-id":5056418,"id":"Q5056418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8aba8a19578e3ca614b71fda470b12eb361bfe","datavalue":{"value":{"amount":"+0.7857282161712646","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":"Q5066145$3D4CEEBC-7CB0-4229-8568-84A938167680","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5066145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5066145"}}}}}