https://wiki.tiffa.net/w/index.php?action=history&feed=atom&title=Item%3AQ8134 2026-04-19T23:37:35Z Revision history for this page on the wiki MediaWiki 1.43.0 https://wiki.tiffa.net/w/index.php?title=Item:Q8134&diff=37440&oldid=prev 2023-05-02T00:50:15Z

<p>‎<span dir="auto"><span class="autocomment">Created claim: </span></span> <a href="/wiki/Property:P22" title="‎Wikidata property‎ | ‎main Wikidata property for this item‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">Wikidata property</span> <span class="wb-itemlink-id">(P22)</span></span></a>: <a href="/wiki/Property:P522" title="‎generalization of‎ | ‎the subject statement is a particular case of this object statement, or the truth of this object statement is implied by the truth of the subject statement‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">generalization of</span> <span class="wb-itemlink-id">(P522)</span></span></a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 09:50, 2 May 2023</td> </tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P22" href="/wiki/Property:P22">Wikidata property</a></td></tr><tr><td colspan="2"> </td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><span><a title="Property:P522" href="/wiki/Property:P522">generalization of</a></span></ins></div></td></tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P22" href="/wiki/Property:P22">Wikidata property</a>: <a title="Property:P522" href="/wiki/Property:P522">generalization of</a> / rank</td></tr><tr><td colspan="2"> </td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><span>Normal rank</span></ins></div></td></tr></table>

Fire https://wiki.tiffa.net/w/index.php?title=Item:Q8134&diff=37436&oldid=prev 2023-05-02T00:48:49Z

<p>‎<span dir="auto"><span class="autocomment">Created claim: </span></span> <a href="/wiki/Property:P333" title="‎defining formula‎ | ‎mathematical formula representing a theorem or law. Maximum length: 400 characters‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">defining formula</span> <span class="wb-itemlink-id">(P333)</span></span></a>: P \rightarrow Q</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 09:48, 2 May 2023</td> </tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P333" href="/wiki/Property:P333">defining formula</a></td></tr><tr><td colspan="2"> </td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><span><h4 class="wb-details wb-math-details wb-math-rendered"><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P\rightarrow Q}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>P</mi> <mo stretchy="false">&#x2192;<!-- → --></mo> <mi>Q</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle P\rightarrow Q}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/86439ea857adc8eaec93c4d14270b8ba6bd2a6a9" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:7.198ex; height:2.509ex;" alt="{\displaystyle P\rightarrow Q}"></span></h4><div class="wb-details wb-math-details"><code>P \rightarrow Q</code></div></span></ins></div></td></tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P333" href="/wiki/Property:P333">defining formula</a>: <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P\rightarrow Q}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>P</mi> <mo stretchy="false">&#x2192;<!-- → --></mo> <mi>Q</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle P\rightarrow Q}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/86439ea857adc8eaec93c4d14270b8ba6bd2a6a9" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:7.198ex; height:2.509ex;" alt="{\displaystyle P\rightarrow Q}"></span> / rank</td></tr><tr><td colspan="2"> </td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><span>Normal rank</span></ins></div></td></tr></table>

Fire https://wiki.tiffa.net/w/index.php?title=Item:Q8134&diff=37435&oldid=prev 2023-05-02T00:48:35Z

<p>‎<span dir="auto"><span class="autocomment">Created claim: </span></span> <a href="/wiki/Property:P2" title="‎instance of‎ | ‎that class of which this subject is a particular example and member; different from P1 (subclass of); for example: K2 is an instance of mountain; volcano is a subclass of mountain (and an instance of volcanic landform)‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">instance of</span> <span class="wb-itemlink-id">(P2)</span></span></a>: <a href="/wiki/Item:Q2444" title="‎Boolean function‎ | ‎function with domain {0,1}^k for some k and with range {0,1}‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">Boolean function</span> <span class="wb-itemlink-id">(Q2444)</span></span></a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 09:48, 2 May 2023</td> </tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P2" href="/wiki/Property:P2">instance of</a></td></tr><tr><td colspan="2"> </td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><span><a title="Item:Q2444" href="/wiki/Item:Q2444">Boolean function</a></span></ins></div></td></tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P2" href="/wiki/Property:P2">instance of</a>: <a title="Item:Q2444" href="/wiki/Item:Q2444">Boolean function</a> / rank</td></tr><tr><td colspan="2"> </td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><span>Normal rank</span></ins></div></td></tr></table>

Fire https://wiki.tiffa.net/w/index.php?title=Item:Q8134&diff=37434&oldid=prev 2023-05-02T00:48:29Z

<p>‎<span dir="auto"><span class="autocomment">Created claim: </span></span> <a href="/wiki/Property:P2" title="‎instance of‎ | ‎that class of which this subject is a particular example and member; different from P1 (subclass of); for example: K2 is an instance of mountain; volcano is a subclass of mountain (and an instance of volcanic landform)‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">instance of</span> <span class="wb-itemlink-id">(P2)</span></span></a>: <a href="/wiki/Item:Q2447" title="‎logical connective‎ | ‎symbol or word used to connect sentences (of either a formal or a natural language), such that the value of the compound sentence produced depends only on the one of the original sentences and on the meaning of the connective‎"><span class="wb-itemlink"><span class="wb-itemlink-label" lang="en" dir="ltr">logical connective</span> <span class="wb-itemlink-id">(Q2447)</span></span></a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 09:48, 2 May 2023</td> </tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P2" href="/wiki/Property:P2">instance of</a></td></tr><tr><td colspan="2"> </td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><span><a title="Item:Q2447" href="/wiki/Item:Q2447">logical connective</a></span></ins></div></td></tr><tr><td colspan="2" class="diff-lineno"></td><td colspan="2" class="diff-lineno">Property / <a title="Property:P2" href="/wiki/Property:P2">instance of</a>: <a title="Item:Q2447" href="/wiki/Item:Q2447">logical connective</a> / rank</td></tr><tr><td colspan="2"> </td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><span>Normal rank</span></ins></div></td></tr></table>

Fire https://wiki.tiffa.net/w/index.php?title=Item:Q8134&diff=37433&oldid=prev 2023-05-02T00:48:13Z

<p>‎<span dir="auto"><span class="autocomment">Created a new Item: </span></span> logical implication, logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right</p> <a href="https://wiki.tiffa.net/w/index.php?title=Item:Q8134&amp;diff=37433">Show changes</a>

Fire