Revision history of "TASSAT 2: THEORY AND APPLICATIONS IN SATISFACTION AND OPTIMISATION OF RESTRICTIONS" (Q3144061)

9 October 2024

• curprev 10:0410:04, 9 October 2024‎ DG Regio talk contribs‎ 98,792 bytes +14‎ ‎Changed label, description and/or aliases in pt
• curprev 10:0410:04, 9 October 2024‎ DG Regio talk contribs‎ 98,778 bytes −208‎ ‎Set a claim value: summary (P836): O PRESENTE PROJECTO REVOLVE OS PROBLEMAS DE SATISFAÇÃO E OPTIMIZAÇÃO DAS RESTRIÇÕES, NAS LÍNGUAS DE PROPOSIÇÃO LÓGICA (SAT) E NAS LÍNGUAS DE RESTRIÇÃO MAIS EXPRESSIVAS (CSP). PROPOSTAS PARA PEDIDO DE INVESTIGAÇÃO_x000D_ POINTER NESTA ÁREA FORNECIDA A EXPERIÊNCIA DOS QUATRO GRUPOS QUE COMPONEM O PROJETO. TASSAT 2 É A CONTINUAÇÃO DO PROJECTO QUE O ENCORAJA, TASSAT, QUE JÁ DEMONSTROU A SUA VIABILIDADE E VIA. Para eles, THE_x000D_ OBJETIVOS GERAIS QUE N...

20 March 2024

• curprev 13:2613:26, 20 March 2024‎ DG Regio talk contribs‎ 98,986 bytes +288‎ ‎Added qualifier: readability score (P590521): 0.0790851618628609

20 December 2023

• curprev 16:3216:32, 20 December 2023‎ DG Regio talk contribs‎ 98,698 bytes −113‎ ‎Changed an Item

12 June 2023

• curprev 14:1914:19, 12 June 2023‎ DG Regio talk contribs‎ 98,811 bytes +1,742‎ ‎Changed an Item

10 June 2023

• curprev 06:3206:32, 10 June 2023‎ Admin talk contribs‎ 97,069 bytes +437‎ BatchIngestion

4 August 2022

• curprev 07:2007:20, 4 August 2022‎ DG Regio talk contribs‎ 96,632 bytes +68,261‎ ‎Changed label, description and/or aliases in et, lt, hr, el, sk, fi, pl, hu, cs, lv, ga, sl, bg, mt, pt, da, ro, sv, nl, fr, de, it, es, and other parts: Adding translations: et, lt, hr, el, sk, fi, pl, hu, cs, lv, ga, sl, bg, mt, pt, da, ro, sv,

16 January 2022

• curprev 11:2311:23, 16 January 2022‎ DG Regio talk contribs‎ 28,371 bytes +3,460‎ ‎Changed label, description and/or aliases in it, and other parts: Adding Italian translations

17 December 2021

• curprev 10:3410:34, 17 December 2021‎ DG Regio talk contribs‎ 24,911 bytes +3,662‎ ‎Changed label, description and/or aliases in nl, and other parts: Adding Dutch translations

9 December 2021

• curprev 07:4707:47, 9 December 2021‎ DG Regio talk contribs‎ 21,249 bytes +3,484‎ ‎Changed label, description and/or aliases in de, and other parts: Adding German translations

2 December 2021

• curprev 13:4313:43, 2 December 2021‎ DG Regio talk contribs‎ 17,765 bytes +3,399‎ ‎Created claim: summary (P836): CE PROJET S’ARTICULE AUTOUR DES PROBLÈMES DE SATISFACTION ET D’OPTIMISATION DES RESTRICTIONS, TANT DANS LA LOGIQUE PROPOSITIONNELLE (SAT) QUE DANS LES LANGAGES DE RESTRICTION PLUS EXPRESSIFS (CSP). Nous PROPOSITIONS DE REMANDE D’INVESTIGATION_x000D_ POINTER DANS CE DONNÉES PROVIDÉES L’EXÉRIENCE DES FOURS GROUPES CONCERNANT LE PROJET. TASSAT 2 EST LA POURSUITE DU PROJET QUI L’ENGENDRE, TASSAT, QUI A DÉJÀ DÉMONTRÉ SA VIABILITÉ ET SA VOIE. Pour LEU...
• curprev 13:4313:43, 2 December 2021‎ DG Regio talk contribs‎ 14,366 bytes +158‎ ‎Changed label, description and/or aliases in fr: translated_label

20 October 2021

• curprev 15:3915:39, 20 October 2021‎ DG Regio talk contribs‎ 14,208 bytes +1,266‎ ‎Changed an Item
• curprev 15:3915:39, 20 October 2021‎ DG Regio talk contribs‎ 12,942 bytes −1,268‎ ‎Removed claims

12 October 2021

• curprev 13:5113:51, 12 October 2021‎ DG Regio talk contribs‎ 14,210 bytes +141‎ ‎Changed label, description and/or aliases in en: translated_label
• curprev 13:5113:51, 12 October 2021‎ DG Regio talk contribs‎ 14,069 bytes +3,263‎ ‎Created claim: summary (P836): THIS PROJECT REVOLVES AROUND THE PROBLEMS OF SATISFACTION AND OPTIMISATION OF RESTRICTIONS, BOTH IN LOGIC PROPOSITIONAL (SAT) AND IN MORE EXPRESSIVE RESTRICTION LANGUAGES (CSP). We PROPOSES TO REQUEST INVESTIGATION_x000D_ POINTER IN THIS AREA PROVIDED THE EXPERIENCE OF THE FOUR GROUPS COMPONING THE PROJECT. TASSAT 2 IS THE CONTINUATION OF THE PROJECT THAT ENGENDERS IT, TASSAT, WHICH HAS ALREADY DEMONSTRATED ITS VIABILITY AND ROUTE. For THEY, THE...

10 October 2021

• curprev 14:2714:27, 10 October 2021‎ DG Regio talk contribs‎ 10,806 bytes +433‎ ‎Changed an Item: Edited by the materialized bot - inferring region from the coordinates

9 October 2021

• curprev 10:2210:22, 9 October 2021‎ DG Regio talk contribs‎ 10,373 bytes +498‎ ‎Changed an Item: Edited by the infer coords bot - inferring coordinates from location

8 October 2021

• curprev 00:3600:36, 8 October 2021‎ DG Regio talk contribs‎ 9,875 bytes −11‎ ‎Changed label, description and/or aliases in en
• curprev 00:3600:36, 8 October 2021‎ DG Regio talk contribs‎ 9,886 bytes +9,886‎ ‎Created a new Item