@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
<http://en.wikipedia.org/wiki/Assertion_(software_development)>	foaf:primaryTopic	<https://dbpedia.org/resource/Assertion_(software_development)> .
@prefix ns1:	<https://dbpedia.org/ontology/> .
<https://dbpedia.org/resource/Go_(programming_language)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
<https://dbpedia.org/resource/ParaSail_(programming_language)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
@prefix ns2:	<https://dbpedia.org/resource/> .
ns2:Pytest	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Fuzzing	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Heisenbug	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:MOS_Technology_6502	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Asynchronous_system	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Assertion	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> ;
	ns1:wikiPageDisambiguates	<https://dbpedia.org/resource/Assertion_(software_development)> .
@prefix ns3:	<https://dbpedia.org/resource/The_Power_of_10:> .
ns3:_Rules_for_Developing_Safety-Critical_Code	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Design_by_contract	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
<https://dbpedia.org/resource/Assertion_(software_development)>	owl:sameAs	<http://es.dbpedia.org/resource/Aserci\u00F3n_(inform\u00E1tica)> ,
		<http://ru.dbpedia.org/resource/\u0423\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u0435_(\u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435)> ,
		<http://vi.dbpedia.org/resource/Assertion_(ph\u00E1t_tri\u1EC3n_ph\u1EA7n_m\u1EC1m)> ,
		<http://dbpedia.org/resource/Assertion_(software_development)> ,
		<http://pt.dbpedia.org/resource/Asser\u00E7\u00E3o> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
<https://dbpedia.org/resource/Assertion_(software_development)>	owl:sameAs	wikidata:Q741248 ,
		<http://ko.dbpedia.org/resource/\uD45C\uBA85> ,
		<http://be.dbpedia.org/resource/\u0421\u0446\u0432\u044F\u0440\u0434\u0436\u044D\u043D\u043D\u0435_(\u043F\u0440\u0430\u0433\u0440\u0430\u043C\u0430\u0432\u0430\u043D\u043D\u0435)> ,
		<http://pl.dbpedia.org/resource/Asercja_(informatyka)> ,
		<http://de.dbpedia.org/resource/Assertion_(Informatik)> ,
		<http://uk.dbpedia.org/resource/\u041F\u0440\u0438\u043F\u0443\u0449\u0435\u043D\u043D\u044F_(\u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F)> .
@prefix dbpedia-nl:	<http://nl.dbpedia.org/resource/> .
<https://dbpedia.org/resource/Assertion_(software_development)>	owl:sameAs	dbpedia-nl:Assertie ,
		<http://he.dbpedia.org/resource/\u05D8\u05E2\u05E0\u05EA_\u05E0\u05DB\u05D5\u05E0\u05D5\u05EA> ,
		<http://hu.dbpedia.org/resource/\u00C1ll\u00EDt\u00E1s_(programoz\u00E1s)> ,
		<http://rdf.freebase.com/ns/m.01h_v3> ,
		<http://ja.dbpedia.org/resource/\u8868\u660E_(\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0)> ,
		<http://zh.dbpedia.org/resource/\u65B7\u8A00_(\u7A0B\u5F0F)> ,
		<http://it.dbpedia.org/resource/Asserzione_(informatica)> .
@prefix dbpedia-cs:	<http://cs.dbpedia.org/resource/> .
<https://dbpedia.org/resource/Assertion_(software_development)>	owl:sameAs	dbpedia-cs:Aserce ,
		<https://global.dbpedia.org/id/4uaDh> ,
		<http://yago-knowledge.org/resource/Assertion_(software_development)> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
<https://dbpedia.org/resource/Assertion_(software_development)>	rdfs:label	"\u8868\u660E (\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0)"@ja ,
		"Assertion (Informatik)"@de ,
		"Aserci\u00F3n (inform\u00E1tica)"@es ,
		"Aserce"@cs ,
		"\u65B7\u8A00 (\u7A0B\u5F0F)"@zh ,
		"Asser\u00E7\u00E3o"@pt ,
		"\u0423\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043D\u0438\u0435 (\u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435)"@ru ,
		"Assertie"@nl ,
		"Asserzione (informatica)"@it ,
		"\uD45C\uBA85"@ko ,
		"\u041F\u0440\u0438\u043F\u0443\u0449\u0435\u043D\u043D\u044F (\u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F)"@uk ,
		"Asercja (informatyka)"@pl ,
		"Assertion (software development)"@en .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix ns10:	<https://dbpedia.org/resource/Category:> .
