GoodmanQ47
has-date: http://www.aktors.org/ontology/date#1947
has-volume: 12
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183409216
has-title: Steps Toward a Constructive Nominalism.
type: Thing

http://dblp.rkbexplorer.com/id/people-b60532336ff81c263727d0aa7b517792-9dce3312b8f6c35b86a8912d3005118a
full-name: Andrzej Mostowski
type: Person
type: Thing

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

Quine47
has-web-address: http://projecteuclid.org/euclid.jsl/1183395233
has-volume: 12
type: Thing
has-title: The Problem of Interpreting Modal Logic.
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1947

http://dblp.rkbexplorer.com/id/people-e45cb0ed76356fdc07a955adf8e32c23-cdca8c42bec3b244c9772acdc21b1236
full-name: Charles A. Baylis
type: Person
type: Thing

Goodstein47
has-date: http://www.aktors.org/ontology/date#1947
type: Article-Reference
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183409217
has-title: Transfinite Ordinals in Recursive Number Theory.
has-volume: 12

Post47
has-date: http://www.aktors.org/ontology/date#1947
type: Thing
has-volume: 12
has-title: Recursive Unsolvability of a Problem of Thue.
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183395203

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

Wang47
has-volume: 12
has-title: A Note on Quine's Principles of Quantification.
has-web-address: http://projecteuclid.org/euclid.jsl/1183409218
has-date: http://www.aktors.org/ontology/date#1947
type: Article-Reference
type: Thing

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

Barcan47
type: Article-Reference
type: Thing
has-volume: 12
has-web-address: http://projecteuclid.org/euclid.jsl/1183395204
has-date: http://www.aktors.org/ontology/date#1947
has-title: The Identity of Individuals in a Strict Functional Calculus of Second Order.

Barcan47
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183395204
has-title: The Identity of Individuals in a Strict Functional Calculus of Second Order.
type: Article-Reference
has-volume: 12
has-date: http://www.aktors.org/ontology/date#1947

KalmarS47
has-date: http://www.aktors.org/ontology/date#1947
type: Thing
type: Article-Reference
has-title: On the Reduction of the Decision Problem.
has-volume: 12
has-web-address: http://projecteuclid.org/euclid.jsl/1183396165

KalmarS47
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1947
has-title: On the Reduction of the Decision Problem.
has-volume: 12
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183396165

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

Quine47a
has-title: On Universals.
has-web-address: http://projecteuclid.org/euclid.jsl/1183396166
has-volume: 12
type: Thing
has-date: http://www.aktors.org/ontology/date#1947
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-80202cccf6b7efd6634ae0a49d1fbad1-4f55e3cf42b9c4268df95c649f645714
full-name: Laszlo Kalmar
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-f3d31862c2683035094896259da9db7f-b0b679aebbd4162775587bd920707225
full-name: W. V. Quine
type: Person
type: Thing

Wang47
has-date: http://www.aktors.org/ontology/date#1947
type: Article-Reference
has-volume: 12
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183409218
has-title: A Note on Quine's Principles of Quantification.

http://dblp.rkbexplorer.com/id/people-1c3ad565134b0e58c4060c05057ba7f2-b0b679aebbd4162775587bd920707225
full-name: Nelson Goodman
type: Person
type: Thing

Quine47
type: Thing
has-title: The Problem of Interpreting Modal Logic.
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183395233
has-volume: 12
has-date: http://www.aktors.org/ontology/date#1947

Mostowski47
has-title: On Absolute Properties of Relations.
type: Article-Reference
type: Thing
has-volume: 12
has-web-address: http://projecteuclid.org/euclid.jsl/1183395232
has-date: http://www.aktors.org/ontology/date#1947

Quine47a
has-date: http://www.aktors.org/ontology/date#1947
has-volume: 12
has-web-address: http://projecteuclid.org/euclid.jsl/1183396166
has-title: On Universals.
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-3250e42d94bde9fbd53db6c2e6298560-e81b697738cf88b2d9ce35c3da831c68
full-name: Ruth C. Barcan
type: Person
type: Thing

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

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

http://dblp.rkbexplorer.com/id/people-217aa162fc2903cd6aec36c9de65bb5f-b302dbab84925a4452f18c513618d5e6
full-name: Emil L. Post
type: Person
type: Thing

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

Mostowski47
type: Thing
type: Article-Reference
has-volume: 12
has-date: http://www.aktors.org/ontology/date#1947
has-title: On Absolute Properties of Relations.
has-web-address: http://projecteuclid.org/euclid.jsl/1183395232

Baylis47
has-date: http://www.aktors.org/ontology/date#1947
has-web-address: http://projecteuclid.org/euclid.jsl/1183395230
has-volume: 12
type: Article-Reference
has-title: Ninth Meeting of the Association for Symbolic Logic.
type: Thing

Post47
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183395203
has-volume: 12
has-title: Recursive Unsolvability of a Problem of Thue.
has-date: http://www.aktors.org/ontology/date#1947
type: Thing

Baylis47
has-title: Ninth Meeting of the Association for Symbolic Logic.
has-web-address: http://projecteuclid.org/euclid.jsl/1183395230
has-date: http://www.aktors.org/ontology/date#1947
has-volume: 12
type: Article-Reference
type: Thing

Goodstein47
has-title: Transfinite Ordinals in Recursive Number Theory.
has-web-address: http://projecteuclid.org/euclid.jsl/1183409217
has-volume: 12
has-date: http://www.aktors.org/ontology/date#1947
type: Thing
type: Article-Reference

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

GoodmanQ47
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183409216
has-title: Steps Toward a Constructive Nominalism.
has-volume: 12
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1947