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 Fixed Point Semantics for the ATMS - MaRDI portal

A Fixed Point Semantics for the ATMS

From MaRDI portal

Publication:4276177

Jump to:navigation, search

DOI10.1093/logcom/3.2.115zbMath0785.68078OpenAlexW1965138639MaRDI QIDQ4276177

Thomas Schiex, Olivier Palmade, Michel Cayrol

Publication date: 20 April 1994

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a41b9941e5034ee9566532e98590cd9f0e90c348

zbMATH Keywords

fixed point theory propositional logic automatic theorem proving maintenance system assumption based truth

Mathematics Subject Classification ID

This page was built for publication: A Fixed Point Semantics for the ATMS

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