Pages that link to "Item:Q2819197"

From MaRDI portal

← Automating Free Logic in Isabelle/HOL (Q2819197)

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 Automating Free Logic in Isabelle/HOL (Q2819197):

Displaying 2 items.

Automating free logic in HOL, with an experimental application in category theory (Q2303232) (← links)
Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)

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