Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Journal_of_Formalized_Reasoning> ?p ?o }
Showing triples 1 to 84 of
84
with 100 triples per page.
- Journal_of_Formalized_Reasoning abbreviation "J. Form. Reason.".
- Journal_of_Formalized_Reasoning abstract "The Journal of Formalized Reasoning is a peer-reviewed open access academic journal established in 2009. It publishes formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verifications. It is maintained by AlmaDL, the digital library of the University of Bologna.".
- Journal_of_Formalized_Reasoning academicDiscipline Implementation_of_mathematics_in_set_theory.
- Journal_of_Formalized_Reasoning firstPublicationYear "2008".
- Journal_of_Formalized_Reasoning frequencyOfPublication "Biannual".
- Journal_of_Formalized_Reasoning issn "1972-5787".
- Journal_of_Formalized_Reasoning oclc "456198191".
- Journal_of_Formalized_Reasoning openAccessContent "Yes".
- Journal_of_Formalized_Reasoning publisher University_of_Bologna.
- Journal_of_Formalized_Reasoning wikiPageExternalLink jfr.unibo.it.
- Journal_of_Formalized_Reasoning wikiPageExternalLink jfr.unibo.it.
- Journal_of_Formalized_Reasoning wikiPageExternalLink index.
- Journal_of_Formalized_Reasoning wikiPageExternalLink archive.
- Journal_of_Formalized_Reasoning wikiPageID "22327994".
- Journal_of_Formalized_Reasoning wikiPageLength "1385".
- Journal_of_Formalized_Reasoning wikiPageOutDegree "22".
- Journal_of_Formalized_Reasoning wikiPageRevisionID "677831044".
- Journal_of_Formalized_Reasoning wikiPageWikiLink Academic_journal.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Algorithm.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Category:Biannual_journals.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Category:Computer_science_journals.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Category:English-language_journals.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Category:Open_access_journals.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Category:Publications_established_in_2008.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Category:Reasoning.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Category:University_of_Bologna.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Classical_mathematics.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Constructivism_(mathematics).
- Journal_of_Formalized_Reasoning wikiPageWikiLink Digital_library.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Formal_verification.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Implementation_of_mathematics_in_set_theory.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Mathematical_Reviews.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Open_access.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Peer_review.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Scopus.
- Journal_of_Formalized_Reasoning wikiPageWikiLink University_of_Bologna.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Zentralblatt_MATH.
- Journal_of_Formalized_Reasoning wikiPageWikiLinkText "Journal of Formalized Reasoning".
- Journal_of_Formalized_Reasoning abbreviation "J. Form. Reason.".
- Journal_of_Formalized_Reasoning country "Italy".
- Journal_of_Formalized_Reasoning discipline Implementation_of_mathematics_in_set_theory.
- Journal_of_Formalized_Reasoning editor "Andrea Asperti".
- Journal_of_Formalized_Reasoning frequency "Biannual".
- Journal_of_Formalized_Reasoning history "2008".
- Journal_of_Formalized_Reasoning issn "1972".
- Journal_of_Formalized_Reasoning link index.
- Journal_of_Formalized_Reasoning link archive.
- Journal_of_Formalized_Reasoning link1Name "Online access".
- Journal_of_Formalized_Reasoning link2Name "Online archive".
- Journal_of_Formalized_Reasoning oclc "456198191".
- Journal_of_Formalized_Reasoning openaccess "Yes".
- Journal_of_Formalized_Reasoning publisher University_of_Bologna.
- Journal_of_Formalized_Reasoning title "Journal of Formalized Reasoning".
- Journal_of_Formalized_Reasoning website jfr.unibo.it.
- Journal_of_Formalized_Reasoning wikiPageUsesTemplate Template:Infobox_journal.
- Journal_of_Formalized_Reasoning wikiPageUsesTemplate Template:Official_website.
- Journal_of_Formalized_Reasoning subject Category:Biannual_journals.
- Journal_of_Formalized_Reasoning subject Category:Computer_science_journals.
- Journal_of_Formalized_Reasoning subject Category:English-language_journals.
- Journal_of_Formalized_Reasoning subject Category:Open_access_journals.
- Journal_of_Formalized_Reasoning subject Category:Publications_established_in_2008.
- Journal_of_Formalized_Reasoning subject Category:Reasoning.
- Journal_of_Formalized_Reasoning subject Category:University_of_Bologna.
- Journal_of_Formalized_Reasoning hypernym Journal.
- Journal_of_Formalized_Reasoning type AcademicJournal.
- Journal_of_Formalized_Reasoning type PeriodicalLiterature.
- Journal_of_Formalized_Reasoning type Work.
- Journal_of_Formalized_Reasoning type WrittenWork.
- Journal_of_Formalized_Reasoning type Redirect.
- Journal_of_Formalized_Reasoning type CreativeWork.
- Journal_of_Formalized_Reasoning type Thing.
- Journal_of_Formalized_Reasoning type Q1092563.
- Journal_of_Formalized_Reasoning type Q386724.
- Journal_of_Formalized_Reasoning type Q737498.
- Journal_of_Formalized_Reasoning comment "The Journal of Formalized Reasoning is a peer-reviewed open access academic journal established in 2009. It publishes formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verifications. It is maintained by AlmaDL, the digital library of the University of Bologna.".
- Journal_of_Formalized_Reasoning label "Journal of Formalized Reasoning".
- Journal_of_Formalized_Reasoning sameAs Q6295233.
- Journal_of_Formalized_Reasoning sameAs Journal_of_Formalized_Reasoning.
- Journal_of_Formalized_Reasoning sameAs m.05sxpp4.
- Journal_of_Formalized_Reasoning sameAs Q6295233.
- Journal_of_Formalized_Reasoning wasDerivedFrom Journal_of_Formalized_Reasoning?oldid=677831044.
- Journal_of_Formalized_Reasoning homepage jfr.unibo.it.
- Journal_of_Formalized_Reasoning isPrimaryTopicOf Journal_of_Formalized_Reasoning.
- Journal_of_Formalized_Reasoning name "Journal of Formalized Reasoning".