axioms_overview.dot 719 B

123456789101112131415161718192021222324252627282930313233343536
  1. strict graph {
  2. A [label="Forever Running"]
  3. B [label="Scalability"]
  4. C [label="Minimal Content"]
  5. D [label="Model Everything"]
  6. E [label="Human Interaction"]
  7. F [label="Test-Driven"]
  8. G [label="Multi-View"]
  9. H [label="Multi-Formalism"]
  10. I [label="Multi-Abstraction"]
  11. J [label="Multi-User"]
  12. K [label="Interoperability"]
  13. A -- B [label="1"]
  14. A -- D [label="2"]
  15. A -- J [label="3"]
  16. B -- F [label="4"]
  17. B -- K [label="5"]
  18. C -- D [label="6"]
  19. D -- E [label="7"]
  20. D -- F [label="8"]
  21. D -- G [label="9"]
  22. D -- H [label="10"]
  23. D -- K [label="11"]
  24. E -- K [label="12"]
  25. G -- H [label="13"]
  26. G -- I [label="14"]
  27. J -- K [label="15"]
  28. }