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
Proportion of formal papers at FSE over the years - MaRDI portal

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 691] 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

Proportion of formal papers at FSE over the years

From MaRDI portal



DOI10.5281/zenodo.10777088Zenodo10777088MaRDI QIDQ6695695

Dataset published at Zenodo repository.

Author name not available (Why is that?)

Publication date: 2 March 2024

Copyright license: No records found.



Description

This dataset contains raw data related to the number of full papers containing theorem statements at various editions of the Foundations of Sofwtare Engineering (FSE) conference over the years. Version 1.1 updates the previous release with additional data for the year 2000.






This page was built for dataset: Proportion of formal papers at FSE over the years

Retrieved from "https://mardi.schubotz.org/w/index.php?title=Proportion_of_formal_papers_at_FSE_over_the_years&oldid=44856883"
Powered by MediaWiki