Bush45
has-date: http://www.aktors.org/ontology/date#1945
has-title: As We May Think.
has-volume: 176
has-web-address: http://www.theatlantic.com/unbound/flashbks/computer/bushf.htm
type: Article-Reference
type: Thing

McKinsey45
has-date: http://www.aktors.org/ontology/date#1945
has-title: On the Syntactical Construction of Systems of Modal Logic.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391455
type: Article-Reference
type: Thing

Doss45
has-date: http://www.aktors.org/ontology/date#1945
has-title: Note on Two Theorems of Mostowski.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391433
type: Article-Reference
type: Thing

Quine45a
has-date: http://www.aktors.org/ontology/date#1945
has-title: On Ordered Pairs.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391456
type: Article-Reference
type: Thing

McKinsey45
has-date: http://www.aktors.org/ontology/date#1945
has-title: On the Syntactical Construction of Systems of Modal Logic.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391455
type: Article-Reference
type: Thing

Bush45
has-date: http://www.aktors.org/ontology/date#1945
has-title: As We May Think.
has-volume: 176
has-web-address: http://www.theatlantic.com/unbound/flashbks/computer/bushf.htm
type: Article-Reference
type: Thing

Robinson45
has-date: http://www.aktors.org/ontology/date#1945
has-title: Finite Sequences of Classes.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391477
type: Article-Reference
type: Thing

RosserT45
has-date: http://www.aktors.org/ontology/date#1945
has-title: Axiom Schemes for M-Valued Propositional Calculi.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391454
type: Article-Reference
type: Thing

RosserT45
has-date: http://www.aktors.org/ontology/date#1945
has-title: Axiom Schemes for M-Valued Propositional Calculi.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391454
type: Article-Reference
type: Thing

Quine45
has-date: http://www.aktors.org/ontology/date#1945
has-title: On the Logic of Quantification.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391432
type: Article-Reference
type: Thing

Robinson45
has-date: http://www.aktors.org/ontology/date#1945
has-title: Finite Sequences of Classes.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391477
type: Article-Reference
type: Thing

Quine45a
has-date: http://www.aktors.org/ontology/date#1945
has-title: On Ordered Pairs.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391456
type: Article-Reference
type: Thing

Doss45
has-date: http://www.aktors.org/ontology/date#1945
has-title: Note on Two Theorems of Mostowski.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391433
type: Article-Reference
type: Thing

Kleene45
has-date: http://www.aktors.org/ontology/date#1945
has-title: On the Interpretation of Intuitionistic Number Theory.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391476
type: Article-Reference
type: Thing

HelmerO45
has-date: http://www.aktors.org/ontology/date#1945
has-title: A Syntactical Definition of Probability and of Degree of Confirmation.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391446
type: Article-Reference
type: Thing

HelmerO45
has-date: http://www.aktors.org/ontology/date#1945
has-title: A Syntactical Definition of Probability and of Degree of Confirmation.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391446
type: Article-Reference
type: Thing

Quine45
has-date: http://www.aktors.org/ontology/date#1945
has-title: On the Logic of Quantification.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391432
type: Article-Reference
type: Thing

Kleene45
has-date: http://www.aktors.org/ontology/date#1945
has-title: On the Interpretation of Intuitionistic Number Theory.
has-volume: 10
has-web-address: http://projecteuclid.org/euclid.jsl/1183391476
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-c1b856bfc4a7adb286b9c70c1e9d4928-a87baa4fcc0dbf5c7277eb334aa0e488
full-name: J. C. C. McKinsey
type: Person

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

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

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

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

http://dblp.rkbexplorer.com/id/people-a3c4d230b0325434f6f2a06a1afa988b-41f9c82b1c1b227189b29994ccb36539
full-name: Atwell R. Turquette
type: Person

http://dblp.rkbexplorer.com/id/people-ca3601d9ed92540f6f31b35c2dba6d84-f1a85bccea42a4724cc07f5d616688a8
full-name: Vannevar Bush
type: Person

http://dblp.rkbexplorer.com/id/journals-7a3af55f530bf128ddf5b87864d532a3
has-title: The Atlantic Monthly
type: Journal

http://dblp.rkbexplorer.com/id/people-318d476fa899c570b6ad16065548f498-805681477f557862cdbe07c2ed10b0de
full-name: Olaf Helmer
type: Person

http://dblp.rkbexplorer.com/id/people-292154ff4159302c38ad50a304d06adc-805681477f557862cdbe07c2ed10b0de
full-name: Paul Oppenheim
type: Person

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

http://dblp.rkbexplorer.com/id/people-f3d31862c2683035094896259da9db7f-4dc79deb2fd64e0d3d6ee183386d6b8e
full-name: W. V. Quine
type: Person

http://dblp.rkbexplorer.com/id/people-17f5ce5a49c25b13d22181d67705bf78-2b8977ae818c70b447a6976a75964778
full-name: Raouf Doss
type: Person

http://dblp.rkbexplorer.com/id/people-13d1b47a50cfb734a02d89b31862d508-e888235573e930465223fff80d8ae362
full-name: Stephen Cole Kleene
type: Person

http://dblp.rkbexplorer.com/id/people-ae0562b0aa0bec4d05fb2ea27c3d3012-1f68eb6eb66748b9ab12878d91ce0977
full-name: Raphael M. Robinson
type: Person