Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Tarskis_World> ?p ?o }
Showing triples 1 to 29 of
29
with 100 triples per page.
- Tarskis_World abstract "Tarski's World is a computer-based introduction to first-order logic written by Jon Barwise and John Etchemendy. It is named after the mathematical logician Alfred Tarski. The package includes a book, which serves as a textbook and manual, and a computer program which together serve as an introduction to the semantics of logic through games in which simple, three-dimensional worlds are populated with various geometric figures and these are used to test the truth or falsehood of first-order logic sentences. The program is also included in Language, Proof and Logic package.".
- Tarskis_World wikiPageExternalLink tarskisworld.
- Tarskis_World wikiPageExternalLink watch?v=lGXnkovPgqs.
- Tarskis_World wikiPageID "37645464".
- Tarskis_World wikiPageLength "2149".
- Tarskis_World wikiPageOutDegree "7".
- Tarskis_World wikiPageRevisionID "575932804".
- Tarskis_World wikiPageWikiLink Alfred_Tarski.
- Tarskis_World wikiPageWikiLink Category:Educational_software.
- Tarskis_World wikiPageWikiLink Category:Predicate_logic.
- Tarskis_World wikiPageWikiLink First-order_logic.
- Tarskis_World wikiPageWikiLink John_Etchemendy.
- Tarskis_World wikiPageWikiLink Jon_Barwise.
- Tarskis_World wikiPageWikiLink Language,_Proof_and_Logic.
- Tarskis_World wikiPageWikiLinkText "Tarski's World".
- Tarskis_World wikiPageUsesTemplate Template:Reflist.
- Tarskis_World subject Category:Educational_software.
- Tarskis_World subject Category:Predicate_logic.
- Tarskis_World hypernym Introduction.
- Tarskis_World type Book.
- Tarskis_World type Method.
- Tarskis_World comment "Tarski's World is a computer-based introduction to first-order logic written by Jon Barwise and John Etchemendy. It is named after the mathematical logician Alfred Tarski.".
- Tarskis_World label "Tarski's World".
- Tarskis_World sameAs Q7686755.
- Tarskis_World sameAs El_mundo_de_Tarski.
- Tarskis_World sameAs m.0ndjxrh.
- Tarskis_World sameAs Q7686755.
- Tarskis_World wasDerivedFrom Tarskis_World?oldid=575932804.
- Tarskis_World isPrimaryTopicOf Tarskis_World.