Pages that link to "Item:Q1281504"

From MaRDI portal

← On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504)

Jump to:navigation, search

The following pages link to On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504):

Displaying 2 items.

Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)

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