Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 6744291 - MaRDI portal

scientific article; zbMATH DE number 6744291

From MaRDI portal

Publication:5277977

Jump to:navigation, search

DOI10.4230/LIPIcs.TYPES.2014.187zbMath1434.03144MaRDI QIDQ5277977

Erik Parmann

Publication date: 12 July 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finite sets type theory constructive logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Other constructive mathematics (03F65) Type theory (03B38)

Related Items (2)

Unnamed Item ⋮ Finiteness and rational sequences, constructively

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5277977&oldid=19924247"