Sentence:  It is as a pioneer and “<WSD>land clearer</WSD>” that we know Martin-Löf – one of the principal clarifiers of the syntax and semantics of constructive mathematics. 
Meaning of the word marked with <WSD> tags:  One who prepares the way for a project or type of endeavor by removing obstacles.