Pages that link to "Item:Q2363506"

From MaRDI portal

← A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces (Q2363506)

Jump to:navigation, search

The following pages link to A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces (Q2363506):

Displaying 1 item.

A proof‐theoretic metatheorem for tracial von Neumann algebras (Q6096718) (← links)

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