URI Parameters

TGView can be given various URL parameters:

• type: the graph type. This is used to determine the respective Graph Source There are currently the following types:
  • archivegraph: A classical theory graph for a math archive.
  • thgraph:
  • pgraph:
  • docgraph:
  • mpd:
• graphdata: the graph data, i.e. the respective theory graph to be focused on.
• highlight: Allows to highlight nodes by name, example usage:
  • http://neuralocean.de/graph/theorygraph.php?uri=http://neuralocean.de/graph/test/pvs.json&highlight=identity*,extend "*" can be used anywhere as wildcard "," separates different node names to highlight