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
Relationships in sets of semantic mappings and binary relations - MaRDI portal

Relationships in sets of semantic mappings and binary relations

From MaRDI portal

Publication:3969857

Jump to:navigation, search

DOI10.1016/0041-5553(82)90177-XzbMath0503.68019MaRDI QIDQ3969857

Sergey A. Abramov

Publication date: 1982

Published in: USSR Computational Mathematics and Mathematical Physics (Search for Journal in Brave)

zbMATH Keywords

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Relationships in sets of semantic mappings and binary relations

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