Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, push-subscription-manager, Suppressors, Administrators, translator, widgeteditor
17,894
edits
Changes
Changed redirect target from The logic of Probabilistic language to The logic of probabilistic language
#REDIRECT [[The logic of Probabilistic language]]
#REDIRECT [[The logic of probabilistic language]]