{"labels":{"en":"GenZ: A Generic Sequent Calculus Prover using the Zipper"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 4241"},"claims":{"P31":"Q13442814","P1433":"Q141603267","P1476":{"text":"GenZ: A Generic Sequent Calculus Prover using the Zipper","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-4241/paper4.pdf","P50":[],"P2093":[{"value":"Xiaoshuang Yang","qualifiers":{"P1545":"1"}},{"value":"Malvin Gattinger","qualifiers":{"P1545":"2"}},{"value":"Marianna Girlando","qualifiers":{"P1545":"3"}},{"value":"Patrick Koopmann","qualifiers":{"P1545":"4"}}]}}