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:2904067

Jump to:navigation, search

zbMath1254.03019MaRDI QIDQ2904067

Tinko Tinchev, Dimiter Vakarelov

Publication date: 5 August 2012

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

zbMATH Keywords

connectedness mereotopology contact algebras completeness theorems region-based theory of space quantifier-free axiomatization spatial logical

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (4)

A mereotopology based on sequent algebras ⋮ Contact Logic is Finitary for Unification with Constants ⋮ Relational representation theorems for extended contact algebras ⋮ Extended contact algebras and internal connectedness

This page was built for publication:

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