This HTML5 document contains 56 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n17https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:ProSet
dbo:wikiPageWikiLink
dbr:Set_theoretic_programming
Subject Item
dbr:Set_theoretic_programming
rdf:type
wikidata:Q315 wikidata:Q9143 dbo:ProgrammingLanguage yago:WikicatProgrammingParadigms dbo:Language yago:Relation100031921 yago:LinguisticRelation113797142 yago:Abstraction100002137 yago:Inflection113803782 schema:Language yago:Paradigm113804375 owl:Thing yago:GrammaticalRelation113796779
rdfs:label
集论编程 Set theoretic programming برمجة نظرية المجموعات
rdfs:comment
Set theoretic programming is a programming paradigm based on mathematical set theory. One example of a programming language based on this paradigm is SETL. The goal of set theoretic programming is to improve programmer speed and productivity significantly, and also enhance program clarity and readability. برمجة المجموعة النظرية (Set theoretic programming) هي نمط من البرمجة تعتمد نظرية المجموعات الرياضية. أحد الأمثلة للغات البرمجية التي تستخدم هذا النمط هي سيتل. 集论编程是一种基于数学集论的编程范型。基于该范型的编程语言的其中一个示例是SETL 。集论编程的目标是显著提高程序员编程的效率,使程序可读和清晰。
dcterms:subject
dbc:Set_theoretic_programming_languages dbc:Programming_paradigms
dbo:wikiPageID
919670
dbo:wikiPageRevisionID
1009002416
dbo:wikiPageWikiLink
dbc:Set_theoretic_programming_languages dbc:Programming_paradigms dbr:Programming_paradigm dbr:SETL dbr:Set_theory dbr:Matlab dbr:Miranda_(programming_language) dbr:Claire_(programming_language) dbr:SQL dbr:Language_Integrated_Query dbr:VB.NET dbr:C_Sharp_(programming_language) dbr:Programming_language dbr:F_Sharp_(programming_language)
owl:sameAs
dbpedia-zh:集论编程 dbpedia-ar:برمجة_نظرية_المجموعات freebase:m.03pymq wikidata:Q7456315 n17:4ua29 yago-res:Set_theoretic_programming
dbp:wikiPageUsesTemplate
dbt:Compu-lang-stub dbt:Reflist
dbo:abstract
برمجة المجموعة النظرية (Set theoretic programming) هي نمط من البرمجة تعتمد نظرية المجموعات الرياضية. أحد الأمثلة للغات البرمجية التي تستخدم هذا النمط هي سيتل. 集论编程是一种基于数学集论的编程范型。基于该范型的编程语言的其中一个示例是SETL 。集论编程的目标是显著提高程序员编程的效率,使程序可读和清晰。 Set theoretic programming is a programming paradigm based on mathematical set theory. One example of a programming language based on this paradigm is SETL. The goal of set theoretic programming is to improve programmer speed and productivity significantly, and also enhance program clarity and readability.
gold:hypernym
dbr:Paradigm
prov:wasDerivedFrom
wikipedia-en:Set_theoretic_programming?oldid=1009002416&ns=0
dbo:wikiPageLength
1085
foaf:isPrimaryTopicOf
wikipedia-en:Set_theoretic_programming
Subject Item
dbr:Set_theoretic_programming_languages
dbo:wikiPageWikiLink
dbr:Set_theoretic_programming
dbo:wikiPageRedirects
dbr:Set_theoretic_programming
Subject Item
wikipedia-en:Set_theoretic_programming
foaf:primaryTopic
dbr:Set_theoretic_programming