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

scientific article; zbMATH DE number 809162

From MaRDI portal

Publication:4852912

Jump to:navigation, search

zbMath0830.03012MaRDI QIDQ4852912

Marica D. Presic

Publication date: 30 November 1995

Full work available at URL: https://eudml.org/doc/118764

File on IPFS

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

zbMATH Keywords

proof length difference lists logic grammar Horn predicate logic metamorphosis grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50) Complexity of proofs (03F20)

This page was built for publication:

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