TY  - RPRT
TI  - An interpolant in predicate Gödel logic
AU  - Matthias Baaz
AU  - Mai Gehrke
AU  - Sam van Gool
PY  - 2019
UR  - https://arxiv.org/abs/1803.03003
ID  - 1803.03003
ER  -