12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems (view source)
Revision as of 02:22, 4 September 2007
, 02:22, 4 September 2007→1.3.4.15. Application of OF : Motive Level: fix typo
| and
| and
| ''j'' : ''m'' <font face="system"><s>></s></font> ''y'',
| ''j'' : ''m'' <font face="system"><s>></s></font> ''y'',
| for some
| for some ''m''
| ∈ ''Q'' ,
| ∈ ''Q'',
|-
|-
| ''k'' : ''x'' <font face="system"><s>></s> <s><</s></font> ''y''
| ''k'' : ''x'' <font face="system"><s>></s> <s><</s></font> ''y''
| ''k'' : ''n'' <font face="system"><s><</s></font> ''y'',
| ''k'' : ''n'' <font face="system"><s><</s></font> ''y'',
| for some ''n''
| for some ''n''
| ∈ ''E''.
| ∈ ''E'' .
|}
|}