Warning: session_start(): open(/var/lib/php/sessions/sess_bqdcbbattp8nu1ftcivqr8blm7, O_RDWR) failed: No space left on device (28) in /lemon-model.net/htdocs/lexica/uby/ow_eng/header.htmlfrag on line 1

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /lemon-model.net/htdocs/lexica/uby/ow_eng/header.htmlfrag on line 1
Lemon - Lexicon Model for Ontologies

OW_eng_Sense_52267   

Instance of: lemon:LexicalSense
Property Value
lemon:definition Statement1
rdf:type lemon:SenseDefinition
lemon:value engA decision problem which can be stated as follows: given a description of a program and a finite input, decide whether the program finishes running or will run forever, given that input. (source: Wikipedia)
lemon:value enghttp://en.wikipedia.org/wiki/Halting_problem
uby:statementType externalReference
lemon:reference OW_eng_Synset_42104     More...
uby:equivalent deuHalteproblem
uby:equivalent porproblema da parada
uby:equivalent spaproblema de la parada
uby:equivalent itaproblema della fermata
uby:equivalent fraproblème de l'arrêt
uby:equivalent nldstopprobleem
uby:index 1099108
uby:monolingualExternalRef MonolingualExternalRef1
rdf:type uby:MonolingualExternalRef
uby:externalReference 1099108
uby:externalSystem OW SynTrans ID

Is used by:
Property Value
Is lemon:sense of OW_eng_LexicalEntry_46578     More...


 

The resource lemonUBY is made available under a Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) license. This resource is derived from UBY under a Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) license
Creative Commons License

You are free to share (copy, distribute and transmit) the work, to develop your own extensions (adapt, remix) of the work, and to make commercial use of the work, provided that you comply with the licenses of all the integrated lexical resources and linkings between them.

Content in OmegaWiki is available under two licenses: