KalmarS50
has-web-address: http://projecteuclid.org/euclid.jsl/1183730925
has-date: http://www.aktors.org/ontology/date#1950
has-title: On the Reduction of the Decision Problem: Third Paper. Pepis Prefix, a Single Binary Predicate.
type: Article-Reference
type: Thing
has-volume: 15

KalmarS50
type: Thing
type: Article-Reference
has-volume: 15
has-web-address: http://projecteuclid.org/euclid.jsl/1183730925
has-date: http://www.aktors.org/ontology/date#1950
has-title: On the Reduction of the Decision Problem: Third Paper. Pepis Prefix, a Single Binary Predicate.

http://dblp.rkbexplorer.com/id/people-6596aa15945f62f65dec58d6f24a0f67-7d76cc75929623d094bd9e500e006baa
full-name: John R. Myhill
type: Person
type: Thing

Peter50
has-volume: 15
has-web-address: http://projecteuclid.org/euclid.jsl/1183731011
has-title: Zusammenhang der Mehrfachen und Transfiniten Rekursionen.
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1950
type: Thing

Janiczak50
has-title: A Remark Concerning Decidability of Complete Theories.
type: Thing
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731013
has-volume: 15
has-date: http://www.aktors.org/ontology/date#1950

http://dblp.rkbexplorer.com/id/people-f3d31862c2683035094896259da9db7f-28c7fbd8bbeb4e1ff0207f0723e6243f
full-name: W. V. Quine
type: Person
type: Thing

Martin50
has-web-address: http://projecteuclid.org/euclid.jsl/1183730866
type: Thing
has-date: http://www.aktors.org/ontology/date#1950
has-volume: 15
has-title: On Virtual Classes and Real Numbers.
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-bac63f0489e23261dea321898af7a5df-f23dd3393d7abf969f6838eb1586535c
full-name: Wilhelm Ackermann
type: Person
type: Thing

Wald50
has-title: Statistical Decision Funtions.
has-date: http://www.aktors.org/ontology/date#1950
type: Book-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-3e49650864256fb1a74e566e7c7f2545-3a39d7c2b78e39dc0179db796671471b
full-name: Hao Wang
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/journals-cd761b4aebc5ac2ad8d181327497e7b1
has-title: J. Symb. Log.
type: Journal
type: Thing

http://dblp.rkbexplorer.com/id/people-0931e4a4b1038499664bb3ac8b97d318-4cae767bda285d39fe1c85ec8f4327c4
full-name: Morton G. White
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-eb700dedf3a3b06724322d24846ba443-cd520c1c212ec0685e22525cea3e9944
full-name: Yehoshua Bar-Hillel
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-7462c358b5385b45c6cdbc1952bd2c48-bc22cc4b8691069babcb928aae0859f0
full-name: Frederic Brenton Fitch
type: Person
type: Thing

Wang50
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183730813
has-volume: 15
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1950
has-title: A Formal System of Logic.

http://dblp.rkbexplorer.com/id/people-6596aa15945f62f65dec58d6f24a0f67-e451eca89abfa5a5a43bbff193a55870
full-name: John R. Myhill
type: Person
type: Thing

Fitch50
has-date: http://www.aktors.org/ontology/date#1950
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183730812
has-title: A Demonstrably Consistent Mathematics - Part I.
type: Article-Reference
has-volume: 15

http://dblp.rkbexplorer.com/id/people-d624ad62c2e236230107df0a81e54eb4-4e138693b61f07d993d2bddba9fdf500
full-name: Ruth Barcan Marcus
type: Person
type: Thing

http://dblp.l3s.de/d2r/resource/publications/books/daglib/0081951
has-title: The human use of human beings - cybernetics and society.
has-date: http://www.aktors.org/ontology/date#1950
type: Book-Reference
type: Thing

