MétaCan
Menu
Constructeur de cohorte

4 299 418 travaux, canadiens par l’une de quatre routes.

Chaque état de filtre est une URL; l’URL est la requête; la requête est citable via /q/⟨hash⟩. La page, l’API et l’export analysent les mêmes paramètres.

La cohorte courante, diffusée en continu depuis la base de données : toutes les colonnes des travaux, les étiquettes machine, les scores provisoires et l'état de validation de chaque rangée. Les exportations sont plafonnées à 100 000 rangées. Crée un lien /q/ permanent pour cette requête exacte. Les mêmes filtres produisent toujours le même lien, qui que soit le demandeur.

Terme de recherche
Auteur ou autrice
Période
Ordre
Langue
Type
Domaine
Revue
Sujet
Advanced Algebra and Logic
Rétractation
Résumé
Source des données probantes
Devis d'étude
Accord des étiquettes
État des étiquettes

Les étiquettes directes de Codex et Gemma sont non validées et clairsemées. Les prédictions distillées couvrent la base complète et sont elles aussi non validées. Choisissez explicitement la source; l'absence d'une étiquette directe n'est jamais une étiquette négative.

affaffiliation
fundbailleur
venuerevue
aboutsujet

Les quatre voies se composent : exigez la voie du financement et excluez l'affiliation pour obtenir la strate financée-seulement qu'aucune base fondée sur l'affiliation ne voit jamais.

680 résultats · 1 filtre actif ·
Résultats par année
20002025
Date de publication
Catégories
Étiquettes machine · couverture clairsemée
Preuves
Langue
Type
Citations
Un travail non étiqueté est inconnu, pas un négatif. La couverture est rapportée à chaque requête.
680 travaux dans la cohorte · sur 4 299 418page 1 sur 14

Les étiquettes couvrent 0 des 680 travaux de cette cohorte. Les autres sont non étiquetés, ce qui n'est pas une étiquette négative : la table des étiquettes est clairsemée aujourd'hui et s'enrichit au fil des rondes d'étiquetage.

Les prédictions distillées couvrent 680 des 680 travaux de cette cohorte. Ces prédictions portent le statut machine_predicted_unvalidated. Le volet Gemma est une étiquette directe du modèle pour chaque travail (titre seulement); le volet Codex est un classifieur distillé et calibré. Le mode candidate est l'union; le consensus est l'intersection.

