{"entities":{"Q2692222":{"pageid":2702966,"ns":120,"title":"Item:Q2692222","lastrevid":44631843,"modified":"2025-11-24T12:45:18Z","type":"item","id":"Q2692222","labels":{"en":{"language":"en","value":"An improved exact algorithm for the exact satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7666357"}},"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":"Q2692222$96236E9F-A3E8-49E9-AC6D-790B585E3C3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"117c95d9cfd7f5b84a0b48bbe75ae1316c9e3c14","datavalue":{"value":{"text":"An improved exact algorithm for the exact satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2692222$F717782B-0CBA-434C-8FBA-F8F7BC3C62D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"591bf6fba46ee81c0966784402d38b980e5f7b9f","datavalue":{"value":"10.1007/978-3-030-64843-5_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2692222$59A0A6E8-F022-442F-A3C5-13BE4363CB92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb831d7dba23bdbb51273e02933f449931a58f5f","datavalue":{"value":{"entity-type":"item","numeric-id":2232606,"id":"Q2232606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2692222$6DA2179E-FCA6-4039-9D28-F6C6F519A941","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9db9aab8c47e8de7d6375c30693ffa43d749cd68","datavalue":{"value":{"time":"+2023-03-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":"Q2692222$23F9E524-D771-4E4E-883E-561A9D13F9DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff027f02b31a312f942a40d761257ff9d33d8656","datavalue":{"value":"https://arxiv.org/abs/2010.03850","type":"string"},"datatype":"url"},"type":"statement","id":"Q2692222$7B74CF0A-35FD-492D-8E77-7DC7B867110B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2692222$9C585983-9D1C-4C4C-BE47-47E984513BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2692222$66B42352-812C-4493-9D91-369F14AEAF36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"760b64258428002cf24cd49eeb468b09e23be158","datavalue":{"value":"7666357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2692222$8B1A8D43-2E35-45BB-B824-23B7BE570DEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cd9583d42de823b8b22fc049187f8e61a5a14f","datavalue":{"value":"XSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2692222$52C6749E-EF3C-4BA9-B309-55FA8E057BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f013677e1babc04e166747a4ac70dfe005d44e9","datavalue":{"value":"measure and conquer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2692222$96989FE4-3A1C-46A4-B406-F89134CDFB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed47e6e9ddad80b51aa220a709be136fcb7a275","datavalue":{"value":"exponential time algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2692222$77878FAB-5B12-4626-8399-4AD4381795EA","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":"Q2692222$1D98DCCD-4FA7-4AC5-A98E-50F2B7D9FEBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ca26c53cab3f1c9fd806101deb8487026daf23c","datavalue":{"value":"W3116874297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2692222$EDE5F810-7118-42DC-B55B-FABD81971962","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2692222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2692222"}}}}}