[[
✎ pl:miw:miw08_xtt_rif:rif_minicases:fsitwh
]]
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> <Forall> <declare><Var>N</Var></declare> <declare><Var>P</Var></declare> <declare><Var>On</Var></declare> <declare><Var>Op</Var></declare> <formula> <Implies> <if> <And> <formula> <Exists> <declare><Var>T</Var></declare> <formula> <Frame> <object> <Member> <lower><Var>T</Var></lower> <upper><Const type="rif:iri">t</Const></upper> </Member> </object> <slot> <Prop> <key><Name>n</Name></key> <val><Var>N</Var></val> </Prop> </slot> <slot> <Prop> <key><Name>p</Name></key> <val><Var>P</Var></val> </Prop> </slot> </Frame> </formula> </Exists> </formula> <formula> <Exists> <declare><Var>Ot</Var></declare> <formula> <Frame> <object> <Member> <lower><Var>Ot</Var></lower> <upper><Const type="rif:iri">out</Const></upper> </Member> </object> <slot> <Prop> <key><Name>n</Name></key> <val><Var>On</Var></val> </Prop> </slot> <slot> <Prop> <key><Name>p</Name></key> <val><Var>Op</Var></val> </Prop> </slot> </Frame> </formula> </Exists> </formula> <formula> <Equal> <side><Var>On</Var></side> <side><Const type="xsd:decimal">2</Const></side> </Equal> </formula> </And> </if> <then> <Atom> <op><Const type="rif:local">pred</Const></op> <arg><Var>N</Var></arg> <arg><Var>P</Var></arg> <arg><Var>On</Var></arg> <arg><Var>Op</Var></arg> </Atom> </then> </Implies> </formula> </Forall> </sentence> </code> [[pl:miw:miw08_xtt_rif:rif_minicases|Powrót]]
pl/miw/miw08_xtt_rif/rif_minicases/fsitwh.txt
· ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry