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 7715474 - MaRDI portal

scientific article; zbMATH DE number 7715474

From MaRDI portal

Publication:6173578

Jump to:navigation, search

MaRDI QIDQ6173578

Filip Marić

Publication date: 21 July 2023

Full work available at URL: http://elib.mi.sanu.ac.rs/files/journals/zr/26/zrn26p173-223.pdf

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

zbMATH Keywords

formal logic proof assistants interactive theorem proving

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points

This page was built for publication:

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