Formalizing Ordinal Partition Relations Using Isabelle/HOL.

Mirna Dzamonja Angeliki Koutsoukou-Argyraki Lawrence C. Paulson

Published in: Exp. Math. (2022)

Keyphrases

theorem prover
natural deduction
inference rules
higher order logic
first order logic
decision trees
machine learning
binary relations
theorem proving
query language
causal relations
database
evolutionary algorithm
pairwise
website
databases
data sets