Matches in Wikidata for { <http://www.wikidata.org/entity/Q114589149> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- Q114589149 description "1966 nî lūn-bûn" @default.
- Q114589149 description "1966年の論文" @default.
- Q114589149 description "1966年学术文章" @default.
- Q114589149 description "1966年学术文章" @default.
- Q114589149 description "1966年学术文章" @default.
- Q114589149 description "1966年学术文章" @default.
- Q114589149 description "1966年学术文章" @default.
- Q114589149 description "1966年学术文章" @default.
- Q114589149 description "1966年學術文章" @default.
- Q114589149 description "1966年學術文章" @default.
- Q114589149 description "1966年學術文章" @default.
- Q114589149 description "1966年學術文章" @default.
- Q114589149 description "1966年學術文章" @default.
- Q114589149 description "1966년 논문" @default.
- Q114589149 description "article científic" @default.
- Q114589149 description "article scientific" @default.
- Q114589149 description "article scientifique" @default.
- Q114589149 description "articol științific" @default.
- Q114589149 description "articolo scientifico" @default.
- Q114589149 description "artigo científico" @default.
- Q114589149 description "artigo científico" @default.
- Q114589149 description "artigo científico" @default.
- Q114589149 description "artikel ilmiah" @default.
- Q114589149 description "artikull shkencor" @default.
- Q114589149 description "artikulong pang-agham" @default.
- Q114589149 description "artykuł naukowy" @default.
- Q114589149 description "artículo científico publicado en 1966" @default.
- Q114589149 description "artículu científicu espublizáu en 1966" @default.
- Q114589149 description "bilimsel makale" @default.
- Q114589149 description "bài báo khoa học" @default.
- Q114589149 description "naučni članak" @default.
- Q114589149 description "scienca artikolo" @default.
- Q114589149 description "scientific article published in 1966" @default.
- Q114589149 description "scientific article published in March 1966" @default.
- Q114589149 description "scientific article published in March 1966" @default.
- Q114589149 description "teaduslik artikkel" @default.
- Q114589149 description "tieteellinen artikkeli" @default.
- Q114589149 description "tudományos cikk" @default.
- Q114589149 description "vedecký článok" @default.
- Q114589149 description "vetenskaplig artikel" @default.
- Q114589149 description "videnskabelig artikel udgivet marts 1966" @default.
- Q114589149 description "vitenskapelig artikkel" @default.
- Q114589149 description "vitskapeleg artikkel" @default.
- Q114589149 description "vědecký článek" @default.
- Q114589149 description "wetenschappelijk artikel" @default.
- Q114589149 description "wissenschaftlicher Artikel" @default.
- Q114589149 description "επιστημονικό άρθρο" @default.
- Q114589149 description "мақолаи илмӣ" @default.
- Q114589149 description "наукова стаття, опублікована в березні 1966" @default.
- Q114589149 description "научна статия" @default.
- Q114589149 description "научная статья" @default.
- Q114589149 description "научни чланак" @default.
- Q114589149 description "научни чланак" @default.
- Q114589149 description "գիտական հոդված հրատարակված 1966 թվականին" @default.
- Q114589149 description "מאמר מדעי" @default.
- Q114589149 description "مقالة بحثية نشرت في مارس 1966" @default.
- Q114589149 description "মার্চ ১৯৬৬-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q114589149 description "บทความทางวิทยาศาสตร์" @default.
- Q114589149 description "სამეცნიერო სტატია" @default.
- Q114589149 name "P. C. Gilmore. A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. English, with English, French, German, Russian, and Spanish summaries. Information processing, Proceedings of the In" @default.
- Q114589149 type Item @default.
- Q114589149 label "P. C. Gilmore. A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. English, with English, French, German, Russian, and Spanish summaries. Information processing, Proceedings of the In" @default.
- Q114589149 prefLabel "P. C. Gilmore. A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. English, with English, French, German, Russian, and Spanish summaries. Information processing, Proceedings of the In" @default.
- Q114589149 P1433 Q114589149-2B45FF23-C18E-4FFC-BD91-AAC33FD4F1DE @default.
- Q114589149 P1476 Q114589149-C3A24C5B-DA57-486E-9745-BDCA95E0D12B @default.
- Q114589149 P2093 Q114589149-869E66DA-9D0E-4499-9961-127C2175BB30 @default.
- Q114589149 P304 Q114589149-0478CF1E-A210-460C-A756-D2E68784C95A @default.
- Q114589149 P31 Q114589149-3F1997BC-BBEB-499F-B6DD-E2DFFE24FE21 @default.
- Q114589149 P356 Q114589149-E0F84AB1-0277-4CA1-B980-E1BD5DC5F603 @default.
- Q114589149 P433 Q114589149-CE28F27D-E047-42E6-AB7D-8F0FF1026320 @default.
- Q114589149 P478 Q114589149-07BD3EBC-6696-4782-8586-382577E70B25 @default.
- Q114589149 P577 Q114589149-F4633439-4439-43CE-9A37-69C145845EA7 @default.
- Q114589149 P921 Q114589149-9C166626-A94F-466B-9763-417B27EE0506 @default.
- Q114589149 P356 2270652 @default.
- Q114589149 P1433 Q6295979 @default.
- Q114589149 P1476 "P. C. Gilmore. A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. English, with English, French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, pp. 265–273. - J. Porte, P. C. Gilmore, Dag H. Prawitz, Håkon Prawitz, and Neri Voghera. Discussion. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, p. 273. - P. C. Gilmore. A proof method for quantification theory: Its justification and realization. IBM journal of research and development, vol. 4 (1960), pp. 28–35." @default.
- Q114589149 P2093 "J. A. Robinson" @default.
- Q114589149 P304 "124-125" @default.
- Q114589149 P31 Q13442814 @default.
- Q114589149 P356 "10.2307/2270652" @default.
- Q114589149 P433 "1" @default.
- Q114589149 P478 "31" @default.
- Q114589149 P577 "1966-03-01T00:00:00Z" @default.
- Q114589149 P921 Q750843 @default.