author = {Daniel D. Sunthimer},
title = {{An Implementation of Approximate Generalization in Quantitative Theories}},
language = {english},
year = {2025},
translation = {0},
school = {Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria},
length = {27},
type = {Bachelor Thesis}