Pages that link to "Item:Q5094473"

From MaRDI portal

← Formalizing Ordinal Partition Relations Using Isabelle/HOL (Q5094473)

Jump to:navigation, search

What links here

⧼whatlinkshere-whatlinkshere-target⧽

Page:

⧼whatlinkshere-whatlinkshere-ns⧽

Namespace:

Invert selection

⧼whatlinkshere-whatlinkshere-filter⧽

Hide transclusions

Hide links

Hide redirects

The following pages link to Formalizing Ordinal Partition Relations Using Isabelle/HOL (Q5094473):

Displaying 4 items.

Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
A formalised theorem in the partition calculus (Q6073894) (← links)
The formal verification of the ctm approach to forcing (Q6151819) (← links)
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL (Q6156630) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"