{"entities":{"Q7101591":{"pageid":21918786,"ns":120,"title":"Item:Q7101591","lastrevid":106672250,"modified":"2026-10-22T13:19:11Z","type":"item","id":"Q7101591","labels":{"en":{"language":"en","value":"Solving satisfiability using inclusion-exclusion"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"aliases":{},"claims":{"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"87bfee88203cfe559185aa1c4a52192771738a74","datavalue":{"value":"cs.DS","type":"string"},"datatype":"string"},"type":"statement","id":"Q7101591$72A9E377-9A79-41DE-8C5B-7074E1EF13FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7faee5a668f34283a86c67ea3a2dbec14373e78","datavalue":{"value":{"time":"+2017-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":"Q7101591$4091E2D4-B30A-4A56-8CA4-89541F73E1DF","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"915bca333e8349bcd4cc86fb8fd6c0cee04022b6","datavalue":{"value":"1712.06587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7101591$EAB1C458-5639-40F1-9A25-A95AE81D8E1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3010769e96673b1a54ac87303278abb29978db2","datavalue":{"value":{"entity-type":"item","numeric-id":730306,"id":"Q730306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7101591$3A14B10A-7C9F-4509-A1FF-6906E2B16C35","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":"Q7101591$7BD1F0E7-A012-4034-8399-AAE3797EADD3","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":"Q7101591$E1ED6C1C-F3A7-4FDB-8FD4-74A7042273E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving satisfiability using inclusion-exclusion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_satisfiability_using_inclusion-exclusion"}}}}}