| Property | Value |
|---|---|
| lemon:value | 
“Eine Relation → heißt konfluent, wenn die folgende Formel gilt: orall x, y_1, y_2 n M: (x tackrel{*}{
ightarrow} y_1 edge x tackrel{*}{
ightarrow} y_2 ) ightarrow xists z n M: y_1 tackrel{*}{
ightarrow} z edge y_2 tackrel{*}{
ightarrow} z.”
|
| uby:exampleType | category:senseInstance |
| Property | Value |
|---|---|
| Is lemon:example of | WktDE_sense_24076 More... |
The resource lemonUBY is made available under a
Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) license.
This resource is derived from UBY
under a Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) license
You are free to share (copy, distribute and transmit) the work, to develop your own extensions (adapt, remix) of the work, and to make commercial use of the work, provided that you comply with the licenses of all the integrated lexical resources and linkings between them.
This resources is derived from Wiktionary, dual-licensed to the public under both the Creative Commons Attribution-ShareAlike 3.0 Unported License, as well as GNU Free Documentation License (GFDL).