Gottlob Frege, SEP: Frege-Hilbert controversy
Finite model theory, Structure (mathematical logic), SEP: Models in science
IWI: Model SEP: Modeling and Model Theory
Formal concept analysis, Computational complexity theory
Modular decomposition, Connected component (graph theory)
Abstraction, SEP: Abstract Objects
Analogy Quantifier_elimination
Computational thinking Formal methods
Supervenience, SEP: Supervenience
SEP: Properties, SEP: Emergent Properties
SEP: Modality Metaphysical necessity
Formal specification, Semantics_(computer_science), SEP: Epistemology of Computer Science