43:
209:
215:
220:
95:
667:
637:
261:– You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
69:
65:
61:
57:
53:
47:
106:
78:
150:
666:
661:
654:
to increase readability: enlarge font, use white node background, drawing order bottom-up, use different background for left/right tree
548:
478:
442:
739:
This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.
268:
636:
631:
42:
405:
568:
532:
426:
398:
383:
370:
498:
462:
343:
326:
154:
230:
742:
If the file has been modified from its original state, some details may not fully reflect the modified file.
726:
694:
The following pages on the
English Knowledge (XXG) use this file (pages on other projects are not listed):
677:
647:
267:– If you remix, transform, or build upon the material, you must distribute your contributions under the
390:
227:
114:
186:
166:
101:
202:
I, the copyright holder of this work, hereby publish it under the following license:
698:
604:
Click on a date/time to view the file as it appeared at that time.
89:
716:
151:
File:Tree structure of mathematical first-order terms.pdf
139:
Tree structure of mathematical first-order terms svg.svg
83:(SVG file, nominally 620 × 266 pixels, file size: 19 KB)
310:
Add a one-line explanation of what this file represents
479:
Creative
Commons Attribution-ShareAlike 3.0 Unported
133:
113:
Commons is a freely licensed media file repository.
391:
https://commons.wikimedia.org/user:Jochen_Burghardt
278:https://creativecommons.org/licenses/by-sa/3.0
94:
284:Creative Commons Attribution-Share Alike 3.0
208:
8:
244:– to copy, distribute and transmit the work
46:Size of this PNG preview of this SVG file:
744:
606:
306:
709:The following other wikis use this file:
754:
746:
696:
582:
566:
546:
530:
512:
496:
476:
460:
440:
424:
357:
341:
324:
321:
302:
295:
153:(see description there), created with
7:
231:Attribution-Share Alike 3.0 Unported
684:User created page with UploadWizard
595:
219:
214:
737:
315:
309:
205:
201:
143:
126:
76:
314:
300:
255:Under the following conditions:
226:This file is licensed under the
218:
213:
207:
93:
31:
21:
297:
144:
14:
296:
26:
1:
549:original creation by uploader
36:
322:Items portrayed in this file
776:
723:Usage on uk.wikipedia.org
713:Usage on fr.wikipedia.org
269:same or compatible license
167:30 December 2013, 14:36:31
596:
176:
16:
299:
235:
100:This is a file from the
683:
662:13:51, 30 December 2013
653:
182:
172:
165:
162:
136:
104:. Information from its
107:description page there
70:2,560 × 1,098 pixels
250:– to adapt the work
52:Other resolutions:
632:10:56, 8 July 2021
399:Wikimedia username
371:author name string
66:1,280 × 549 pixels
62:1,024 × 439 pixels
763:
762:
705:Global file usage
687:
463:copyright license
308:
192:
191:
122:
121:
102:Wikimedia Commons
32:Global file usage
767:
745:
679:Jochen Burghardt
674:
649:Jochen Burghardt
644:
514:30 December 2013
427:copyright status
408:
406:Jochen Burghardt
403:
393:
388:
378:
377:Jochen Burghardt
375:
291:
288:
285:
282:
279:
271:as the original.
228:Creative Commons
222:
221:
217:
216:
211:
210:
187:Jochen Burghardt
178:
168:
148:
140:
134:
118:
97:
96:
90:
84:
73:
58:640 × 275 pixels
54:320 × 137 pixels
48:620 × 266 pixels
775:
774:
770:
769:
768:
766:
765:
764:
733:
717:Terme (logique)
703:
695:
688:
680:
672:
650:
642:
598:
597:
594:
593:
592:
591:
590:
589:
588:
587:
585:
575:
574:
573:
571:
560:
559:
558:
557:
556:
555:
554:
553:
551:
539:
538:
537:
535:
524:
523:
522:
521:
520:
519:
518:
517:
515:
505:
504:
503:
501:
490:
489:
488:
487:
486:
485:
484:
483:
481:
469:
468:
467:
465:
454:
453:
452:
451:
450:
449:
448:
447:
445:
433:
432:
431:
429:
418:
417:
416:
415:
414:
413:
412:
411:
410:
409:
404:
401:
395:
394:
389:
386:
380:
379:
376:
373:
364:
363:
362:
360:
350:
349:
348:
346:
335:
334:
333:
332:
331:
329:
313:
312:
311:
294:
293:
292:
289:
286:
283:
280:
277:
276:
234:
223:
204:
203:
198:
193:
158:
149:svg version of
138:
131:
124:
123:
112:
111:
110:is shown below.
86:
82:
75:
74:
51:
12:
11:
5:
773:
771:
761:
760:
757:
753:
752:
749:
736:
732:
731:
730:
729:
721:
720:
719:
707:
706:
702:
701:
693:
692:
691:
686:
685:
682:
678:
675:
669:
664:
659:
656:
655:
652:
648:
645:
639:
634:
629:
625:
624:
621:
618:
615:
612:
609:
602:
601:
586:
583:
581:
580:
579:
578:
577:
576:
572:
567:
565:
564:
563:
562:
561:
552:
547:
545:
544:
543:
542:
541:
540:
536:
533:source of file
531:
529:
528:
527:
526:
525:
516:
513:
511:
510:
509:
508:
507:
506:
502:
497:
495:
494:
493:
492:
491:
482:
477:
475:
474:
473:
472:
471:
470:
466:
461:
459:
458:
457:
456:
455:
446:
441:
439:
438:
437:
436:
435:
434:
430:
425:
423:
422:
421:
420:
419:
397:
396:
382:
381:
369:
368:
367:
366:
365:
361:
358:
356:
355:
354:
353:
352:
351:
347:
342:
340:
339:
338:
337:
336:
330:
325:
323:
320:
319:
318:
317:
316:
305:
304:
301:
298:
275:
274:
273:
272:
262:
253:
252:
251:
245:
238:You are free:
225:
224:
206:
200:
199:
197:
194:
190:
189:
184:
180:
179:
174:
170:
169:
164:
160:
159:
141:
132:
130:
127:
125:
120:
119:
98:
88:
87:
45:
41:
40:
39:
34:
29:
24:
19:
13:
10:
9:
6:
4:
3:
2:
772:
758:
755:
750:
747:
743:
740:
734:
728:
727:Терм (логіка)
725:
724:
722:
718:
715:
714:
712:
711:
710:
704:
700:
697:
689:
681:
676:
670:
668:
665:
663:
660:
658:
657:
651:
646:
640:
638:
635:
633:
630:
627:
626:
622:
619:
616:
613:
610:
608:
607:
605:
599:
584:image/svg+xml
570:
550:
534:
500:
480:
464:
444:
428:
407:
400:
392:
385:
372:
345:
328:
281:CC BY-SA 3.0
270:
266:
263:
260:
257:
256:
254:
249:
246:
243:
240:
239:
237:
236:
232:
229:
212:
195:
188:
185:
181:
175:
171:
161:
156:
152:
147:
142:
135:
128:
116:
109:
108:
103:
99:
92:
91:
85:
80:
79:Original file
71:
67:
63:
59:
55:
49:
44:
38:
35:
33:
30:
28:
25:
23:
20:
18:
15:
741:
738:
708:
699:Term (logic)
603:
600:File history
264:
258:
247:
241:
145:
115:You can help
105:
77:
22:File history
443:copyrighted
265:share alike
259:attribution
137:Description
690:File usage
671:620 × 266
641:620 × 266
617:Dimensions
569:media type
359:some value
27:File usage
759:212.598pt
751:496.063pt
614:Thumbnail
611:Date/Time
499:inception
196:Licensing
146:English:
735:Metadata
303:Captions
248:to remix
242:to share
233:license.
177:Own work
37:Metadata
673:(19 KB)
643:(19 KB)
628:current
623:Comment
344:creator
327:depicts
307:English
155:pdf2svg
129:Summary
81:
756:Height
183:Author
173:Source
748:Width
620:User
290:true
287:true
163:Date
17:File
384:URL
402::
387::
374::
68:|
64:|
60:|
56:|
50:.
157:.
117:.
72:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.