Quine50
has-title: On Natural Deduction.
type: Article-Reference
has-volume: 15
has-web-address: http://projecteuclid.org/euclid.jsl/1183730862
has-date: http://www.aktors.org/ontology/date#1950
type: Thing

http://dblp.rkbexplorer.com/id/people-3e49650864256fb1a74e566e7c7f2545-41e87103217a24745796346360f5c04e
full-name: Hao Wang
type: Person
type: Thing

Ackermann50
type: Article-Reference
has-volume: 15
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183730814
has-title: Widerspruchsfreier Aufbau Der Logik I: Typenfreies System Ohne Tertium Non Datur.
has-date: http://www.aktors.org/ontology/date#1950

Hasenjaeger50
has-title: Über eine Art Von Unvollständigkeit des Prädikaten-Kalküls der Ersten Stufe.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731012
has-volume: 15
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1950

http://dblp.rkbexplorer.com/id/people-9a896d46d5f6788425474eca0e1d3859-8d836127b213f5b69c302031c8fbe794
full-name: Jan Kalicki
type: Person
type: Thing

White50
has-volume: 15
has-web-address: http://projecteuclid.org/euclid.jsl/1183730852
has-title: Twelfth Meeting of the Association for Symbolic Logic.
has-date: http://www.aktors.org/ontology/date#1950
type: Thing
type: Article-Reference

Harary50
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183730929
has-title: On Complete Atomic Proper Relation Algebras.
has-volume: 15
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1950

Hasenjaeger50
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731012
has-volume: 15
has-title: Über eine Art Von Unvollständigkeit des Prädikaten-Kalküls der Ersten Stufe.
has-date: http://www.aktors.org/ontology/date#1950
type: Thing

http://dblp.rkbexplorer.com/id/people-80202cccf6b7efd6634ae0a49d1fbad1-4f55e3cf42b9c4268df95c649f645714
full-name: Laszlo Kalmar
type: Person
type: Thing

Bar-Hillel50
has-volume: 15
has-web-address: http://projecteuclid.org/euclid.jsl/1183730811
has-title: On Syntactical Categories.
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1950
type: Thing

Harary50
has-web-address: http://projecteuclid.org/euclid.jsl/1183730929
type: Article-Reference
has-volume: 15
has-title: On Complete Atomic Proper Relation Algebras.
has-date: http://www.aktors.org/ontology/date#1950
type: Thing

http://dblp.rkbexplorer.com/id/people-3e49650864256fb1a74e566e7c7f2545-711e8dda6ca071b1f7c490f3fd0d606e
full-name: Hao Wang
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-5af510cec8915bc4c750d9759d0f95fa-cf5822418b4349cd9f0957311827a3f8
full-name: Janos Suranyi
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-3e49650864256fb1a74e566e7c7f2545-a4bb17956b78dbb6c2ae3fb9518e7053
full-name: Hao Wang
type: Person
type: Thing

Bar-Hillel50
type: Thing
has-title: On Syntactical Categories.
has-date: http://www.aktors.org/ontology/date#1950
has-web-address: http://projecteuclid.org/euclid.jsl/1183730811
type: Article-Reference
has-volume: 15

http://dblp.rkbexplorer.com/id/people-d3c2f2fa6f9e9b7a250043da5a6782ab-b55af8993173a0657a9477dc6a6c4d6e
full-name: A. Wald
type: Person
type: Thing

Wang50b
type: Thing
has-date: http://www.aktors.org/ontology/date#1950
has-volume: 15
has-title: Set-Theoretical Basis for Real Numbers.
has-web-address: http://projecteuclid.org/euclid.jsl/1183731010
type: Article-Reference

Wald50
has-title: Statistical Decision Funtions.
has-date: http://www.aktors.org/ontology/date#1950
type: Book-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-f506922a6a041e1332a503809137d194-41e87103217a24745796346360f5c04e
full-name: J. Barkley Rosser
type: Person
type: Thing

