Matches in Wikidata for { <http://www.wikidata.org/entity/Q58831015> ?p ?o ?g. }
Showing items 1 to 27 of
27
with 100 items per page.
- Q58831015 description "wetenschappelijk artikel" @default.
- Q58831015 description "наукова стаття, опублікована у 2006" @default.
- Q58831015 name "A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations" @default.
- Q58831015 name "A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations" @default.
- Q58831015 type Item @default.
- Q58831015 label "A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations" @default.
- Q58831015 label "A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations" @default.
- Q58831015 prefLabel "A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations" @default.
- Q58831015 prefLabel "A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations" @default.
- Q58831015 P1476 Q58831015-BEBD33CD-02FF-4438-8FE8-C8FF8C5BF4C1 @default.
- Q58831015 P2093 Q58831015-07CDEFFE-2F71-468B-9B4B-CC203477CB34 @default.
- Q58831015 P2093 Q58831015-B725F7CB-7D05-4211-96C1-DC0B452A7AD6 @default.
- Q58831015 P2093 Q58831015-C42380CB-44E5-436E-8B38-AD7366CF4F3E @default.
- Q58831015 P31 Q58831015-E61193A9-7CFA-4655-AFC4-A8FD037BDFA1 @default.
- Q58831015 P356 Q58831015-194A3CBA-6D42-41F6-AC98-CFB974551508 @default.
- Q58831015 P577 Q58831015-06C87E6F-CC8E-4529-9340-36A75572B927 @default.
- Q58831015 P8978 Q58831015-E7CA6785-2F3E-4FFA-8C38-8E2DF88CB82D @default.
- Q58831015 P356 FUZZY.2006.1681978 @default.
- Q58831015 P8978 DamasioMO06 @default.
- Q58831015 P1476 "A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations" @default.
- Q58831015 P2093 "C.V. Damasio" @default.
- Q58831015 P2093 "J. Medina" @default.
- Q58831015 P2093 "M. Ojeda-Aciego" @default.
- Q58831015 P31 Q13442814 @default.
- Q58831015 P356 "10.1109/FUZZY.2006.1681978" @default.
- Q58831015 P577 "2006-01-01T00:00:00Z" @default.
- Q58831015 P8978 "conf/fuzzIEEE/DamasioMO06" @default.