Anderson54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M.
has-volume: 19
type: Article-Reference
type: Thing

Kalicki54
has-date: http://www.aktors.org/ontology/date#1954
has-title: An Undecidable Problem in the Algebra of Truth-Tables.
has-volume: 19
type: Article-Reference
type: Thing

BrockS54
has-date: 1954-April
has-title: Problems in Acceptance Testing of Digital Computers
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320772.320774
type: Article-Reference
type: Thing

Trexler54
has-date: 1954-October
has-title: Public Utility Customer Accounting on the Type 650 Magnetic Drum Data Processing Machine
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320783.320786
type: Article-Reference
type: Thing

Gotlieb54
has-date: 1954-July
has-title: Running a Computer Efficiently
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320776.320781
type: Article-Reference
type: Thing

Parry54
has-date: http://www.aktors.org/ontology/date#1954
has-title: A New Symbolism for the Propositional Calculus.
has-volume: 19
type: Article-Reference
type: Thing

Fine54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Proof of a Conjecture of Goodman.
has-volume: 19
type: Article-Reference
type: Thing

Robinson54
has-date: http://www.aktors.org/ontology/date#1954
has-title: On Predicates in Algebraically Closed Fields.
has-volume: 19
type: Article-Reference
type: Thing

Shaw-Kwei54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Logical Paradoxes for Many-Valued Systems.
has-volume: 19
type: Article-Reference
type: Thing

Benes54
has-date: http://www.aktors.org/ontology/date#1954
has-title: A Partial Model for Quine's "New Foundations".
has-volume: 19
type: Article-Reference
type: Thing

Leiner54
has-date: 1954-April
has-title: System Specifications for the DYSEAC
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320772.320773
type: Article-Reference
type: Thing

Bernays54
has-date: http://www.aktors.org/ontology/date#1954
has-title: A System of Axiomatic Set Theory--Part VII.
has-volume: 19
type: Article-Reference
type: Thing

Quine54b
has-date: http://www.aktors.org/ontology/date#1954
has-title: Reduction to a Dyadic Predicate.
has-volume: 19
type: Article-Reference
type: Thing

BrockS54
has-date: 1954-April
has-title: Problems in Acceptance Testing of Digital Computers
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320772.320774
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/books/daglib/0072179
has-date: http://www.aktors.org/ontology/date#1954
has-title: Analog methods in computation and simulation.
type: Book-Reference
type: Thing

Williams54
has-date: 1954-January
has-title: The Association for Computing Machinery
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320764.320765
type: Article-Reference
type: Thing

Anderson54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M.
has-volume: 19
type: Article-Reference
type: Thing

Williams54
has-date: 1954-January
has-title: The Association for Computing Machinery
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320764.320765
type: Article-Reference
type: Thing

Goodstein54
has-date: http://www.aktors.org/ontology/date#1954
has-title: The Recursive Irrationality of |pi.
has-volume: 19
type: Article-Reference
type: Thing

Collins54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Distributivity and An Axiom of Choice.
has-volume: 19
type: Article-Reference
type: Thing

Trexler54
has-date: 1954-October
has-title: Public Utility Customer Accounting on the Type 650 Magnetic Drum Data Processing Machine
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320783.320786
type: Article-Reference
type: Thing

Rescher54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Leibniz's Interpretation of His Logical Calculi.
has-volume: 19
type: Article-Reference
type: Thing

Hailperin54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Remarks on Identity and Description in First-Order Axiom Systems.
has-volume: 19
type: Article-Reference
type: Thing

BauerC54
has-date: 1954-October
has-title: On the Demonstration of High-Speed Digital Computers
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320783.320787
type: Article-Reference
type: Thing

Rescher54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Leibniz's Interpretation of His Logical Calculi.
has-volume: 19
type: Article-Reference
type: Thing

Shoenfield54
has-date: http://www.aktors.org/ontology/date#1954
has-title: A Relative Consistency Proof.
has-volume: 19
type: Article-Reference
type: Thing