<https://dbpedia.org/resource/Assertion_(software_development)>	dct:subject	ns10:Conditional_constructs ,
		ns10:Debugging ,
		ns10:Formal_methods ,
		ns10:Logic_in_computer_science .
@prefix prov:	<http://www.w3.org/ns/prov#> .
<https://dbpedia.org/resource/Assertion_(software_development)>	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Assertion_(software_development)?oldid=1312010080&ns=0> ;
	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/C._A._R._Hoare> ,
		ns2:Glibc ,
		ns2:Remainder ,
		<https://dbpedia.org/resource/C_(programming_language)> ,
		<https://dbpedia.org/resource/Eiffel_(programming_language)> ,
		ns2:Production_environment ,
		ns10:Debugging ,
		ns2:Stack_trace ,
		ns2:Design_by_contract ,
		<https://dbpedia.org/resource/Java_(programming_language)> ,
		ns2:Switch_statement ,
		ns2:Imperative_programming ,
		ns2:Modulo_operation ,
		ns2:C1X ,
		ns2:Logical_proposition ,
		<https://dbpedia.org/resource/Class_(computer_science)> ,
		ns2:Flowchart ,
		ns2:Segmentation_fault ,
		<https://dbpedia.org/resource/Python_(programming_language)> ,
		<https://dbpedia.org/resource/Invariant_(computer_science)> ,
		<https://dbpedia.org/resource/Run_time_(program_lifecycle_phase)> ,
		ns2:Runtime_system ,
		ns2:Heisenbug ,
		ns2:Development_cycle ,
		ns2:Dead_code_elimination ,
		ns2:Static_code_analysis ,
		ns2:Hoare_logic ,
		ns2:Java_Modeling_Language ,
		<https://dbpedia.org/resource/Library_(computing)> ,
		ns2:Template_metaprogramming ,
		ns2:Preprocessor ,
		ns2:Debugger ,
		<https://dbpedia.org/resource/C++11> ,
		ns2:Test-driven_development ,
		ns2:Computer_programming ,
		<https://dbpedia.org/resource/D_(programming_language)> ,
		<https://dbpedia.org/resource/C++> ,
		ns2:Compiler_optimizations ,
		<https://dbpedia.org/resource/Crash_(computing)> ,
		ns2:Precondition ,
		ns2:Assertion_definition_language ,
		<https://dbpedia.org/resource/Comment_(computer_programming)> ,
		ns10:Formal_methods ,
		ns2:Security_Assertion_Markup_Language ,
		ns2:Compiler ,
		ns2:Herman_Goldstine ,
		ns2:Exception_handling ,
		<https://dbpedia.org/resource/Statement_(programming)> ,
		ns2:John_von_Neumann ,
		ns2:Null_pointer ,
		ns2:State_space ,
		ns10:Conditional_constructs ,
		ns2:IAS_machine ,
		ns2:Alan_Turing ,
		ns10:Logic_in_computer_science ,
		<https://dbpedia.org/resource/Variable_(programming)> ,
		ns2:Postcondition ,
		<https://dbpedia.org/resource/Side-effect_(computer_science)> ,
		<https://dbpedia.org/resource/Predicate_(mathematical_logic)> ,
		ns2:Boolean-valued_function ,
		ns2:Core_dump ;
	ns1:wikiPageExternalLink	<http://queue.acm.org/detail.cfm%3Fid=2220317> ,
		<https://blog.regehr.org/archives/1091> ,
		<http://ieeexplore.ieee.org/stamp/stamp.jsp%3Ftp=&arnumber=1203056> ,
		<http://discovery.ucl.ac.uk/4991/1/4991.pdf> ;
	ns1:description	"\u3010\u8A08\u7B97\u6A5F\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u3011\u30B3\u30FC\u30C9\u5B9F\u884C\u6642\u306B\u304A\u3044\u3066\u8FF0\u8A9E\u304C\u5E38\u306B\u771F\u3067\u3042\u308B\u3088\u3046\u306A\u8A00\u660E"@ja ,
		"predicado incluido en un programa inform\u00E1tico"@es ,
		"\u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442 \u0432 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0435, \u0443\u043A\u0430\u0437\u044B\u0432\u0430\u044E\u0449\u0438\u0439 \u043D\u0430 \u0442\u043E, \u0447\u0442\u043E \u0440\u0430\u0437\u0440\u0430\u0431\u043E\u0442\u0447\u0438\u043A \u043F\u0440\u0435\u0434\u043F\u043E\u043B\u0430\u0433\u0430\u0435\u0442 \u044D\u0442\u043E\u0442 \u043F\u0440\u0435\u0434\u0438\u043A\u0430\u0442 \u0432 \u044D\u0442\u043E\u043C \u043C\u0435\u0441\u0442\u0435 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B \u0432\u0441\u0435\u0433\u0434\u0430 \u0438\u0441\u0442\u0438\u043D\u043D\u044B\u043C"@ru ,
		"in computer programming, statement that a predicate is always true at that point in code execution"@en ,
		"\uD504\uB85C\uADF8\uB7A8 \uC548\uC5D0 \uCD94\uAC00\uD558\uB294 \uCC38\u00B7\uAC70\uC9D3\uC744 \uBBF8\uB9AC \uAC00\uC815\uD558\uB294 \uBB38"@ko ,
		"predicato presente in un programma informatico"@it ,
		"Aussage \u00FCber den Zustand eines Computer-Programms oder einer elektronischen Schaltung"@de ,
		"n\u00EB programimin kompjuterik, pohimi se nj\u00EB kall\u00EBzues \u00EBsht\u00EB gjithmon\u00EB i v\u00EBrtet\u00EB n\u00EB at\u00EB pik\u00EB n\u00EB ekzekutimin e kodit"@sq ,
		"v ra\u010Dunalni\u0161kem programiranju, izjava, da je predikat na tej to\u010Dki izvajanja kode vedno resni\u010Den"@sl ,
		"predykat umieszczony w pewnym miejscu w kodzie programu"@pl .
