Wikidata |

Wikidata

Matches in Wikidata for { <http://www.wikidata.org/entity/Q6509476> ?p ?o ?g. }

Showing items 1 to 100 of ±125 with 100 items per page.

Q6509476 description "Software für interaktives Theorembeweisen" @default.
Q6509476 description "assistant de preuve" @default.
Q6509476 description "demostrador de teoremas" @default.
Q6509476 description "perangkat lunak" @default.
Q6509476 description "software for interactive and automated theorem proving" @default.
Q6509476 description "инструмент интерактивного доказательства теорем" @default.
Q6509476 description "نرم افزار اثبات تعاملی و خودکار قضایا" @default.
Q6509476 name "Lean (bewijsassistent)" @default.
Q6509476 name "Lean (programovací jazyk)" @default.
Q6509476 name "Lean (trợ lý chứng minh)" @default.
Q6509476 name "Lean Theorembeweiser" @default.
Q6509476 name "Lean" @default.
Q6509476 name "Lean" @default.
Q6509476 name "Lean" @default.
Q6509476 name "Lean" @default.
Q6509476 name "Lean" @default.
Q6509476 name "Lean" @default.
Q6509476 name "Lean定理証明支援系" @default.
Q6509476 type Item @default.
Q6509476 label "Lean (bewijsassistent)" @default.
Q6509476 label "Lean (programovací jazyk)" @default.
Q6509476 label "Lean (trợ lý chứng minh)" @default.
Q6509476 label "Lean Theorembeweiser" @default.
Q6509476 label "Lean" @default.
Q6509476 label "Lean" @default.
Q6509476 label "Lean" @default.
Q6509476 label "Lean" @default.
Q6509476 label "Lean" @default.
Q6509476 label "Lean" @default.
Q6509476 label "Lean定理証明支援系" @default.
Q6509476 altLabel "Lean prover" @default.
Q6509476 prefLabel "Lean (bewijsassistent)" @default.
Q6509476 prefLabel "Lean (programovací jazyk)" @default.
Q6509476 prefLabel "Lean (trợ lý chứng minh)" @default.
Q6509476 prefLabel "Lean Theorembeweiser" @default.
Q6509476 prefLabel "Lean" @default.
Q6509476 prefLabel "Lean" @default.
Q6509476 prefLabel "Lean" @default.
Q6509476 prefLabel "Lean" @default.
Q6509476 prefLabel "Lean" @default.
Q6509476 prefLabel "Lean" @default.
Q6509476 prefLabel "Lean定理証明支援系" @default.
Q6509476 P1324 Q6509476-2100c469-4fe0-7d6f-5d7b-2e268d364b4f @default.
Q6509476 P1324 Q6509476-28d34a0a-4415-f4e4-89eb-0fe458ab4a43 @default.
Q6509476 P1401 Q6509476-fb8ee840-4d08-4937-4665-8d016ee596a8 @default.
Q6509476 P1482 Q6509476-FCAE3805-EB4E-4856-8A1E-2C75AAB9420D @default.
Q6509476 P154 Q6509476-d06e375c-4a28-b809-3acf-bbf6c560ef26 @default.
Q6509476 P178 Q6509476-f5e87b4d-44a9-d971-d39e-402cabbd5853 @default.
Q6509476 P1972 Q6509476-E917317C-D68F-4493-8C63-211FD2C6601E @default.
Q6509476 P2671 Q6509476-6078A37B-F86C-4E69-92B8-59F685DB1993 @default.
Q6509476 P275 Q6509476-d7b038f0-4130-9cf1-7438-b18827130676 @default.
Q6509476 P277 Q6509476-35ecc361-4583-aade-4a25-88e4a92a7d37 @default.
Q6509476 P277 Q6509476-44a9c0c6-4273-4942-5b8d-c20953ff9dbd @default.
Q6509476 P306 Q6509476-57a18138-4e7c-1351-b810-2d60cca98e28 @default.
Q6509476 P31 Q6509476-309ba004-46be-e343-ad38-1112a3783279 @default.
Q6509476 P31 Q6509476-7d422f45-47f2-f919-33c8-616ca19726dc @default.
Q6509476 P31 Q6509476-9ab2bc34-4f97-6d6b-17c4-07b184bd2b20 @default.
Q6509476 P348 Q6509476-02991d74-0077-4cd4-9434-87e03b60d9aa @default.
Q6509476 P348 Q6509476-0CBE80C1-950D-4C33-BA42-A2CC423BD22B @default.
Q6509476 P348 Q6509476-2512F755-7CA5-472B-8843-D55D4DDDDB24 @default.
Q6509476 P348 Q6509476-2ce5fd91-805e-419f-bd99-672173233c5b @default.
Q6509476 P348 Q6509476-36ebd65f-bcca-40e7-8d09-967b44baa175 @default.
Q6509476 P348 Q6509476-3a6219de-0fb5-4181-93ff-ef369f5d9263 @default.
Q6509476 P348 Q6509476-40763076-B2DF-4F23-A0D0-CD901C6895DE @default.
Q6509476 P348 Q6509476-51a04447-991c-4afc-972b-ef97cf5d50b6 @default.
Q6509476 P348 Q6509476-538b74a2-caf2-403a-b9c8-95cb511ee092 @default.
Q6509476 P348 Q6509476-7E6ADB8F-BEEC-42D7-927E-4BC08E5364D7 @default.
Q6509476 P348 Q6509476-842c85f5-6258-463a-a7a4-9ad46ba4fb1f @default.
Q6509476 P348 Q6509476-9AF6FA41-EC1C-4BE1-AE02-8A8B79197F25 @default.
Q6509476 P348 Q6509476-9D557BFE-E57D-4BF4-A27E-46ED8157B29B @default.
Q6509476 P348 Q6509476-A947C3C7-61ED-49E8-9F09-D0726E47A11A @default.
Q6509476 P348 Q6509476-cde1d305-afc2-4cca-aec5-79d5642aa2e0 @default.
Q6509476 P348 Q6509476-d1757e6b-c4ff-4510-b4d1-a61d5143f7e8 @default.
Q6509476 P366 Q6509476-19C2E19D-965B-4104-B471-A20C12AEB46F @default.
Q6509476 P400 Q6509476-E35E0B72-427D-4CD6-A230-F570A7D812AF @default.
Q6509476 P407 Q6509476-2295bd5a-46b3-0e6a-cbe1-311ababd1bfd @default.
Q6509476 P4162 Q6509476-0915d1c7-9a5f-450a-8499-d47e2e051c65 @default.
Q6509476 P4162 Q6509476-32e1c676-0bd5-4941-9d0f-02cee14dae24 @default.
Q6509476 P4215 Q6509476-49426a6b-47de-5d27-4188-0eb61b89707e @default.
Q6509476 P571 Q6509476-98383C16-B55C-48E2-A98E-D7617CB6652F @default.
Q6509476 P577 Q6509476-7e56988c-49ab-ecfb-49bd-63fa28a1814c @default.
Q6509476 P6216 Q6509476-214e6f0d-4513-4acf-f458-f29dd6db87fd @default.
Q6509476 P6931 Q6509476-0A547C0D-1654-4ADF-9221-D6BB64A80CCA @default.
Q6509476 P7078 Q6509476-584413ad-46de-6eda-6012-11857ad4f850 @default.
Q6509476 P737 Q6509476-9cce3f1d-44be-0216-f049-8c5c0bcce7b9 @default.
Q6509476 P737 Q6509476-a7fecc38-407f-5ef7-8577-73f20a7bce46 @default.
Q6509476 P7427 Q6509476-847771a1-e946-49f7-8b9e-eaa448403d1e @default.
Q6509476 P8443 Q6509476-17e0eede-93bc-48e4-a949-9052bc6a794a @default.
Q6509476 P856 Q6509476-7C741F20-49B1-43D9-87DB-426DC8DE5435 @default.
Q6509476 P973 Q6509476-b3f0f985-49f8-2684-e881-096e2c8893ba @default.
Q6509476 P2671 11j7dt82fy @default.
Q6509476 P1324 lean @default.
Q6509476 P1324 lean4 @default.
Q6509476 P1401 issues @default.
Q6509476 P1482 lean @default.
Q6509476 P154 Lean%20logo2.svg @default.
Q6509476 P178 Q1144725 @default.
Q6509476 P1972 "lean" @default.
Q6509476 P2671 "/g/11j7dt82fy" @default.
Q6509476 P275 Q13785927 @default.