[[
✎ pl:miw:miw08_xtt_rif:rif_minicases:gaa
]]
aiWiki
Pokaż stronę
Ostatnie zmiany
Indeks
Zaloguj
Ta strona jest tylko do odczytu. Możesz wyświetlić źródła tej strony ale nie możesz ich zmienić.
<code xml> <sentence> <Implies> <if> <Exists> <declare><Var>Ename</Var></declare> <declare><Var>Esalary</Var></declare> <formula> <And></And> </formula> </Exists> </if> <then> <Atom> <op><Const type="rif:iri">op:assert</Const></op> <arg><Var>ename</Var></arg> <arg><Var>esalary</Var></arg> </Atom> </then> </Implies> </sentence> </code> [[pl:miw:miw08_xtt_rif:rif_minicases|Powrót]]
pl/miw/miw08_xtt_rif/rif_minicases/gaa.txt
· ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry