Matches in Wikidata for { <http://www.wikidata.org/entity/Q124815458> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- Q124815458 description "1993 nî lūn-bûn" @default.
- Q124815458 description "1993年の論文" @default.
- Q124815458 description "1993年学术文章" @default.
- Q124815458 description "1993年学术文章" @default.
- Q124815458 description "1993年学术文章" @default.
- Q124815458 description "1993年學術文章" @default.
- Q124815458 description "1993年學術文章" @default.
- Q124815458 description "1993년 논문" @default.
- Q124815458 description "article científic" @default.
- Q124815458 description "article scientific" @default.
- Q124815458 description "article scientifique" @default.
- Q124815458 description "articol științific" @default.
- Q124815458 description "articolo scientifico" @default.
- Q124815458 description "artigo científico" @default.
- Q124815458 description "artigo científico" @default.
- Q124815458 description "artigo científico" @default.
- Q124815458 description "artikel ilmiah" @default.
- Q124815458 description "artikull shkencor" @default.
- Q124815458 description "artikulong pang-agham" @default.
- Q124815458 description "artykuł naukowy" @default.
- Q124815458 description "artículo científico publicado en 1993" @default.
- Q124815458 description "artículu científicu" @default.
- Q124815458 description "bilimsel makale" @default.
- Q124815458 description "bài báo khoa học" @default.
- Q124815458 description "naučni članak" @default.
- Q124815458 description "scienca artikolo" @default.
- Q124815458 description "scientific article published in 1993" @default.
- Q124815458 description "teaduslik artikkel" @default.
- Q124815458 description "tieteellinen artikkeli" @default.
- Q124815458 description "tudományos cikk" @default.
- Q124815458 description "vedecký článok" @default.
- Q124815458 description "vetenskaplig artikel" @default.
- Q124815458 description "videnskabelig artikel udgivet februar 1993" @default.
- Q124815458 description "vitenskapelig artikkel" @default.
- Q124815458 description "vitskapeleg artikkel" @default.
- Q124815458 description "vědecký článek" @default.
- Q124815458 description "wetenschappelijk artikel" @default.
- Q124815458 description "wissenschaftlicher Artikel" @default.
- Q124815458 description "znanstveni članek" @default.
- Q124815458 description "επιστημονικό άρθρο" @default.
- Q124815458 description "мақолаи илмӣ" @default.
- Q124815458 description "наукова стаття, опублікована в лютому 1993" @default.
- Q124815458 description "научна статия" @default.
- Q124815458 description "научная статья" @default.
- Q124815458 description "научни чланак" @default.
- Q124815458 description "научни чланак" @default.
- Q124815458 description "מאמר מדעי" @default.
- Q124815458 description "مقالة بحثية نشرت في فبراير 1993" @default.
- Q124815458 description "ফেব্রুয়ারি ১৯৯৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q124815458 description "บทความทางวิทยาศาสตร์" @default.
- Q124815458 description "სამეცნიერო სტატია" @default.
- Q124815458 name "Using fixed-point semantics to prove retiming lemmas" @default.
- Q124815458 type Item @default.
- Q124815458 label "Using fixed-point semantics to prove retiming lemmas" @default.
- Q124815458 prefLabel "Using fixed-point semantics to prove retiming lemmas" @default.
- Q124815458 P1433 Q124815458-94E8D827-63E3-4DC7-987C-D2BA418E01C8 @default.
- Q124815458 P1476 Q124815458-3CDB64B5-FC44-4A9C-8998-DBAF632BED46 @default.
- Q124815458 P2093 Q124815458-33E1D67C-BD4C-468E-A6AB-464DD6977A15 @default.
- Q124815458 P304 Q124815458-4A0D54CC-C769-4DA3-8942-0166776CF6F0 @default.
- Q124815458 P31 Q124815458-C95DEBBE-1248-469F-BED6-4F75B9DC4317 @default.
- Q124815458 P356 Q124815458-426DF5F8-4344-4F0B-BD55-0056D8985CAC @default.
- Q124815458 P433 Q124815458-F07EE200-171B-4190-ADB0-0CF30D7B26D4 @default.
- Q124815458 P478 Q124815458-F1C137ED-1DAD-4797-8F84-92D36CE2DA9F @default.
- Q124815458 P577 Q124815458-7875BB79-8395-47D3-BC82-C098E8DCD713 @default.
- Q124815458 P356 BF01383944 @default.
- Q124815458 P1433 Q15755416 @default.
- Q124815458 P1476 "Using fixed-point semantics to prove retiming lemmas" @default.
- Q124815458 P2093 "Stephen Brookes" @default.
- Q124815458 P304 "73-91" @default.
- Q124815458 P31 Q13442814 @default.
- Q124815458 P356 "10.1007/BF01383944" @default.
- Q124815458 P433 "1" @default.
- Q124815458 P478 "2" @default.
- Q124815458 P577 "1993-02-01T00:00:00Z" @default.