Browsing Proof Markup Language Provenance: Enhancing the Experience.

Nicholas Del Rio Paulo Pinheiro da Silva Hugo Porras

Published in: IPAW (2010)

Keyphrases

markup language
metadata
browsing experience
theorem prover
data sets
databases
web pages
user experience
theorem proving
user interaction
xml schema