Matches in Wikidata for { <http://www.wikidata.org/entity/Q57834891> ?p ?o ?g. }
Showing items 1 to 25 of
25
with 100 items per page.
- Q57834891 description "article scientifique publié en 2009" @default.
- Q57834891 description "wetenschappelijk artikel" @default.
- Q57834891 description "наукова стаття, опублікована у 2009" @default.
- Q57834891 name "Hypertext navigation of ACL2 proofs with XMLEye" @default.
- Q57834891 name "Hypertext navigation of ACL2 proofs with XMLEye" @default.
- Q57834891 type Item @default.
- Q57834891 label "Hypertext navigation of ACL2 proofs with XMLEye" @default.
- Q57834891 label "Hypertext navigation of ACL2 proofs with XMLEye" @default.
- Q57834891 prefLabel "Hypertext navigation of ACL2 proofs with XMLEye" @default.
- Q57834891 prefLabel "Hypertext navigation of ACL2 proofs with XMLEye" @default.
- Q57834891 P1476 Q57834891-7524758A-CCA1-4122-98EF-CC7D8CDED4B3 @default.
- Q57834891 P2093 Q57834891-0F1B3212-7150-4191-A8C8-F6B583432C37 @default.
- Q57834891 P2093 Q57834891-4B606532-847A-4560-9F55-7DE377A70DF3 @default.
- Q57834891 P2093 Q57834891-55A3181B-BF9B-4578-88A7-C011BAFBDF8A @default.
- Q57834891 P31 Q57834891-A7688EA8-DC2F-4612-B89E-0A4799A6E9E2 @default.
- Q57834891 P356 Q57834891-03BA8963-7F7C-4A73-B824-3929685424E1 @default.
- Q57834891 P577 Q57834891-C3191A19-4662-4BD8-BF47-70FE6C2B7D94 @default.
- Q57834891 P356 1637837.1637845 @default.
- Q57834891 P1476 "Hypertext navigation of ACL2 proofs with XMLEye" @default.
- Q57834891 P2093 "Antonio García-Domínguez" @default.
- Q57834891 P2093 "Francisco Palomo-Lozano" @default.
- Q57834891 P2093 "Inmaculada Medina-Bulo" @default.
- Q57834891 P31 Q13442814 @default.
- Q57834891 P356 "10.1145/1637837.1637845" @default.
- Q57834891 P577 "2009-01-01T00:00:00Z" @default.