https://en.formulasearchengine.com/w/api.php?action=feedcontributions&feedformat=atom&user=194.254.61.40
formulasearchengine - User contributions [en]
2026-08-17T22:37:45Z
User contributions
MediaWiki 1.47.0-wmf.7
https://en.formulasearchengine.com/w/index.php?title=Separation_logic&diff=13070
Separation logic
2013-11-20T12:42:25Z
<p>194.254.61.40: Disambiguated: adjunction → adjunction (category theory)</p>
<hr />
<div>{{nobots}}<br />
{{Copy to Wikimedia Commons}}<br />
== Summary ==<br />
{{Information<br />
| Description = {{en|1=Pole-zero diagram with poles at origin and zeros at <math>z_1=-\frac{1}{2}+j\frac{\sqrt{3} }{2}, z_2=-\frac{1}{2}-j\frac{\sqrt{3} }{2}</math>.}}<br />
| Source = [[User:Faust_o|Faust_o]] ([[User talk:Faust_o|talk]]) ([[Special:ListFiles/Faust_o|Uploads]])<br />
| Date = <br />
| Author = [[User:Faust_o|Faust_o]] ([[User talk:Faust_o|talk]]) ([[Special:ListFiles/Faust_o|Uploads]])<br />
| Permission = <br />
| other_versions = {{vector version available|MA2PoleZero_C.svg}}<br />
}}<br />
<br />
<br />
== Licensing ==<br />
{{GFDL-self-with-disclaimers|migration=relicense}}<br />
<br />
{{Orphan image}}</div>
194.254.61.40