Matches in Wikidata for { <http://www.wikidata.org/entity/Q59614631> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- Q59614631 description "article scientifique publié en 2016" @default.
- Q59614631 description "im November 2016 veröffentlichter wissenschaftlicher Artikel" @default.
- Q59614631 description "wetenschappelijk artikel" @default.
- Q59614631 description "наукова стаття, опублікована в листопаді 2016" @default.
- Q59614631 name "Operational semantics of resolution and productivity in Horn clause logic" @default.
- Q59614631 name "Operational semantics of resolution and productivity in Horn clause logic" @default.
- Q59614631 type Item @default.
- Q59614631 label "Operational semantics of resolution and productivity in Horn clause logic" @default.
- Q59614631 label "Operational semantics of resolution and productivity in Horn clause logic" @default.
- Q59614631 prefLabel "Operational semantics of resolution and productivity in Horn clause logic" @default.
- Q59614631 prefLabel "Operational semantics of resolution and productivity in Horn clause logic" @default.
- Q59614631 P1433 Q59614631-7F2FB1C1-C7CE-49AE-87F1-C532FE59FD8C @default.
- Q59614631 P1476 Q59614631-0EEC6FEB-B2BA-4BEA-B647-932112A20468 @default.
- Q59614631 P2093 Q59614631-8BDCB475-E9FF-48F1-B796-1E028533EF29 @default.
- Q59614631 P2093 Q59614631-9A876022-53D1-4A63-A6D1-4FF68DC75763 @default.
- Q59614631 P275 Q59614631-d94280de-45c7-4771-8234-586f52ddf2ea @default.
- Q59614631 P2888 Q59614631-22CCAE2C-B7C9-4519-9CAB-CD22ECDB1D96 @default.
- Q59614631 P304 Q59614631-279FB32D-BDAB-48F7-AC13-16D387810270 @default.
- Q59614631 P31 Q59614631-31FA6148-EE6E-470F-81CC-42EFB0D86649 @default.
- Q59614631 P356 Q59614631-B590BD59-9C42-4369-B230-AF2CF2B334BA @default.
- Q59614631 P433 Q59614631-C34554D5-B5B2-42A5-A95A-CD0E935DEF18 @default.
- Q59614631 P478 Q59614631-99A84616-DDF4-4BC6-BD8F-A4451F2757FD @default.
- Q59614631 P577 Q59614631-50C40313-F4CE-4BA1-8808-B866E92E32A5 @default.
- Q59614631 P6104 Q59614631-86F7229C-C8DF-4927-964E-2FAE33DDB004 @default.
- Q59614631 P6216 Q59614631-011ccb1f-e851-4f04-9c4b-d9db6e9b5f3c @default.
- Q59614631 P894 Q59614631-7B7464FB-FD3C-4949-866B-EB3695568CC6 @default.
- Q59614631 P8978 Q59614631-8D5F889C-4B67-4107-966D-D19B2243E5FF @default.
- Q59614631 P356 S00165-016-0403-1 @default.
- Q59614631 P8978 FuK17 @default.
- Q59614631 P1433 Q5469945 @default.
- Q59614631 P1476 "Operational semantics of resolution and productivity in Horn clause logic" @default.
- Q59614631 P2093 "Ekaterina Komendantskaya" @default.
- Q59614631 P2093 "Peng Fu" @default.
- Q59614631 P275 Q20007257 @default.
- Q59614631 P2888 s00165-016-0403-1 @default.
- Q59614631 P304 "453-474" @default.
- Q59614631 P31 Q13442814 @default.
- Q59614631 P356 "10.1007/S00165-016-0403-1" @default.
- Q59614631 P433 "3" @default.
- Q59614631 P478 "29" @default.
- Q59614631 P577 "2016-11-25T00:00:00Z" @default.
- Q59614631 P6104 Q8487137 @default.
- Q59614631 P6216 Q50423863 @default.
- Q59614631 P894 "1362.68048" @default.
- Q59614631 P8978 "journals/fac/FuK17" @default.