From e02c588f46a9a9711fb6648e50b555a3a0d17ccc Mon Sep 17 00:00:00 2001 From: oskar Date: Wed, 10 Sep 2025 21:40:47 +0200 Subject: [PATCH] device-60.home 2025-9-10:21:40:47 --- langages formels.md | 7 +++---- personnes.md | 12 +++++++++--- 2 files changed, 12 insertions(+), 7 deletions(-) diff --git a/langages formels.md b/langages formels.md index 1eb4c2ed..1926d16e 100644 --- a/langages formels.md +++ b/langages formels.md @@ -1,11 +1,10 @@ --- aliases: - langage formel +up: "[[langages]]" +tags: + - "#s/maths/logique" --- -up::[[langages]] -#s/maths/logique - ----- > [!definition] Langage formel > Soit $V$ [[vocabulaire]] (ensemble fini de symboles) donné diff --git a/personnes.md b/personnes.md index e5fbf091..bdb1b1b4 100644 --- a/personnes.md +++ b/personnes.md @@ -1,9 +1,14 @@ --- -BC-tag-note: "#personne" +BC-tag-note: "#t/personne" BC-tag-note-field: down +up: + - "[[gestion]]" +sibling: + - "[[citations]]" +tags: + - t/personne + - s/PKM --- -sibling:: [[citations]] -#t/personne #s/PKM ```breadcrumbs type: tree @@ -14,3 +19,4 @@ show-attributes: [field] field-groups: [downs] depth: [0, 1] ``` +