Matches in Wikidata for { <http://www.wikidata.org/entity/Q56115566> ?p ?o ?g. }
Showing items 1 to 36 of
36
with 100 items per page.
- Q56115566 description "article" @default.
- Q56115566 description "artículu científicu" @default.
- Q56115566 description "im November 1979 veröffentlichter wissenschaftlicher Artikel" @default.
- Q56115566 description "wetenschappelijk artikel" @default.
- Q56115566 description "наукова стаття, опублікована в листопаді 1979" @default.
- Q56115566 description "ലേഖനം" @default.
- Q56115566 name "Proving Total Correctness of Parallel Programs" @default.
- Q56115566 name "Proving Total Correctness of Parallel Programs" @default.
- Q56115566 type Item @default.
- Q56115566 label "Proving Total Correctness of Parallel Programs" @default.
- Q56115566 label "Proving Total Correctness of Parallel Programs" @default.
- Q56115566 prefLabel "Proving Total Correctness of Parallel Programs" @default.
- Q56115566 prefLabel "Proving Total Correctness of Parallel Programs" @default.
- Q56115566 P1433 Q56115566-5E3177B2-883B-4F98-9FD6-576107D47297 @default.
- Q56115566 P1476 Q56115566-3F93AB52-2A1C-4433-9DE8-BB4FEB0D23FB @default.
- Q56115566 P2093 Q56115566-59AF199F-FE61-4806-92EC-97035D35390C @default.
- Q56115566 P304 Q56115566-2C077EA0-7CA5-4494-926E-BBCC2C40439D @default.
- Q56115566 P31 Q56115566-43B92448-6A2C-41F0-9FC3-91C220624271 @default.
- Q56115566 P356 Q56115566-206B12C7-E916-4F69-960E-E32F432060FB @default.
- Q56115566 P433 Q56115566-60F2237C-A8FF-4804-B551-0ED0A4F3DCEE @default.
- Q56115566 P478 Q56115566-5A745756-D21A-4818-8397-A4D4A97CDFFD @default.
- Q56115566 P577 Q56115566-ECED5A64-E26B-4F89-A601-21F97C4E43DD @default.
- Q56115566 P6104 Q56115566-16D25C42-EE6B-4ED7-9D00-4A401F6CE51C @default.
- Q56115566 P894 Q56115566-D6124A62-08BC-4757-B6AE-C325757C8EF1 @default.
- Q56115566 P356 TSE.1979.230192 @default.
- Q56115566 P1433 Q589417 @default.
- Q56115566 P1476 "Proving Total Correctness of Parallel Programs" @default.
- Q56115566 P2093 "A.F. Babich" @default.
- Q56115566 P304 "558-574" @default.
- Q56115566 P31 Q13442814 @default.
- Q56115566 P356 "10.1109/TSE.1979.230192" @default.
- Q56115566 P433 "6" @default.
- Q56115566 P478 "SE-5" @default.
- Q56115566 P577 "1979-11-01T00:00:00Z" @default.
- Q56115566 P6104 Q8487137 @default.
- Q56115566 P894 "0428.68019" @default.