Inference in the \(\mathrm{FO(C)}\) modelling language (Q5282961)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6747875
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Inference in the \(\mathrm{FO(C)}\) modelling language |
scientific article; zbMATH DE number 6747875 |
Statements
18 July 2017
0 references
0.717293381690979
0 references
0.6967220902442932
0 references
0.6941973567008972
0 references
0.6923267841339111
0 references
0.6888548135757446
0 references
