Matches in Wikidata for { <http://www.wikidata.org/entity/Q114075132> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- Q114075132 description "2022 nî lūn-bûn" @default.
- Q114075132 description "2022年の論文" @default.
- Q114075132 description "2022年学术文章" @default.
- Q114075132 description "2022年学术文章" @default.
- Q114075132 description "2022年学术文章" @default.
- Q114075132 description "2022年学术文章" @default.
- Q114075132 description "2022年学术文章" @default.
- Q114075132 description "2022年学术文章" @default.
- Q114075132 description "2022年學術文章" @default.
- Q114075132 description "2022年學術文章" @default.
- Q114075132 description "2022年學術文章" @default.
- Q114075132 description "2022年學術文章" @default.
- Q114075132 description "2022年學術文章" @default.
- Q114075132 description "2022년 논문" @default.
- Q114075132 description "article científic" @default.
- Q114075132 description "article scientific" @default.
- Q114075132 description "article scientifique" @default.
- Q114075132 description "articol științific" @default.
- Q114075132 description "articolo scientifico" @default.
- Q114075132 description "artigo científico" @default.
- Q114075132 description "artigo científico" @default.
- Q114075132 description "artigo científico" @default.
- Q114075132 description "artikel ilmiah" @default.
- Q114075132 description "artikull shkencor" @default.
- Q114075132 description "artikulong pang-agham" @default.
- Q114075132 description "artykuł naukowy" @default.
- Q114075132 description "artículo científico publicado en 2022" @default.
- Q114075132 description "artículu científicu espublizáu en 2022" @default.
- Q114075132 description "bilimsel makale" @default.
- Q114075132 description "bài báo khoa học" @default.
- Q114075132 description "naučni članak" @default.
- Q114075132 description "scienca artikolo" @default.
- Q114075132 description "scientific article published in 2022" @default.
- Q114075132 description "scientific article published on 13 September 2022" @default.
- Q114075132 description "scientific article published on 13 September 2022" @default.
- Q114075132 description "teaduslik artikkel" @default.
- Q114075132 description "tieteellinen artikkeli" @default.
- Q114075132 description "tudományos cikk" @default.
- Q114075132 description "vedecký článok" @default.
- Q114075132 description "vetenskaplig artikel" @default.
- Q114075132 description "videnskabelig artikel udgivet 13. september 2022" @default.
- Q114075132 description "vitenskapelig artikkel" @default.
- Q114075132 description "vitskapeleg artikkel" @default.
- Q114075132 description "vědecký článek" @default.
- Q114075132 description "wetenschappelijk artikel" @default.
- Q114075132 description "wissenschaftlicher Artikel" @default.
- Q114075132 description "επιστημονικό άρθρο" @default.
- Q114075132 description "мақолаи илмӣ" @default.
- Q114075132 description "наукова стаття, опублікована у вересні 2022" @default.
- Q114075132 description "научна статия" @default.
- Q114075132 description "научная статья" @default.
- Q114075132 description "научни чланак" @default.
- Q114075132 description "научни чланак" @default.
- Q114075132 description "מאמר מדעי" @default.
- Q114075132 description "مقالة بحثية نشرت في 13 سبتمبر 2022" @default.
- Q114075132 description "১৩ সেপ্টেম্বর ২০২২-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q114075132 description "บทความทางวิทยาศาสตร์" @default.
- Q114075132 description "სამეცნიერო სტატია" @default.
- Q114075132 name "Automation of C Program Deductive Verification without Using Loop Invariants" @default.
- Q114075132 type Item @default.
- Q114075132 label "Automation of C Program Deductive Verification without Using Loop Invariants" @default.
- Q114075132 prefLabel "Automation of C Program Deductive Verification without Using Loop Invariants" @default.
- Q114075132 P1433 Q114075132-518279C3-D47A-4E83-AAEC-74FBF16E02F7 @default.
- Q114075132 P1476 Q114075132-F4A9BEFA-6BE0-40FF-AA88-CBC6DC97E52B @default.
- Q114075132 P2093 Q114075132-1DEE1B1C-FA67-4348-BC18-72B163EB6AC1 @default.
- Q114075132 P2093 Q114075132-A646FDCA-5370-4D23-A60B-D182FD339617 @default.
- Q114075132 P304 Q114075132-CE1B48D5-FC61-4FBA-9280-89384DCC2800 @default.
- Q114075132 P31 Q114075132-75053C0A-8FF0-4167-A2FB-F15709363D2F @default.
- Q114075132 P356 Q114075132-D25FB9F4-2671-4880-A04A-FD3024373AF9 @default.
- Q114075132 P433 Q114075132-839A4186-FE6C-494A-890D-BB104BB0C8C4 @default.
- Q114075132 P478 Q114075132-0EBF1D60-E7AA-4490-A970-FB21195752E6 @default.
- Q114075132 P577 Q114075132-6C6C84DD-990B-4729-A31F-3BF3779D2B1B @default.
- Q114075132 P356 S036176882205005X @default.
- Q114075132 P1433 Q15761710 @default.
- Q114075132 P1476 "Automation of C Program Deductive Verification without Using Loop Invariants" @default.
- Q114075132 P2093 "D. A. Kondratyev" @default.
- Q114075132 P2093 "V. A. Nepomniaschy" @default.
- Q114075132 P304 "331-346" @default.
- Q114075132 P31 Q13442814 @default.
- Q114075132 P356 "10.1134/S036176882205005X" @default.
- Q114075132 P433 "5" @default.
- Q114075132 P478 "48" @default.
- Q114075132 P577 "2022-09-13T00:00:00Z" @default.