Browse wiki
From MurrayWiki
| Formal Methods for V&V and T&E of Autonomous Systems |
| Query depth "Query depth" is a predefined property that informs about the depth (numerical value computed on the basis of subquery nesting and resolved property chains) of a query while query execution is being restricted by the $smwgQMaxDepth setting.
|
1 + |
|---|---|
| Query format This property is a special property in this wiki.
|
template + |
| Query size "Query size" is a predefined property that collects the number of conditions used in a query.
|
2 + |
| Query string This property is a special property in this wiki.
|
[[Current project::Formal Methods for V&V and T&E of Autonomous Systems]] |
| hide properties that link here |
| Formal Methods for V&V and T&E of Autonomous Systems + | Has query "Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries.
|
|---|
