Matches in Wikidata for { <http://www.wikidata.org/entity/Q1522579> ?p ?o ?g. }
Showing items 1 to 43 of
43
with 100 items per page.
- Q1522579 description "concept in logic; syntactic transformation on formal expressions" @default.
- Q1522579 name "Substitution" @default.
- Q1522579 name "substituição" @default.
- Q1522579 name "substitution" @default.
- Q1522579 name "Підстановка (логіка)" @default.
- Q1522579 name "代入 (邏輯)" @default.
- Q1522579 name "置換 (論理学)" @default.
- Q1522579 name "치환 실례" @default.
- Q1522579 type Item @default.
- Q1522579 label "Substitution" @default.
- Q1522579 label "substituição" @default.
- Q1522579 label "substitution" @default.
- Q1522579 label "Підстановка (логіка)" @default.
- Q1522579 label "代入 (邏輯)" @default.
- Q1522579 label "置換 (論理学)" @default.
- Q1522579 label "치환 실례" @default.
- Q1522579 altLabel "代换" @default.
- Q1522579 altLabel "代換原則" @default.
- Q1522579 altLabel "代替" @default.
- Q1522579 prefLabel "Substitution" @default.
- Q1522579 prefLabel "substituição" @default.
- Q1522579 prefLabel "substitution" @default.
- Q1522579 prefLabel "Підстановка (логіка)" @default.
- Q1522579 prefLabel "代入 (邏輯)" @default.
- Q1522579 prefLabel "置換 (論理学)" @default.
- Q1522579 prefLabel "치환 실례" @default.
- Q1522579 P10283 Q1522579-52FC2512-7F9D-422A-BA7D-88C68EC7168F @default.
- Q1522579 P1417 Q1522579-54E0ABC5-67AD-4C80-A81F-94A03D2EE3BF @default.
- Q1522579 P1417 Q1522579-95AFB3F6-838C-4490-A35A-F5F3C1F0C765 @default.
- Q1522579 P279 Q1522579-ca26898f-44b0-3c39-04ea-af1a21a9dd62 @default.
- Q1522579 P4215 Q1522579-915747C4-9B8F-4BE8-ADC5-A837E6C14AA7 @default.
- Q1522579 P646 Q1522579-EB59FB35-B984-41C0-8915-195BEECC11BB @default.
- Q1522579 P8408 Q1522579-5EF03FA3-ABF0-4A95-8493-08D4955E15F7 @default.
- Q1522579 P910 Q1522579-F74EA385-3E0F-458D-8E51-8C76B24556AE @default.
- Q1522579 P8408 SubstitutionLogic @default.
- Q1522579 P10283 "C2778220771" @default.
- Q1522579 P1417 "topic/substitution-instance" @default.
- Q1522579 P1417 "topic/substitution-mathematics-and-logic" @default.
- Q1522579 P279 Q23009439 @default.
- Q1522579 P4215 "substitution" @default.
- Q1522579 P646 "/m/07k42jc" @default.
- Q1522579 P8408 "SubstitutionLogic" @default.
- Q1522579 P910 Q13294113 @default.