Bureaucrats, Comment administrators, editor, Interface administrators, Administrators (Semantic MediaWiki), Curators (Semantic MediaWiki), Suppressors, Administrators, Widget editors
11,019
edits
Changes
Jump to navigation
Jump to search
Static Procedural Methods theorem (Barseghyan-2015) Reason1 (view source)
Revision as of 10:56, 17 January 2024
, 17 Januaryno edit summary
|Title=Static Procedural Methods theorem deduction
|Premises=Method Rejection theorem (Barseghyan-2015)
|Formulation Text=The ''static procedural methods'' theorem follows from the method rejection theorem.
|Diagram File=Static-procedural-methods.jpg
|Authors List=Hakob Barseghyan
Here is the deduction:
{{PrintDiagramFile|diagram file=Static-procedural-methods.jpg}}|Resource=Barseghyan (2015)
|Page Status=Stub
|Editor Notes=
}}