Marcus50
has-title: The Elimination of Contextually Defined Predicates in a Modal System.
has-web-address: http://projecteuclid.org/euclid.jsl/1183730861
has-volume: 15
has-date: http://www.aktors.org/ontology/date#1950
type: Thing
type: Article-Reference

Marcus50
has-web-address: http://projecteuclid.org/euclid.jsl/1183730861
type: Thing
has-title: The Elimination of Contextually Defined Predicates in a Modal System.
has-volume: 15
has-date: http://www.aktors.org/ontology/date#1950
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-f17f8bec431ced74bf61cde0623835d2-c2b665b3e71ecc91071d23f0f4d91cf0
full-name: Leon Henkin
type: Person
type: Thing

http://www.aktors.org/ontology/date#1950
year-of: 1950
type: Calendar-Date
type: Thing

http://dblp.rkbexplorer.com/id/people-56583c389d56ed0568971b6841481427-3f1a5c41f13a1c5d42289255f6b09c81
full-name: Gisbert Hasenjaeger
type: Person
type: Thing

Wang50b
has-title: Set-Theoretical Basis for Real Numbers.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183731010
has-volume: 15
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1950

Kalicki50
has-title: Note on Truth-Tables.
has-date: http://www.aktors.org/ontology/date#1950
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183730926
has-volume: 15
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-a00b9e1593248109312c23290a09c9f8-3eb23698a15c0f0c6f5f4e7e479043e7
full-name: Frank Harary
type: Person
type: Thing

Ackermann50
type: Thing
type: Article-Reference
has-title: Widerspruchsfreier Aufbau Der Logik I: Typenfreies System Ohne Tertium Non Datur.
has-date: http://www.aktors.org/ontology/date#1950
has-web-address: http://projecteuclid.org/euclid.jsl/1183730814
has-volume: 15

Kalicki50
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183730926
has-volume: 15
has-date: http://www.aktors.org/ontology/date#1950
has-title: Note on Truth-Tables.
type: Article-Reference

Wang50a
has-title: Existence of Classes and Value Specification of Variables.
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183730863
has-date: http://www.aktors.org/ontology/date#1950
has-volume: 15
type: Thing

http://dblp.rkbexplorer.com/id/people-0844e67ded7585552159de5cd8940bcc-bdc398c06ac1eb7e731223bc78396860
full-name: Norbert Wiener
type: Person
type: Thing

Peter50
has-volume: 15
has-title: Zusammenhang der Mehrfachen und Transfiniten Rekursionen.
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1950
has-web-address: http://projecteuclid.org/euclid.jsl/1183731011
type: Thing

Myhill50a
has-volume: 15
has-web-address: http://projecteuclid.org/euclid.jsl/1183730928
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1950
has-title: A Complete Theory of Natural, Rational, and Real Numbers.

Myhill50a
has-web-address: http://projecteuclid.org/euclid.jsl/1183730928
type: Article-Reference
has-volume: 15
has-date: http://www.aktors.org/ontology/date#1950
type: Thing
has-title: A Complete Theory of Natural, Rational, and Real Numbers.

http://dblp.rkbexplorer.com/id/people-cd9fafd96f369fda2329860bc87e9b55-cc880d2b27ddf16ad24e0f38b34f87ba
full-name: R. M. Martin
type: Person
type: Thing

RosserW50
has-date: http://www.aktors.org/ontology/date#1950
has-title: Non-Standard Models for Formal Logics.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183730864
type: Article-Reference
has-volume: 15

www.aktors.org
title: Turning Shoe Information to Knowledge of Technology and Deals
site name: Aktors
locale: en_US
description: Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
type: website
type: Thing

RosserW50
has-web-address: http://projecteuclid.org/euclid.jsl/1183730864
has-date: http://www.aktors.org/ontology/date#1950
type: Thing
has-title: Non-Standard Models for Formal Logics.
type: Article-Reference
has-volume: 15