@prefix ns12:	<https://dbpedia.org/property/> .
@prefix ns13:	<https://dbpedia.org/resource/Template:> .
<https://dbpedia.org/resource/Assertion_(software_development)>	ns12:wikiPageUsesTemplate	ns13:Mono ,
		ns13:Reflist ,
		ns13:Short_description ,
		ns13:About .
@prefix gold:	<http://purl.org/linguistics/gold/> .
<https://dbpedia.org/resource/Assertion_(software_development)>	gold:hypernym	ns2:Statement ;
	foaf:isPrimaryTopicOf	<http://en.wikipedia.org/wiki/Assertion_(software_development)> .
ns2:Test_oracle	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Hoare_logic	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Offensive_programming	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Unit_testing	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Random_testing	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Software_construction	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
<https://dbpedia.org/resource/Statement_(computer_science)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
<https://dbpedia.org/resource/Robustness_(computer_science)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Debugging	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:List_of_unit_testing_frameworks	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:NUnit	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
<https://dbpedia.org/resource/Assertion_(computing)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Assertion_(software_development)> .
@prefix ns15:	<https://dbpedia.org/resource/PL/> .
ns15:C	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Loop_invariant	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:SystemVerilog	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Provenance_Markup_Language	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
<https://dbpedia.org/resource/Command\u2013query_separation>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Glossary_of_computer_science	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:QUnit	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Automatic_bug_fixing	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
<https://dbpedia.org/resource/Can\u0027t_happen>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> .
<https://dbpedia.org/resource/Assertion_(programming)>	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Assertion_Code	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Assertion_failure	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Assertion_(software_development)> .
ns2:Static_assertion	ns1:wikiPageWikiLink	<https://dbpedia.org/resource/Assertion_(software_development)> ;
	ns1:wikiPageRedirects	<https://dbpedia.org/resource/Assertion_(software_development)> .