{"entities":{"Q6622023":{"pageid":14233180,"ns":120,"title":"Item:Q6622023","lastrevid":103962935,"modified":"2026-06-06T08:33:08Z","type":"item","id":"Q6622023","labels":{"en":{"language":"en","value":"Encoding hard string problems with answer set programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7929280"}},"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":"Q6622023$ADFE4EBA-5029-4201-989B-D4DEBE197DEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc2f423ba931bc85edcf6228c03fa2216437e91e","datavalue":{"value":{"text":"Encoding hard string problems with answer set programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6622023$069D3A25-B0A5-4003-B1D8-E770DD67A9A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acfc500dbdc550462efc62975afdda2b591dfb3b","datavalue":{"value":{"entity-type":"item","numeric-id":724217,"id":"Q724217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622023$C54384B0-7988-4147-B99B-0F88F49CE23D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac889730097a55c61339de7e6de152e6be5788f0","datavalue":{"value":{"time":"+2024-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6622023$9B1032CA-805F-4E96-A02E-AFF651525434","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622023$60373E7E-571B-4830-8BC9-308AACDBF7DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dfe17637960e7455ea2fa688a00d83ffa3cc340","datavalue":{"value":"7929280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622023$75CBF6AD-2079-4CFF-9F95-BA58BFD6A76B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a59b1493a3dfce77efe9c02f17396ec193aeaaf0","datavalue":{"value":"optimization problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622023$3DB53AE6-D26B-4229-8E3D-5F036D070202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622023$B46E5AB9-AF9F-46E1-90AD-5A87DD22A33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6483e84b5294fc3ff0d9c66050917317687189","datavalue":{"value":"max-SAT encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622023$8A0C76A9-7A9E-4914-82AE-40C36EABA9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba298f9e9747af315a29ef366fb5577203ec1ce","datavalue":{"value":"NP-hard string problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622023$B6B1EFE2-D27A-4D1B-908C-71F1CD866B91","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":"Q6622023$53B6F94D-83C0-4255-BCC3-C4C67C7A8687","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9eeae585be7b5991fa3695105e33b79aae54728","datavalue":{"value":"10.4230/LIPICS.CPM.2023.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622023$15AFBFBD-DB25-40E2-87E5-445C2D20FC71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding hard string problems with answer set programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Encoding_hard_string_problems_with_answer_set_programming"}}}}}