{"labels":{"en":"Reuse of Introduced Symbols in Automatic Theorem Provers (short paper)"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 3201"},"claims":{"P31":"Q13442814","P1433":"Q113708447","P1476":{"text":"Reuse of Introduced Symbols in Automatic Theorem Provers (short paper)","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-3201/paper10.pdf","P50":[{"value":"Q131110482","qualifiers":{"P1545":"1"}}],"P2093":[{"value":"Martin Suda","qualifiers":{"P1545":"2"}},{"value":"Petra Hozzová","qualifiers":{"P1545":"3"}},{"value":"Giles Reger","qualifiers":{"P1545":"4"}}]}}