Gotlieb54
has-date: 1954-July
has-title: Running a Computer Efficiently
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320776.320781
type: Article-Reference
type: Thing

Crandall54
has-date: 1954-July
has-title: Numerical Treatment of a Fourth Order Parabolic Partial Differential Equation
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320776.320779
type: Article-Reference
type: Thing

Goodstein54
has-date: http://www.aktors.org/ontology/date#1954
has-title: The Recursive Irrationality of |pi.
has-volume: 19
type: Article-Reference
type: Thing

Wang54
has-date: http://www.aktors.org/ontology/date#1954
has-title: The Formalization of Mathematics.
has-volume: 19
type: Article-Reference
type: Thing

BasheBR54
has-title: The IBM Type 702, An Electronic Data Processing Machine for Business
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320783.320784
has-date: 1954-October
has-volume: 1
type: Thing

Hailperin54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Remarks on Identity and Description in First-Order Axiom Systems.
has-volume: 19
type: Article-Reference
type: Thing

Bergman54
has-date: 1954-July
has-title: A Method of Solving Boundary Value Problems of Mathematical Physics on Punch Card Machines
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320776.320777
type: Article-Reference
type: Thing

Henkin54
has-date: http://www.aktors.org/ontology/date#1954
has-title: A Generalization of the Concept of |omega-Consistency.
has-volume: 19
type: Article-Reference
type: Thing

Quine54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Interpretations of Sets of Conditions.
has-volume: 19
type: Article-Reference
type: Thing

Fitch54
has-date: http://www.aktors.org/ontology/date#1954
has-title: A Definition of Negation in Extended Basic Logic.
has-volume: 19
type: Article-Reference
type: Thing

AttaS54
has-date: 1954-October
has-title: Calculation of Generalized Hypergeometric Series
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320783.320785
type: Article-Reference
type: Thing

Backus54
has-date: 1954-January
has-title: The IBM 701 Speedcoding System
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320764.320766
type: Article-Reference
type: Thing

Wasel54
has-date: 1954-July
has-title: A Method of Determining Plate Bending by Use of a Punched-Card Machine
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320776.320778
type: Article-Reference
type: Thing

Parry54
has-date: http://www.aktors.org/ontology/date#1954
has-title: A New Symbolism for the Propositional Calculus.
has-volume: 19
type: Article-Reference
type: Thing

Wang54
has-date: http://www.aktors.org/ontology/date#1954
has-title: The Formalization of Mathematics.
has-volume: 19
type: Article-Reference
type: Thing

Moshman54
has-date: 1954-April
has-title: The Generation of Pseudo-Random Numbers on a Decimal Calculator
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320772.320775
type: Article-Reference
type: Thing

Elgot54
has-date: 1954-July
has-title: On Single vs. Triple Address Computing Machines
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320776.320780
type: Article-Reference
type: Thing

Wadel54
has-date: 1954-July
has-title: An Electronic Differential Analyzer as a Difference Analyzer
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320776.320782
type: Article-Reference
type: Thing

BasheBR54
has-title: The IBM Type 702, An Electronic Data Processing Machine for Business
type: Article-Reference
has-web-address: http://doi.acm.org/10.1145/320783.320784
has-date: 1954-October
has-volume: 1
type: Thing

Leiner54
has-date: 1954-April
has-title: System Specifications for the DYSEAC
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320772.320773
type: Article-Reference
type: Thing

Quine54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Interpretations of Sets of Conditions.
has-volume: 19
type: Article-Reference
type: Thing

Bergman54
has-date: 1954-July
has-title: A Method of Solving Boundary Value Problems of Mathematical Physics on Punch Card Machines
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320776.320777
type: Article-Reference
type: Thing

Fitch54
has-date: http://www.aktors.org/ontology/date#1954
has-title: A Definition of Negation in Extended Basic Logic.
has-volume: 19
type: Article-Reference
type: Thing

