Tobias Gehl

Identifiers

• name variant Tobias Gehl 0.60 · backfill

Papers (1)

1. A Two-Watched Literal Scheme for First-Order Logic cs.LO · 2026 · author #3

Mentions

• 2605.21335 #3 · arxiv_oai · confidence 0.70 Tobias Gehl

Frequent Coauthors

• Christoph Weidenbach 1 shared papers
• Lorenz Leutgeb 1 shared papers
• Martin Bromberger 1 shared papers
• Simon Schwarz 1 shared papers
• Yasmine Briefs 1 shared papers