ProTeM (Q44022): Difference between revisions

Revision as of 08:12, 4 March 2024

No description defined

Language	Label	Description	Also known as
English	ProTeM	No description defined

0 references

0 references

0 references

Revision as of 20:41, 17 February 2024 Schubotz (talk \| contribs) Bots, Bureaucrats, Interface administrators, private, Suppressors, Administrators 31,184 edits ‎Created claim: described by source (P286): Composing proof terms (Q2305425), #quickstatements; #temporary_batch_1708191066209 Tag: QuickStatements [1.0.4] ← Older edit	Revision as of 08:12, 4 March 2024 Import240304070356 (talk \| contribs) 44,541 edits Set profile property. Newer edit →
	Property / MaRDI profile type
		MaRDI software profile
	Property / MaRDI profile type: MaRDI software profile / rank
		Normal rank