affsans résuménon étiqueté
Lattice Theory: Foundation
George Grätzer
2011· book· en· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
698
citations
affsans résuménon étiqueté
Basic Many-Valued Logic
Alasdair Urquhart
2001· book-chapter· en· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
154
citations
affsans résuménon étiqueté
Boolean Functions and Computation Models
Peter Clote, Evangelos Kranakis
2002· book· en· Texts in theoretical computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
110
citations
affsans résuménon étiqueté
The Category of S-Posets
Sydney Bulman‐Fleming, Mojgan Mahmoudi
2005· article· en· Semigroup Forum· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
83
citations
affsans résuménon étiqueté
Characterizations of several Maltsev conditions
Marcin Kozik, Andrei Krokhin, Matthew Valeriote, Ross Willard
2015· article· en· Algebra Universalis· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
65
citations
affsans résuménon étiqueté
First-order Gödel logics
Matthias Baaz, Norbert Preining, Richard Zach
2007· article· en· Annals of Pure and Applied Logic· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
64
citations
affsans résuménon étiqueté
On the quantisation of spaces
Christopher J. Mulvey, Joan Wick Pelletier
2002· article· en· Journal of Pure and Applied Algebra· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
58
citations
affnon étiqueté
ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS
Ralph Freese, Matthew Valeriote
2009· article· en· International Journal of Algebra and Computation· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
52
citations
affsans résuménon étiqueté
Distributive laws and factorization
Robert Rosebrugh, Richard J. Wood
2002· article· en· Journal of Pure and Applied Algebra· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
51
citations
affnon étiqueté
Lectures on Algebraic Model Theory
Bradd Hart, Matthew Valeriote
2001· book· en· American Mathematical Society eBooks· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
49
citations
affsans résuménon étiqueté
A Compendium of Continuous Lattices in MIZAR
Grzegorz Bancerek, Piotr Rudnicki
2002· article· en· Journal of Automated Reasoning· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
37
citations
affnon étiqueté
Consistent Rationalizability
Walter Bossert, Yves Sprumont, Kotaro Suzumura
2005· article· en· Economica· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
37
citations
affsans résuménon étiqueté
Ordered topological structures
Walter Tholen
2009· article· en· Topology and its Applications· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
36
citations
afffundnon étiqueté
Proximal relator spaces
J. F. Peters
2016· article· it· Filomat· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
35
citations
affsans résuménon étiqueté
Free μ-lattices
Luigi Santocanale
2002· article· en· Journal of Pure and Applied Algebra· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
34
citations
afffundnon étiqueté
Two more fermionic minimal models
2021· article· en· Journal of High Energy Physics· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
32
citations
affsans résuménon étiqueté
Combinatorial Set Theory of C*-Algebras
Ilijas Farah
2019· book· en· Springer monographs in mathematics· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
32
citations
affsans résuménon étiqueté
Canonical Partitions Of Universal Structures
C. Laflamme, N. Sauer, Vojkan Vuksanovic
2006· article· en· COMBINATORICA· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
32
citations
affnon étiqueté
On Tate's trace
Martín Argerami, Fernando Szechtman, Ryan M. Tifenbach
2007· article· en· Linear and Multilinear Algebra· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
30
citations
affsans résuménon étiqueté
MV-semirings and their Sheaf Representations
L. P. Belluce, Antonio Di Nola, Anna Rita Ferraioli
2011· article· en· Order· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
29
citations
fundno affsans résuménon étiqueté
On generalized constraints and certificates
Lisa Hellerstein
2001· article· en· Discrete Mathematics· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
29
citations
afffundsans résuménon étiqueté
A basic distributive law
F. Marmolejo, Robert Rosebrugh, Richard J. Wood
2002· article· en· Journal of Pure and Applied Algebra· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
28
citations
affsans résuménon étiqueté
Representations of monadic MV -algebras
L. P. Belluce, Revaz Grigolia, Ada Lettieri
2005· article· en· Studia Logica· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
27
citations
venueno affnon étiqueté
On extensions of lax monads
Maria Manuel Clementino, Dirk Hofmann
2004· article· en· Theory and applications of categories· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
25
citations
affnon étiqueté
On the Combinatorics of Gentle Algebras
2019· article· en· Canadian Journal of Mathematics· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
25
citations
affnon étiqueté
A decomposition of fuzzy relations
Witold Pedrycz, Kaoru Hirota, Salvatore Sessa
2001· article· en· IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
24
citations
affnon étiqueté
Canonical Vertex Partitions
N. Sauer
2003· article· en· Combinatorics Probability Computing· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
24
citations
affsans résuménon étiqueté
Ghosts in modular representation theory
Sunil K. Chebolu, J. Daniel Christensen, Ján Mináč
2007· article· en· Advances in Mathematics· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
23
citations
affsans résuménon étiqueté
Tilings, 𝐶*-algebras, and 𝐾-theory
Michael Baake, Robert V. Moody
2000· book-chapter· en· CRM monograph series· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
23
citations
affsans résuménon étiqueté
Hazard Algebras
Janusz Brzozowski, Zoltán Ésik
2003· article· en· Formal Methods in System Design· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
23
citations
affsans résuménon étiqueté
A note on planar semimodular lattices
George Grätzer, Edward Knapp
2008· article· en· Algebra Universalis· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
23
citations

En coulisses: Sélection · Constats · À propos