Matches in Wikidata for { <http://www.wikidata.org/entity/Q56565450> ?p ?o ?g. }
Showing items 1 to 32 of
32
with 100 items per page.
- Q56565450 description "article scientifique publié en 2006" @default.
- Q56565450 description "artículu científicu" @default.
- Q56565450 description "wetenschappelijk artikel" @default.
- Q56565450 description "наукова стаття, опублікована в січні 2006" @default.
- Q56565450 name "Formal certification of a compiler back-end or" @default.
- Q56565450 name "Formal certification of a compiler back-end or" @default.
- Q56565450 type Item @default.
- Q56565450 label "Formal certification of a compiler back-end or" @default.
- Q56565450 label "Formal certification of a compiler back-end or" @default.
- Q56565450 prefLabel "Formal certification of a compiler back-end or" @default.
- Q56565450 prefLabel "Formal certification of a compiler back-end or" @default.
- Q56565450 P1433 Q56565450-78499FE5-0EA1-49D4-903E-1B8E8B68712D @default.
- Q56565450 P1476 Q56565450-A8961FB3-A1E6-49A4-8F88-CAADED36A881 @default.
- Q56565450 P2093 Q56565450-0A5E51D0-D282-438F-9B00-A98DF2BE46FB @default.
- Q56565450 P304 Q56565450-391C2DDE-F446-40A5-91F1-E3947E4EFE84 @default.
- Q56565450 P31 Q56565450-41E5A946-C2F4-466D-91E1-27C68EAD3ED0 @default.
- Q56565450 P356 Q56565450-46DBFF81-0D03-4B6E-A8B1-16C7E7F8DA8F @default.
- Q56565450 P433 Q56565450-10C3DE7C-9E5C-4D28-98C2-CAF6EC332F03 @default.
- Q56565450 P478 Q56565450-B201CFF6-ADB0-46D6-890A-DEBE983A714D @default.
- Q56565450 P577 Q56565450-6128630D-817D-4AA3-8CF2-EFDA50DDECA4 @default.
- Q56565450 P921 Q56565450-40A64227-D8C9-472B-B315-0053EA27CE8E @default.
- Q56565450 P356 1111320.1111042 @default.
- Q56565450 P1433 Q22247351 @default.
- Q56565450 P1476 "Formal certification of a compiler back-end or" @default.
- Q56565450 P2093 "Xavier Leroy" @default.
- Q56565450 P304 "42-54" @default.
- Q56565450 P31 Q13442814 @default.
- Q56565450 P356 "10.1145/1111320.1111042" @default.
- Q56565450 P433 "1" @default.
- Q56565450 P478 "41" @default.
- Q56565450 P577 "2006-01-12T00:00:00Z" @default.
- Q56565450 P921 Q47506 @default.