{"entities":{"Q6525524":{"pageid":14136585,"ns":120,"title":"Item:Q6525524","lastrevid":99727244,"modified":"2026-06-05T20:35:23Z","type":"item","id":"Q6525524","labels":{"en":{"language":"en","value":"Proof complexity of universal algebra in a CSP dichotomy proof"}},"descriptions":{"en":{"language":"en","value":"scientific 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":"Q6525524$6CC3FE13-70C4-48C2-8E48-494BCD6A242F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab1977144be23e86332b93a06387193ac7814bf8","datavalue":{"value":{"text":"Proof complexity of universal algebra in a CSP dichotomy proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6525524$A7C1FEA1-37C9-40E3-B24A-5BEE4FA60FED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21e29a73f493f70b6b6c3ffc393736ea9e8e24b2","datavalue":{"value":{"entity-type":"item","numeric-id":3382817,"id":"Q3382817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6525524$2E6BBD6F-07F1-4DA3-AF32-82797DF9A4C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6525524$14C72310-0969-4B46-B53C-48C564D2BAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6525524$43D67A5B-33BE-4532-932C-CCB7B9E69CC7","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":"Q6525524$2349F7E4-3FC9-48E1-90BA-BBB4FBC28A22","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"4d5c608a36c38ec4bd7c52f4e97480b55d15038b","datavalue":{"value":"2403.06704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6525524$9945D2A1-CE7D-4EF0-AFC8-8515505866DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof complexity of universal algebra in a CSP dichotomy proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_complexity_of_universal_algebra_in_a_CSP_dichotomy_proof"}}}}}