Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
Item
Discussion
View history
Purge
English
Log in
Help
Pages that link to "Item:Q779162"
From MaRDI portal
←
Dmitriĭ Yur'evich Vlasov
(Q779162)
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
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
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
Dmitriĭ Yur'evich Vlasov
(Q779162)
:
Displayed 7 items.
View (
previous 50
|
next 50
) (
20
|
50
|
100
|
250
|
500
)
Proof search algorithm in pure logical framework
(Q779163)
(
← links
)
(Q2899004)
(
← links
)
(Q4451634)
(
← links
)
(Q5398218)
(
← links
)
(Q5420777)
(
← links
)
(Q6177904)
(
← links
)
System Description: Russell - A Logical Framework for Deductive Systems
(Q6292666)
(
← links
)
View (
previous 50
|
next 50
) (
20
|
50
|
100
|
250
|
500
)
Tools
Special pages
Printable version
