{"labels":{"en":"Rule-aware Datalog Fact Explanation Using Group-SAT\nSolver"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 3816"},"claims":{"P31":"Q13442814","P1433":"Q131010110","P1476":{"text":"Rule-aware Datalog Fact Explanation Using Group-SAT\nSolver","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-3816/paper12.pdf","P50":[{"value":"Q86294151","qualifiers":{"P1545":"5"}}],"P2093":[{"value":"Akira Charoensit","qualifiers":{"P1545":"1"}},{"value":"David Carral","qualifiers":{"P1545":"2"}},{"value":"Pierre Bisquert","qualifiers":{"P1545":"3"}},{"value":"Lucas Rouquette","qualifiers":{"P1545":"4"}}]}}