bn:05197593n
Noun Concept
JA
No term available
DE
In der Prädikatenlogik ist die Matrix einer Formel F {\displaystyle F} diejenige Formel, die man durch Streichen sämtlicher Quantoren aus F {\displaystyle F} erhält. Wikipedia
Relations
Sources
IS A
PART OF