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

scientific article

From MaRDI portal

Publication:3105694

Jump to:navigation, search

zbMath1244.03054MaRDI QIDQ3105694

Hsing-chien Tsai

Publication date: 5 January 2012

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

zbMATH Keywords

undecidability decidability mereology part-whole relation mereological theories

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25)

Related Items (4)

Decidability of general extensional mereology ⋮ A comprehensive picture of the decidability of mereological theories ⋮ On the effective universality of mereological theories ⋮ Mereology then and now

This page was built for publication:

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