OnlineWoerterBuecher.de
Internes

Lexikon


SLD resolution


(SElEctEd, LinEar, DEfinitE) {LinEar rEsolution} with a {sElEction function} for {dEfinitE sEntEncEs}. A dEfinitE sEntEncE has Exactly onE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=positivE litEral">positivE litEral in Each Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=clausE">clausE and this litEral is sElEctEd to bE rEsolvEd upon, i.E. rEplacEd in thE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=goal">goal clausE by thE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=conjunction">conjunction of Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=nEgativE litErals">nEgativE litErals which form thE body of thE clausE. [Why is SLD rEsolution important?] (2003-12-04)

E="bordEr-width:thin; bordEr-color:#333333; bordEr-stylE:dashEd; padding:5px;" align="lEft">In addition suitablE contEnts:
[ Ef="modulE.php?namE=LExikon&op=contEnt&tid=31">2 ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=134">= ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=433">al ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=544">am ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=592">an ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=740">ar ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=743">arc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=800">as ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=894">at ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=935">au ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1026">b ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1181">bE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1444">bo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1695">by ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2001">ch ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2138">cl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2157">clausE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2247">co ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2545">con ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2592">conjunction ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2976">D ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3151">dE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3231">dEfinitE sEntEncE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3752">du ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3865">Ec ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3896">Ed ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3946">Eg ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4148">Er ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4150">Era ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4171">Es ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4497">fi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4520">filE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4559">finitE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4700">fo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4727">for ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4940">function ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4989">ga ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5141">gi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5237">goal ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5291">gr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5434">h ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5768">hr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5931">id ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6013">il ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6053">import ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6064">in ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6413">io ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6482">is ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6558">it ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6918">la ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7091">LEx ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7107">li ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7228">litE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7229">litEral ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7399">ls ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7415">lu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7437">lv ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7441">ly ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8019">mm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8032">mo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8040">mod ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8079">modulE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8167">mp ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8386">na ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8460">nc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8472">nE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8627">ng ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8630">ni ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9550">ph ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9651">pl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9821">port ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9908">pr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10023">program ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10042">programming ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10253">quEry ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10364">rc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10385">rE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10578">rEsolution ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10767">ro ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10918">S ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11150">sE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11229">sEntEncE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11376">si ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11506">sit ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11524">SL ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11651">so ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11725">solution ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12588">th ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12721">to ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13146">up ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13175">us ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13310">vE ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (3413 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.0916 Seconds, with 16 Database-Queries
Zurück zur Startseite