Matches in Wikidata for { <http://www.wikidata.org/entity/Q58856546> ?p ?o ?g. }
Showing items 1 to 37 of
37
with 100 items per page.
- Q58856546 description "article scientifique publié en 2014" @default.
- Q58856546 description "im Oktober 2014 veröffentlichter wissenschaftlicher Artikel" @default.
- Q58856546 description "wetenschappelijk artikel" @default.
- Q58856546 description "наукова стаття, опублікована в жовтні 2014" @default.
- Q58856546 name "A knowledge-based interactive verifier for logic programs" @default.
- Q58856546 name "A knowledge-based interactive verifier for logic programs" @default.
- Q58856546 type Item @default.
- Q58856546 label "A knowledge-based interactive verifier for logic programs" @default.
- Q58856546 label "A knowledge-based interactive verifier for logic programs" @default.
- Q58856546 prefLabel "A knowledge-based interactive verifier for logic programs" @default.
- Q58856546 prefLabel "A knowledge-based interactive verifier for logic programs" @default.
- Q58856546 P1433 Q58856546-8760875D-1902-4721-AFD2-5497258E2F2D @default.
- Q58856546 P1476 Q58856546-21A099DD-E26A-4B8E-8DC0-93C442A39182 @default.
- Q58856546 P2093 Q58856546-6ADE3385-8E80-4CA0-A765-B92C91C60EB2 @default.
- Q58856546 P2093 Q58856546-DAA2D9FC-BFC4-43D2-A837-3C33EC0F62DF @default.
- Q58856546 P304 Q58856546-A5835296-2741-4632-967F-6F7C04D2B643 @default.
- Q58856546 P31 Q58856546-3CCBF2AE-831F-4F56-8757-3EE9AAF8EA27 @default.
- Q58856546 P356 Q58856546-00CA7698-70C0-439F-A6A5-BF6112298673 @default.
- Q58856546 P433 Q58856546-2F92467D-D6D2-42C0-95DA-FCF047385E01 @default.
- Q58856546 P478 Q58856546-FCA38CB5-3448-48C3-A486-3A5571269B34 @default.
- Q58856546 P50 Q58856546-EA86D5A8-8AEB-4C11-9B16-8CE01472D6BD @default.
- Q58856546 P577 Q58856546-91B1163E-79AF-40C9-A815-71730212793A @default.
- Q58856546 P8978 Q58856546-D0D6EA0C-71A9-403E-AE9A-342DAF5509CE @default.
- Q58856546 P356 KES-140294 @default.
- Q58856546 P8978 MarakakisKP14 @default.
- Q58856546 P1433 Q15754768 @default.
- Q58856546 P1476 "A knowledge-based interactive verifier for logic programs" @default.
- Q58856546 P2093 "Emmanouil Marakakis" @default.
- Q58856546 P2093 "Nikos Papadakis" @default.
- Q58856546 P304 "143-156" @default.
- Q58856546 P31 Q13442814 @default.
- Q58856546 P356 "10.3233/KES-140294" @default.
- Q58856546 P433 "3" @default.
- Q58856546 P478 "18" @default.
- Q58856546 P50 Q56567493 @default.
- Q58856546 P577 "2014-10-29T00:00:00Z" @default.
- Q58856546 P8978 "journals/kes/MarakakisKP14" @default.