{"entities":{"Q5133982":{"pageid":7163554,"ns":120,"title":"Item:Q5133982","lastrevid":58440375,"modified":"2026-04-05T05:51:40Z","type":"item","id":"Q5133982","labels":{"en":{"language":"en","value":"A proof of the CSP dichotomy conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7273097"}},"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":"Q5133982$6474E425-8B72-4873-8091-B75A575E45BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d25c4b5e3079e27b18093cdcade6d0f95b3fa8d1","datavalue":{"value":{"text":"A Proof of the CSP Dichotomy Conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5133982$DF019E76-1A18-4629-9DF7-9C67AF7CA429","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cee4560f60abd0d90c29f40f254641e2d3c4db28","datavalue":{"value":"1491.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133982$AD8D1937-373C-46E3-95B1-8C7D677BBBBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddfbe6303c024ad4fc3e0fcadc7edbcb3d88ee85","datavalue":{"value":"10.1145/3402029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133982$3FAE9D80-EAE1-4B0D-8846-CAB7D9D7EF40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"351693e9525940268c4116160b96b589f752def1","datavalue":{"value":{"entity-type":"item","numeric-id":522227,"id":"Q522227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5133982$A321FDE4-E56A-42D0-A335-C5136832FCCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5133982$AEC6B301-16D4-4D50-AA28-890FFF152AE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae01c82c4f1787553cf6599f22d008d84e0dd2f4","datavalue":{"value":{"time":"+2020-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5133982$E4C81999-6B33-4824-8122-6BC5543BF869","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1946b6436e5af5a7d7d647623355016de1ad5ad4","datavalue":{"value":"https://arxiv.org/abs/1704.01914","type":"string"},"datatype":"url"},"type":"statement","id":"Q5133982$1AFE9A07-EA77-473D-9E7E-2BEE63DE25AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133982$90EC701F-3F8B-4979-A428-E548BFD5D434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133982$BE774CB0-F49F-4C95-87AE-6527575179B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133982$A5758418-2B13-43F8-BD97-EF6BD360D8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133982$4C5EB52F-BF02-4DA8-812A-1039252CBDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133982$59DBA35C-FE7E-401C-ADFC-D214884265FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab30adac325b4d9714ce029098c34de0603c3ee1","datavalue":{"value":"7273097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133982$65338BC4-2D15-4E13-B72F-41A0C1C775FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe324920b7891d39aae439d7c21fee61c31ee0e7","datavalue":{"value":"CSP dichotomy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133982$1BDF3432-B4B6-4501-925A-E9D1B5E4F770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133982$B2DE586E-CE64-45E8-AD77-08E71CD3634A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133982$F48A2E3A-27E6-4FED-B6FD-A06ADFA946AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eda3c04eccaeca1380d8362d3b648c0a96f57b43","datavalue":{"value":"relational clones","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133982$3E3EE623-894A-44B5-A260-352D62D3A064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff8e727b049beb0eca0bf4018cf29869930a227","datavalue":{"value":"weak near-unanimity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133982$17DDB18C-6668-4FD6-81CA-70FC816DC41B","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":"Q5133982$C5EAFF02-1C2E-414D-9DD3-42794668E2FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30a8275c8c07a9c0a8c3e84bc2cf350f112db617","datavalue":{"value":"W3081785465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133982$FBCF8F31-A264-4B41-90BF-BCE1DE4B10F5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f255ee109b42866bd8df872020b61c938785f4b7","datavalue":{"value":"Q123197481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133982$9317B286-5A0C-43CA-A841-C08B09F3AEBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"367d4c309c7e604606c845c1a215ffbb3b35b994","datavalue":{"value":{"entity-type":"item","numeric-id":3546290,"id":"Q3546290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a18ea15b2ed0d61c716b6a47cafe33cd50bde3","datavalue":{"value":{"amount":"+0.8897035717964172","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":"Q5133982$8D9F3BD1-B230-45B5-A96F-8ABB572ACE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b57d8aec923314cca7f8790df01ff30f6de81f","datavalue":{"value":{"entity-type":"item","numeric-id":2754150,"id":"Q2754150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd0aa2a90d7d7fc8543f0640f94cd53896cb8628","datavalue":{"value":{"amount":"+0.8703932762145996","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":"Q5133982$22B467CB-7E72-4217-90B6-68B3D6E88BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a373d88aca54de646f673c9918f57932eb41e393","datavalue":{"value":{"entity-type":"item","numeric-id":1647670,"id":"Q1647670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2870807dc3f615d97f58ad911b75dd49bed2de5","datavalue":{"value":{"amount":"+0.8698084950447083","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":"Q5133982$B80B5EF9-A7A4-43EB-ABB0-07DD9E1994A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"686be7a64b8132c91f30cf6b241e4385430e9f87","datavalue":{"value":{"entity-type":"item","numeric-id":2946643,"id":"Q2946643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7806a39cc12e9546a3407c7c5014dfb1d72a8b2b","datavalue":{"value":{"amount":"+0.8539237976074219","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":"Q5133982$ECAE9C1B-BB9F-4B42-A328-5919465FE6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b34a42074bc0788f0e2e10ed398d7b64830bb0df","datavalue":{"value":{"entity-type":"item","numeric-id":4973888,"id":"Q4973888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d290143f02a85ef96327860ec4a35f04f4e84dd","datavalue":{"value":{"amount":"+0.8497868776321411","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":"Q5133982$CE6665D4-D6DC-4611-B497-8F1FFA69275F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5133982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5133982"}}}}}