{"entities":{"Q7149259":{"pageid":22063170,"ns":120,"title":"Item:Q7149259","lastrevid":107114360,"modified":"2026-10-23T11:10:00Z","type":"item","id":"Q7149259","labels":{"en":{"language":"en","value":"A SAT-based Resolution of Lam's Problem"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"aliases":{},"claims":{"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"d9c15d4dc922d1082ff725e5e40ff9c90d3b6ee4","datavalue":{"value":"cs.DM","type":"string"},"datatype":"string"},"type":"statement","id":"Q7149259$0CF14F17-2767-4084-BC49-C79EC08350E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15b8c83b98b5e742706b93d4f05f24acb70b28a2","datavalue":{"value":{"time":"+2020-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7149259$8708DB11-7EB6-48AD-9F43-CA663266DF61","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"568d209b88dddb109a332330ab70cafc75d21ab5","datavalue":{"value":"2012.04715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7149259$78E0088D-AC92-4207-8D8C-B66E593DDDF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2944af5df97c8752e124a4113f2f3095bc5a5046","datavalue":{"value":{"entity-type":"item","numeric-id":780358,"id":"Q780358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7149259$FF85D334-79C0-4A59-84B3-D5AAF7C318D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"284398e1636a06c27d974808a63dc66e1f806c50","datavalue":{"value":{"entity-type":"item","numeric-id":943788,"id":"Q943788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7149259$93A746C5-2872-4470-AC7D-9AF6B4F83CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b27f5b07a274c991795346b17826d8d6c63f3c59","datavalue":{"value":{"entity-type":"item","numeric-id":241256,"id":"Q241256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7149259$61F3257F-45EC-453D-B864-CB56C7ED7BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82b62774ea113d24d064a2bdcdfaa9c138c128d3","datavalue":{"value":{"entity-type":"item","numeric-id":411260,"id":"Q411260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7149259$C1ADBFFE-7A0A-44D1-A697-3BE020ABDE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50100327a2c6f555e4a4810ba0263aa80d7a14ed","datavalue":{"value":{"entity-type":"item","numeric-id":526761,"id":"Q526761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7149259$14B83312-4495-47CC-8CC7-C38AB5496332","rank":"normal"}],"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":"Q7149259$67C80FDB-F91B-491E-922E-F604A02988D7","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":"Q7149259$E6F9ECFB-8B48-45F8-B91C-A0BD4F1D3F35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A SAT-based Resolution of Lam's Problem (scientific article from arXiv)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_SAT-based_Resolution_of_Lam%27s_Problem_(scientific_article_from_arXiv)"}}}}}