Henkin54
has-date: http://www.aktors.org/ontology/date#1954
has-title: A Generalization of the Concept of |omega-Consistency.
has-volume: 19
type: Article-Reference
type: Thing

Quine54a
has-date: http://www.aktors.org/ontology/date#1954
has-title: Quantification and the Empty Domain.
has-volume: 19
type: Article-Reference
type: Thing

Kalicki54
has-date: http://www.aktors.org/ontology/date#1954
has-title: An Undecidable Problem in the Algebra of Truth-Tables.
has-volume: 19
type: Article-Reference
type: Thing

AttaS54
has-date: 1954-October
has-title: Calculation of Generalized Hypergeometric Series
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320783.320785
type: Article-Reference
type: Thing

Shoenfield54
has-date: http://www.aktors.org/ontology/date#1954
has-title: A Relative Consistency Proof.
has-volume: 19
type: Article-Reference
type: Thing

Backus54
has-date: 1954-January
has-title: The IBM 701 Speedcoding System
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320764.320766
type: Article-Reference
type: Thing

Bernays54
has-date: http://www.aktors.org/ontology/date#1954
has-title: A System of Axiomatic Set Theory--Part VII.
has-volume: 19
type: Article-Reference
type: Thing

Perley54
has-date: 1954-January
has-title: Automatic Strain-Gage and Thermocouple Recording on Punched Cards
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320764.320771
type: Article-Reference
type: Thing

Wiseman54
has-date: 1954-January
has-title: Life Insurance Premium Billing and Combined Operations by Electronic Equipment
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320764.320767
type: Article-Reference
type: Thing

Jacobs54
has-date: 1954-January
has-title: Equipment Reliability as Applied to Analogue Computers
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320764.320769
type: Article-Reference
type: Thing

Wasel54
has-date: 1954-July
has-title: A Method of Determining Plate Bending by Use of a Punched-Card Machine
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320776.320778
type: Article-Reference
type: Thing

Martin54
has-date: http://www.aktors.org/ontology/date#1954
has-title: The Sheffer Functions of 3-Valued Logic.
has-volume: 19
type: Article-Reference
type: Thing

BauerC54
has-date: 1954-October
has-title: On the Demonstration of High-Speed Digital Computers
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320783.320787
type: Article-Reference
type: Thing

Elgot54
has-date: 1954-July
has-title: On Single vs. Triple Address Computing Machines
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320776.320780
type: Article-Reference
type: Thing

HamiltonK54
has-date: 1954-January
has-title: The IBM Magnetic Drum Calculator Type 650
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320764.320768
type: Article-Reference
type: Thing

Standley54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Ideographic Computation in the Propositional Calculus.
has-volume: 19
type: Article-Reference
type: Thing

Wadel54
has-date: 1954-July
has-title: An Electronic Differential Analyzer as a Difference Analyzer
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320776.320782
type: Article-Reference
type: Thing

Moshman54
has-date: 1954-April
has-title: The Generation of Pseudo-Random Numbers on a Decimal Calculator
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320772.320775
type: Article-Reference
type: Thing

http://dblp.l3s.de/d2r/resource/publications/books/daglib/0072179
has-date: http://www.aktors.org/ontology/date#1954
has-title: Analog methods in computation and simulation.
type: Book-Reference
type: Thing

Davis54
has-date: 1954-October
has-title: A Multiple Purpose Orthonormalizing Code and its Uses
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320783.320788
type: Article-Reference
type: Thing

Edwards54
has-date: 1954-January
has-title: Survey of Analog Multiplication Schemes
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320764.320770
type: Article-Reference
type: Thing

Shaw-Kwei54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Logical Paradoxes for Many-Valued Systems.
has-volume: 19
type: Article-Reference
type: Thing

Perley54
has-date: 1954-January
has-title: Automatic Strain-Gage and Thermocouple Recording on Punched Cards
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320764.320771
type: Article-Reference
type: Thing

