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

No label defined (Q2722012)

From MaRDI portal
scientific article; zbMATH DE number 1617288
Language Label Description Also known as
default for all languages
No label defined
    English
    No label defined
    scientific article; zbMATH DE number 1617288

      Statements

      author
      Joachim van den Berg
      0 references
      Marieke Huisman
      0 references
      Bart Jacobs
      0 references
      Erik Poll
      0 references
      publication date
      11 July 2001
      0 references
      Mathematics Subject Classification ID
      68U99
      0 references
      68N15
      0 references
      68Q60
      0 references
      zbMATH DE Number
      1617288
      0 references
      describes a project that uses
      JML
      0 references
      Isabelle/HOL
      0 references
      Isabelle
      0 references
      PVS
      0 references
       
      Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2722012&oldid=44677746"
      Powered by MediaWiki