Matches in Wikidata for { <http://www.wikidata.org/entity/Q123349894> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- Q123349894 description "2023 nî lūn-bûn" @default.
- Q123349894 description "2023年の論文" @default.
- Q123349894 description "2023年学术文章" @default.
- Q123349894 description "2023年学术文章" @default.
- Q123349894 description "2023年学术文章" @default.
- Q123349894 description "2023年學術文章" @default.
- Q123349894 description "2023年學術文章" @default.
- Q123349894 description "2023년 논문" @default.
- Q123349894 description "article científic" @default.
- Q123349894 description "article scientific" @default.
- Q123349894 description "article scientifique" @default.
- Q123349894 description "articol științific" @default.
- Q123349894 description "articolo scientifico" @default.
- Q123349894 description "artigo científico" @default.
- Q123349894 description "artigo científico" @default.
- Q123349894 description "artigo científico" @default.
- Q123349894 description "artikel ilmiah" @default.
- Q123349894 description "artikull shkencor" @default.
- Q123349894 description "artikulong pang-agham" @default.
- Q123349894 description "artykuł naukowy" @default.
- Q123349894 description "artículo científico publicado en 2023" @default.
- Q123349894 description "artículu científicu" @default.
- Q123349894 description "bilimsel makale" @default.
- Q123349894 description "bài báo khoa học" @default.
- Q123349894 description "naučni članak" @default.
- Q123349894 description "scienca artikolo" @default.
- Q123349894 description "scientific article published in 2023" @default.
- Q123349894 description "teaduslik artikkel" @default.
- Q123349894 description "tieteellinen artikkeli" @default.
- Q123349894 description "tudományos cikk" @default.
- Q123349894 description "vedecký článok" @default.
- Q123349894 description "vetenskaplig artikel" @default.
- Q123349894 description "videnskabelig artikel udgivet marts 2023" @default.
- Q123349894 description "vitenskapelig artikkel" @default.
- Q123349894 description "vitskapeleg artikkel" @default.
- Q123349894 description "vědecký článek" @default.
- Q123349894 description "wetenschappelijk artikel" @default.
- Q123349894 description "wissenschaftlicher Artikel" @default.
- Q123349894 description "znanstveni članek" @default.
- Q123349894 description "επιστημονικό άρθρο" @default.
- Q123349894 description "мақолаи илмӣ" @default.
- Q123349894 description "наукова стаття, опублікована в березні 2023" @default.
- Q123349894 description "научна статия" @default.
- Q123349894 description "научная статья" @default.
- Q123349894 description "научни чланак" @default.
- Q123349894 description "научни чланак" @default.
- Q123349894 description "מאמר מדעי" @default.
- Q123349894 description "مقالة بحثية نشرت في مارس 2023" @default.
- Q123349894 description "মার্চ ২০২৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q123349894 description "บทความทางวิทยาศาสตร์" @default.
- Q123349894 description "სამეცნიერო სტატია" @default.
- Q123349894 name "Omitting types theorem in hybrid dynamic first-order logic with rigid symbols" @default.
- Q123349894 type Item @default.
- Q123349894 label "Omitting types theorem in hybrid dynamic first-order logic with rigid symbols" @default.
- Q123349894 prefLabel "Omitting types theorem in hybrid dynamic first-order logic with rigid symbols" @default.
- Q123349894 P1433 Q123349894-D4730599-696E-408B-9EDB-F1CE3ABAAC36 @default.
- Q123349894 P1476 Q123349894-D67CF346-AB62-4039-A990-2520DEF231AB @default.
- Q123349894 P2093 Q123349894-1956B226-EE8D-4D85-BC9F-60211F5F531A @default.
- Q123349894 P2093 Q123349894-D5E22B3D-B019-43F8-8603-EF2F07637686 @default.
- Q123349894 P304 Q123349894-AFA56AFA-6857-4E43-AC97-2C77A19516DA @default.
- Q123349894 P31 Q123349894-54C76751-8AE8-4B32-9BAA-2EC2C264EE8D @default.
- Q123349894 P356 Q123349894-F058CF9B-B937-435B-937E-333E215A5138 @default.
- Q123349894 P433 Q123349894-077F29F7-E39C-4D5D-8822-995C999372CE @default.
- Q123349894 P478 Q123349894-CC689C7E-BE99-40C6-A182-B4E55E9328D4 @default.
- Q123349894 P50 Q123349894-F9799EC3-A783-4784-B52E-18EE1EFC26EB @default.
- Q123349894 P577 Q123349894-0769ABAC-AC60-43FB-BBF9-DD1AAA1AE15F @default.
- Q123349894 P356 J.APAL.2022.103212 @default.
- Q123349894 P1433 Q15762450 @default.
- Q123349894 P1476 "Omitting types theorem in hybrid dynamic first-order logic with rigid symbols" @default.
- Q123349894 P2093 "Daniel Găină" @default.
- Q123349894 P2093 "Tomasz Kowalski" @default.
- Q123349894 P304 "103212" @default.
- Q123349894 P31 Q13442814 @default.
- Q123349894 P356 "10.1016/J.APAL.2022.103212" @default.
- Q123349894 P433 "3" @default.
- Q123349894 P478 "174" @default.
- Q123349894 P50 Q90905922 @default.
- Q123349894 P577 "2023-03-01T00:00:00Z" @default.