Jacobs54
has-date: 1954-January
has-title: Equipment Reliability as Applied to Analogue Computers
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320764.320769
type: Article-Reference
type: Thing

Quine54a
has-date: http://www.aktors.org/ontology/date#1954
has-title: Quantification and the Empty Domain.
has-volume: 19
type: Article-Reference
type: Thing

Collins54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Distributivity and An Axiom of Choice.
has-volume: 19
type: Article-Reference
type: Thing

Wiseman54
has-date: 1954-January
has-title: Life Insurance Premium Billing and Combined Operations by Electronic Equipment
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320764.320767
type: Article-Reference
type: Thing

Crandall54
has-date: 1954-July
has-title: Numerical Treatment of a Fourth Order Parabolic Partial Differential Equation
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320776.320779
type: Article-Reference
type: Thing

Martin54
has-date: http://www.aktors.org/ontology/date#1954
has-title: The Sheffer Functions of 3-Valued Logic.
has-volume: 19
type: Article-Reference
type: Thing

Davis54
has-date: 1954-October
has-title: A Multiple Purpose Orthonormalizing Code and its Uses
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320783.320788
type: Article-Reference
type: Thing

Robinson54
has-date: http://www.aktors.org/ontology/date#1954
has-title: On Predicates in Algebraically Closed Fields.
has-volume: 19
type: Article-Reference
type: Thing

HamiltonK54
has-date: 1954-January
has-title: The IBM Magnetic Drum Calculator Type 650
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320764.320768
type: Article-Reference
type: Thing

Standley54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Ideographic Computation in the Propositional Calculus.
has-volume: 19
type: Article-Reference
type: Thing

Edwards54
has-date: 1954-January
has-title: Survey of Analog Multiplication Schemes
has-volume: 1
has-web-address: http://doi.acm.org/10.1145/320764.320770
type: Article-Reference
type: Thing

Fine54
has-date: http://www.aktors.org/ontology/date#1954
has-title: Proof of a Conjecture of Goodman.
has-volume: 19
type: Article-Reference
type: Thing

Quine54b
has-date: http://www.aktors.org/ontology/date#1954
has-title: Reduction to a Dyadic Predicate.
has-volume: 19
type: Article-Reference
type: Thing

Benes54
has-date: http://www.aktors.org/ontology/date#1954
has-title: A Partial Model for Quine's "New Foundations".
has-volume: 19
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-637937601a67fef747d1983e29bc2d45-45ed960d5a91134a2d58f9ff9932f3b0
full-name: John W. Carr III
type: Person

http://dblp.rkbexplorer.com/id/people-9f125da06d5846f3844ea043dd7362da-7da0904eefe1d50cb8ee9770fcead547
full-name: Calvin C. Elgot
type: Person

http://dblp.rkbexplorer.com/id/people-284e5b90073ffe6a1dbd08eacaf603ad-45ed960d5a91134a2d58f9ff9932f3b0
full-name: Walter F. Bauer
type: Person

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

http://dblp.rkbexplorer.com/id/people-624bdf8a15753b5807c4d538083fce95-b482723078c7b7af43e24e648505b34d
full-name: Samuel B. Williams
type: Person

http://dblp.rkbexplorer.com/id/people-d88fbd1bfb596eb71731a3bec8c2e850-e4afb8d71d6b095f916064c157328722
full-name: Paul Brock
type: Person

http://dblp.rkbexplorer.com/id/people-8d54513e5abdaf631038da903d178249-c50830544cfed693e567fd3c16d436a1
full-name: H. Jacobs Jr.
type: Person

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

http://dblp.rkbexplorer.com/id/people-b2d75a733378cd8bb39c33cb9075bfac-e4afb8d71d6b095f916064c157328722
full-name: Sibyl Rock
type: Person

http://dblp.rkbexplorer.com/id/people-96e128c1978a0402ab828be0319b727c-338bdc898c35597c7893dca0c46ca663
full-name: Norman M. Martin
type: Person

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

