Re:The Z3 theorem prover is now open source
by skrebbel on Wednesday October 03, 2012 @05:12AM
(#4606540)
Correct. A trademark is just that: a mark used in trade. It does not come with the ability to define a standard definition for the mark's meaning, other than "~ is a trademark of $ORGANISATION".
Also, is "open source" really trademarked? Wtf? That's like a beef promo organisation trademarking "well done".
Also, is "open source" really trademarked? Wtf? That's like a beef promo organisation trademarking "well done".