Item:Q5428817

From MaRDI portal

Redirect page
Item:Q5428817

Jump to:navigation, search

This is the item page for this Wikibase entity, intended for internal use and editing purposes.

Please use this page instead for the normal view: Complexity of propositional proofs under a promise

Redirect to:

Item:Q2946606

Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q5428817&oldid=34072849"