Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Predicative_programming> ?p ?o }
Showing triples 1 to 32 of
32
with 100 triples per page.
- Predicative_programming wikiPageExternalLink aPToP.
- Predicative_programming wikiPageExternalLink publist.html.
- Predicative_programming wikiPageID "30251309".
- Predicative_programming wikiPageLength "1626".
- Predicative_programming wikiPageOutDegree "6".
- Predicative_programming wikiPageRevisionID "405424785".
- Predicative_programming wikiPageWikiLink Category:Formal_methods.
- Predicative_programming wikiPageWikiLink Category:Formal_specification_languages.
- Predicative_programming wikiPageWikiLink Category:Logical_calculi.
- Predicative_programming wikiPageWikiLink Eric_Hehner.
- Predicative_programming wikiPageWikiLink Program_refinement.
- Predicative_programming wikiPageWikiLink Refinement_(computing).
- Predicative_programming wikiPageWikiLink Specification_language.
- Predicative_programming wikiPageWikiLinkText "Predicative programming".
- Predicative_programming wikiPageWikiLinkText "predicative programming".
- Predicative_programming wikiPageWikiLinkText "programs are predicates".
- Predicative_programming hasPhotoCollection Predicative_programming.
- Predicative_programming wikiPageUsesTemplate Template:Formalmethods-stub.
- Predicative_programming subject Category:Formal_methods.
- Predicative_programming subject Category:Formal_specification_languages.
- Predicative_programming subject Category:Logical_calculi.
- Predicative_programming type Area.
- Predicative_programming type Language.
- Predicative_programming type Area.
- Predicative_programming type Language.
- Predicative_programming type Method.
- Predicative_programming label "Predicative programming".
- Predicative_programming sameAs m.0g58x1d.
- Predicative_programming sameAs Q7239635.
- Predicative_programming sameAs Q7239635.
- Predicative_programming wasDerivedFrom Predicative_programming?oldid=405424785.
- Predicative_programming isPrimaryTopicOf Predicative_programming.