http://dblp.rkbexplorer.com/id/people-d7992c8f1888b3bfb3600c43892b6978-5d7911e65f354ee8279f3c0895aebec4
full-name: Joseph R. Shoenfield
type: Person

http://dblp.rkbexplorer.com/id/people-a9c0ed5df9ebca05c59ff44ff644f694-d0ccd8806a51c209328be2c36425723e
full-name: Moh Shaw-Kwei
type: Person

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

http://dblp.rkbexplorer.com/id/people-83f959653ca4df22d4643378ca966404-8aa8271190f05ced4b0cb4804d115557
full-name: Ward C. Sangren
type: Person

http://dblp.rkbexplorer.com/id/people-16b5feba2eaa1095893327317b8f882e-6f650f195a6f52ebf8ae98f117702330
full-name: Walter W. Soroka
type: Person

http://dblp.rkbexplorer.com/id/people-125d8a9108b4452649159276f7a92083-83732d4e6b54298d312ccf72f62b306d
full-name: Nathaniel Rochester
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-1954.rdf
type: Ontology
imports: extension
imports: portal

http://dblp.rkbexplorer.com/id/people-c9f49c77aab60f8dde0316b82fdf97a7-92f3c2ba75cdb8cf78291242b2b13d82
full-name: C. M. Edwards
type: Person

http://dblp.rkbexplorer.com/id/people-5fac15fd132977d18b45df8f6fddac7b-ba213c082b54a05627ec457aa570c114
full-name: John W. Backus
type: Person

1954-January
month-of: January
year-of: 1954
type: Calendar-Date

http://dblp.rkbexplorer.com/id/people-bcd3d7b7074cadba3a3e1eb91e537808-7398d6dcc17cff4e7433652bca93c17d
full-name: Philip J. Davis
type: Person

http://dblp.rkbexplorer.com/id/people-3aef37abc2ca3358a02e4a2572acbca0-3b0545c3f2f031ab23c9216a7e60c95e
full-name: A. D. Wasel
type: Person

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

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

http://dblp.rkbexplorer.com/id/people-041057c75ff1294f80610c25ecbc3a08-615a5ce2e4dca7c82017ec1adb0f823f
full-name: C. C. Gotlieb
type: Person

http://dblp.rkbexplorer.com/id/people-cfcfebb08a4160c118a2fa2b9c761b63-79ada3f94f32ee881b910a05be49d25a
full-name: Abraham Robinson
type: Person

http://dblp.rkbexplorer.com/id/journals-a7f87a4266b0410412e4b590262da87b
has-title: J. ACM
type: Journal

1954-July
month-of: July
year-of: 1954
type: Calendar-Date

http://dblp.rkbexplorer.com/id/people-cbece58028b16438a9818f575e354dfe-c4ff74b6243f6a3501170e35a5492cbc
full-name: Gerald B. Standley
type: Person

http://dblp.rkbexplorer.com/id/people-f448fcf46e9caf0c13bd3c2d4882351c-87d1ef8059861e6a1696e136901b2973
full-name: E. C. Kubie
type: Person

http://dblp.rkbexplorer.com/id/people-1c0aa01f7ce1bc60ec138f5dbc363c1b-87d1ef8059861e6a1696e136901b2973
full-name: F. E. Hamilton
type: Person

http://dblp.rkbexplorer.com/id/people-5bdb53e11d0e30a05450ef14b41e17d6-89147685cc238cd3a7ef637a6bb1b847
full-name: Nicholas Rescher
type: Person

http://dblp.rkbexplorer.com/id/people-463bfe334c1b527e2ce1e87899989ef1-ca557210199d347da06342972c24f52d
full-name: George F. Trexler
type: Person

http://dblp.rkbexplorer.com/id/people-2908485b8dc585551e31929d523df1b5-88486534b10f4344a8af73a8111e4f4b
full-name: William Tuthill Parry
type: Person

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

