# Differences

This shows you the differences between two versions of the page.

 graph_edges [2014/02/10 11:52]nikolaj graph_edges [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2014/02/10 11:52 nikolaj old revision restored (2014/02/10 11:52)2014/02/10 11:52 nikolaj 2014/02/10 11:52 nikolaj 2014/02/10 11:51 nikolaj 2014/02/10 11:51 nikolaj old revision restored (2014/02/09 20:51) Next revision Previous revision 2014/02/10 11:52 nikolaj old revision restored (2014/02/10 11:52)2014/02/10 11:52 nikolaj 2014/02/10 11:52 nikolaj 2014/02/10 11:51 nikolaj 2014/02/10 11:51 nikolaj old revision restored (2014/02/09 20:51) Line 1: Line 1: ===== Graph edges ===== ===== Graph edges ===== ==== Function ==== ==== Function ==== - | @#55EE55: $\mathrm{dom}\ E=\mathrm{graph}$ | + | @#FFBB00: definiendum | @#FFBB00: $\mathrm{dom}\ E=\mathrm{graph}$ | - | @#55EE55: $E(\langle V,\langle A,​\psi\rangle\rangle):​=\psi(A)$ | + | @#FFBB00: definiendum | @#FFBB00: $E(\langle V,\langle A,​\psi\rangle\rangle):​=\psi(A)$ | ==== Discussion ==== ==== Discussion ==== ==== Parents ==== ==== Parents ==== - === Requirements ​=== + === Context ​=== [[Graph]] [[Graph]]