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

scientific article; zbMATH DE number 922631

From MaRDI portal

Publication:4893151

Jump to:navigation, search

zbMath0854.03044MaRDI QIDQ4893151

Robert F. Stärk

Publication date: 1 September 1996

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

zbMATH Keywords

correctness Peano arithmetic termination inductive definition provably total functions Prolog programs Herbrand universe formal system BID inductive extension of a logic program

Mathematics Subject Classification ID

Logic programming (68N17) Inductive definability (03D70)

This page was built for publication:

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