Isabelle/Isar (Q14553): Difference between revisions

Revision as of 08:02, 4 March 2024

No description defined

Language	Label	Description	Also known as
English	Isabelle/Isar	No description defined

0 references

0 references

Revision as of 15:47, 4 January 2022 Admin (talk \| contribs) Bureaucrats, Interface administrators, private, Administrators 42,520 edits ‎Created a new Item: #quickstatements; #temporary_batch_1641303152818 Tag: QuickStatements [1.0.2]	Revision as of 08:02, 4 March 2024 Import240304070356 (talk \| contribs) 44,541 edits Set profile property. Newer edit →
	Property / MaRDI profile type
		Software
	Property / MaRDI profile type: Software / rank
		Normal rank