PML2

From Tetherless World Wiki

Jump to: navigation, search

It is an alias of Proof Markup Language 2.0

Facts about PML2RDF feed
Has identifier Proof Markup Language 2.0  +
Retrieved from "http://tw.rpi.edu/wiki/PML2"
Personal tools