Deprecated: Skins must now pass `menus` key to skin definition in skin.json. Default value is: ['namespaces', 'views', 'actions', 'variants', 'personal'].
Menu "namespaces" is deprecated. Please replace with "associated-pages". [Called from MediaWiki\Skin\SkinTemplate::getCategoryLinks in /var/www/html/w/includes/Skin/SkinTemplate.php at line 623] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Skins must now pass `menus` key to skin definition in skin.json. Default value is: ['namespaces', 'views', 'actions', 'variants', 'personal'].
Menu "personal" is deprecated. Replace with "user-page", "user-interface-preferences","notifications" and "user-menu". [Called from MediaWiki\Skin\SkinTemplate::getCategoryLinks in /var/www/html/w/includes/Skin/SkinTemplate.php at line 623] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of MediaWiki\Skin\SkinTemplate::injectLegacyMenusIntoPersonalTools was deprecated in Please make sure Skin option menus contains `user-menu` (and possibly `notifications`, `user-interface-preferences`, `user-page`) 1.46. [Called from MediaWiki\Skin\SkinTemplate::getPortletsTemplateData in /var/www/html/w/includes/Skin/SkinTemplate.php at line 696] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of MediaWiki\Skin\BaseTemplate::getPersonalTools was deprecated in 1.46 Call $this->getSkin()->getPersonalToolsForMakeListItem instead (T422975). [Called from Skins\Chameleon\Components\NavbarHorizontal\PersonalTools::getHtml in /var/www/html/w/skins/chameleon/src/Components/NavbarHorizontal/PersonalTools.php at line 68] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of QuickTemplate::(get/html/text/haveData) with parameter `personal_urls` was deprecated in MediaWiki Use content_navigation instead. [Called from MediaWiki\Skin\QuickTemplate::get in /var/www/html/w/includes/Skin/QuickTemplate.php at line 131] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Entity usage

From MaRDI portal

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

List of pages that use a given entity

Showing below up to 11 results in range #1 to #11.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

  1. Epistemic Logic: Title
  2. SAT Solver Verification: Title, Miscellaneous (e.g. entity existence), Label: en, Some statements, Description: en, Description: mul, Sitelink
  3. AVATAR: Title
  4. Completeness theorem: Title
  5. IsaFoL: Title
  6. Locales: Title
  7. versat: Title
  8. PicoSAT: Title
  9. Formalization of Abstract State Transition Systems for SAT: Title
  10. A verified SAT solver framework with learn, forget, restart, and incrementality: Title
  11. Formalization and implementation of modern SAT solvers: Title

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:EntityUsage/Q40545"
Powered by MediaWiki