Myhill50
type: Article-Reference
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183730865
has-volume: 15
has-date: http://www.aktors.org/ontology/date#1950
has-title: A Reduction in the Number of Primitive Ideas of Arithmetic.

White50
type: Thing
has-title: Twelfth Meeting of the Association for Symbolic Logic.
has-web-address: http://projecteuclid.org/euclid.jsl/1183730852
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1950
has-volume: 15

Myhill50
has-title: A Reduction in the Number of Primitive Ideas of Arithmetic.
has-web-address: http://projecteuclid.org/euclid.jsl/1183730865
type: Article-Reference
type: Thing
has-volume: 15
has-date: http://www.aktors.org/ontology/date#1950

Wang50a
has-web-address: http://projecteuclid.org/euclid.jsl/1183730863
type: Article-Reference
has-title: Existence of Classes and Value Specification of Variables.
has-volume: 15
type: Thing
has-date: http://www.aktors.org/ontology/date#1950

http://dblp.rkbexplorer.com/id/people-8be402ce6d16df741e7775613b92372b-f355200ff9efa363cf488942e06ab5c2
full-name: Rozsa Peter
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/books/daglib/0081951
has-title: The human use of human beings - cybernetics and society.
has-date: http://www.aktors.org/ontology/date#1950
type: Book-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-9a896d46d5f6788425474eca0e1d3859-def451a00a8ab15634e91e41410c5bd5
full-name: Jan Kalicki
type: Person
type: Thing

Fitch50
type: Article-Reference
has-volume: 15
has-web-address: http://projecteuclid.org/euclid.jsl/1183730812
has-date: http://www.aktors.org/ontology/date#1950
has-title: A Demonstrably Consistent Mathematics - Part I.
type: Thing

Quine50
has-date: http://www.aktors.org/ontology/date#1950
type: Thing
has-volume: 15
type: Article-Reference
has-title: On Natural Deduction.
has-web-address: http://projecteuclid.org/euclid.jsl/1183730862

Henkin50
type: Thing
type: Article-Reference
has-volume: 15
has-title: Completeness in the Theory of Types.
has-web-address: http://projecteuclid.org/euclid.jsl/1183730860
has-date: http://www.aktors.org/ontology/date#1950

Kalicki50a
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183730927
has-title: A Test for the Existence of Tautologies According to Many-Valued Truth-Tables.
has-date: http://www.aktors.org/ontology/date#1950
type: Thing
has-volume: 15

Martin50
type: Thing
has-volume: 15
has-web-address: http://projecteuclid.org/euclid.jsl/1183730866
has-date: http://www.aktors.org/ontology/date#1950
type: Article-Reference
has-title: On Virtual Classes and Real Numbers.

Henkin50
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183730860
has-volume: 15
has-date: http://www.aktors.org/ontology/date#1950
type: Article-Reference
has-title: Completeness in the Theory of Types.

http://dblp.rkbexplorer.com/id/people-0582ba232cd0949ee4478b7588ebcde4-15da288923a46ca6035e8e3573472ded
full-name: Antoni Janiczak
type: Person
type: Thing

Janiczak50
has-date: http://www.aktors.org/ontology/date#1950
has-volume: 15
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183731013
has-title: A Remark Concerning Decidability of Complete Theories.
type: Thing

Wang50
has-title: A Formal System of Logic.
has-volume: 15
has-date: http://www.aktors.org/ontology/date#1950
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183730813
type: Article-Reference

DBLP : dblp-publications.rdf
title: DBLP : dblp-publications-1950.rdf
creator: ReSIST Project
creator: Christopher Franklin
description: This ontology contains information detailing publications from dblp
type: Thing
type: Ontology
imports: extension
imports: portal

Kalicki50a
has-volume: 15
has-title: A Test for the Existence of Tautologies According to Many-Valued Truth-Tables.
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183730927
has-date: http://www.aktors.org/ontology/date#1950
type: Thing