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
The CADE-25 Automated Theorem Proving system competition – CASC-25 - MaRDI portal

The CADE-25 Automated Theorem Proving system competition – CASC-25

From MaRDI portal

Publication:4589259

Jump to:navigation, search

DOI10.3233/AIC-150691zbMath1373.68368MaRDI QIDQ4589259

Josef Urban, Geoff Sutcliffe

Publication date: 10 November 2017

Published in: AI Communications (Search for Journal in Brave)

zbMATH Keywords

competition automated theorem proving

Mathematics Subject Classification ID

Related Items (1)

Fast and slow enigmas and parental guidance

This page was built for publication: The CADE-25 Automated Theorem Proving system competition – CASC-25

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