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
A milestone reached and a secret revealed - MaRDI portal

A milestone reached and a secret revealed

From MaRDI portal

Publication:5951524

Jump to:navigation, search

DOI10.1023/A:1010650624155zbMath1006.03512MaRDI QIDQ5951524

Publication date: 7 January 2002

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

automated reasoning automated theorem proving elegant proofs formal logic proof finding

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

Building Theorem Provers

Uses Software

OTTER

This page was built for publication: A milestone reached and a secret revealed

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