Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
In other projects
Item
Discussion
View history
Purge
English
Log in
Help
Pages that link to "Item:Q5089034"
From MaRDI portal
←
(Q5089034)
Jump to:
navigation
,
search
What links here
⧼whatlinkshere-whatlinkshere-target⧽
Page:
⧼whatlinkshere-whatlinkshere-ns⧽
Namespace:
all
(Main)
Talk
User
User talk
Project
Project talk
File
File talk
MediaWiki
MediaWiki talk
Template
Template talk
Help
Help talk
Category
Category talk
Item
Item talk
Property
Property talk
Widget
Widget talk
EntitySchema
EntitySchema talk
TimedText
TimedText talk
Module
Module talk
Private
Formula
Formula talk
Person
Person talk
CodeMeta
CodeMeta talk
Publication
Publication talk
Software
Software talk
Dataset
Dataset talk
Community
Community talk
Workflow
Workflow talk
Algorithm
Algorithm talk
Service
Service talk
Theorem
Theorem talk
Research field
Research field talk
Research problem
Research problem talk
Model
Model talk
Quantity
Quantity talk
Task
Task talk
Data
UserData
Schema
Schema talk
Datatype
Datatype talk
Invert selection
⧼whatlinkshere-whatlinkshere-filter⧽
Hide transclusions
Hide links
Hide redirects
Go
The following pages link to
(Q5089034)
:
Displaying 4 items.
View (
previous 50
|
next 50
) (
20
|
50
|
100
|
250
|
500
)
Constructing a universe for the setoid model
(Q2233391)
(
← links
)
Cubical Agda: A dependently typed programming language with univalence and higher inductive types
(Q5016211)
(
← links
)
Syntax and models of Cartesian cubical type theory
(Q5022926)
(
← links
)
(Q5094128)
(
← links
)
View (
previous 50
|
next 50
) (
20
|
50
|
100
|
250
|
500
)
Tools
Special pages
Printable version