http://dblp.rkbexplorer.com/id/people-23558491d5e4c9b0bf11f3cef66cb0dc-579368be2addf5092bf3186e76a64fba
full-name: Alan L. Leiner
type: Person

http://dblp.rkbexplorer.com/id/people-5d9aeff8c368c23605a96b4bd3a3fe6d-a7cd1171f5d88432c0961e5fcfa67f65
full-name: R. T. Wiseman
type: Person

http://dblp.rkbexplorer.com/id/people-4d1b35b3893a3c8e5d2e91d12d0274cc-f4d81a40444cca0418b985d01d0fb033
full-name: Jack Moshman
type: Person

http://dblp.rkbexplorer.com/id/people-23d12dd387d1e0fd65ead4ab280db290-3a50ed5e5a6714514f7b63785a238aa5
full-name: R. L. Goodstein
type: Person

http://dblp.rkbexplorer.com/id/people-d705dcfb21335eeecc6d6cc784650bfe-83732d4e6b54298d312ccf72f62b306d
full-name: Charles J. Bashe
type: Person

http://dblp.rkbexplorer.com/id/people-7036bbd83e44da5ecca815ed788c2c9b-eada7f7b204882a3aef6d73a7472cc12
full-name: N. J. Fine
type: Person

http://dblp.rkbexplorer.com/id/people-d7575fb8150c5db53d1cb045eddcb402-d2958ac18161614b42904ece3e1d4ea8
full-name: George E. Collins
type: Person

http://dblp.rkbexplorer.com/id/people-a287f1da7a236676fe9a136254ccf1a8-5b128181f4d5072ffe7fc0015d7b910c
full-name: Paul Bernays
type: Person

http://dblp.rkbexplorer.com/id/people-54b3267fbf63df3cee7194f8ec148cc1-a752f4c41d3d6a3951c5da9cb2980a02
full-name: Vaclav Edvard Benes
type: Person

http://dblp.rkbexplorer.com/id/people-67fc0d3ad93096ac9cbf24915ae3cc18-39f073cf748d783c961b02840bd62c18
full-name: Louis B. Wadel
type: Person

http://dblp.rkbexplorer.com/id/people-b47769e7e70c1d341109de9297965dd1-8aa8271190f05ced4b0cb4804d115557
full-name: Susie E. Atta
type: Person

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

http://dblp.rkbexplorer.com/id/people-61acbbb6ae58d50055c364fa0390548f-bf8d89aab0374c560b7411ef3764dcd7
full-name: Stefan Bergman
type: Person

http://dblp.rkbexplorer.com/id/people-323f95a8293c51f5176ba4c59c6c1ada-83732d4e6b54298d312ccf72f62b306d
full-name: Wilfried Buchholz
type: Person

1954-April
month-of: April
year-of: 1954
type: Calendar-Date

http://dblp.rkbexplorer.com/id/people-598a178998fca38e6b81aeea3da79067-567358fcf1d77d4675390926903408dd
full-name: Richmond Perley
type: Person

http://dblp.rkbexplorer.com/id/people-f5f97fe3cbc056a2b70bfb572f575e49-7398d6dcc17cff4e7433652bca93c17d
full-name: Philip Rabinowitz
type: Person

http://dblp.rkbexplorer.com/id/people-40f1c651bd15373500ea55b08717f3c4-bf6063d2f85dcda2f6f768048d3650c1
full-name: Stephen H. Crandall
type: Person

http://dblp.rkbexplorer.com/id/people-cf3eb2309584910d7159031161926450-94ce47133e84df9ced4dd711f0635b4b
full-name: Theodore Hailperin
type: Person

1954-October
month-of: October
year-of: 1954
type: Calendar-Date

http://dblp.rkbexplorer.com/id/people-0ca2fc3d85762d97329d4defc6d91a94-b5abe64b6da460ffb66914a6f780960a
full-name: Alan Ross Anderson
type: Person

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