Pages that link to "Item:Q5384363"

From MaRDI portal

← Automatic proof generation in an axiomatic system for $\mathsf{CPL}$ by means of the method of Socratic proofs (Q5384363)

Jump to:navigation, search

The following pages link to Automatic proof generation in an axiomatic system for $\mathsf{CPL}$ by means of the method of Socratic proofs (Q5384363):

Displaying 1 item.

Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)

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