{"entities":{"Q2563984":{"pageid":2574727,"ns":120,"title":"Item:Q2563984","lastrevid":73797384,"modified":"2026-04-14T17:17:28Z","type":"item","id":"Q2563984","labels":{"en":{"language":"en","value":"Systems of explicit mathematics with non-constructive \\(\\mu\\)-operator and join"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 961102"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$EFD4557C-DF36-4E33-AE68-288E29018C25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9f9977036c94a3c72ab0213a667266dbe9a0d06","datavalue":{"value":{"text":"Systems of explicit mathematics with non-constructive \\(\\mu\\)-operator and join","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563984$44D88AF7-57C6-4ECD-B81D-E36E39866BE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68e97449a9bca7e7cf8bddf5a40b2dced68cef6e","datavalue":{"value":"0862.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563984$D4E7BC9D-4047-4282-924C-2758C7FF5FCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"daabed2845469cb619145f2d1105d6fa7796dd7a","datavalue":{"value":"10.1016/S0168-0072(96)00005-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563984$B7D46286-8E51-41C8-ACBA-BB9A150BF42C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89e0ed65e7892fb59de8ab256934abd0b2705926","datavalue":{"value":{"entity-type":"item","numeric-id":1356974,"id":"Q1356974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$5C9AD65B-5237-4B12-80F2-B0B991037609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"703e8b987ff5a02d9a59e4ce9f4b68bdce3e6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$64C69F32-5824-4948-8207-374D79D5F7EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$068E32B7-4640-457B-8A60-4906C241EF11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67f85cf71ecf4e4f8b75e8f9c41b44de26d27c15","datavalue":{"value":{"time":"+1997-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563984$FC36C0C6-CEA0-4D47-954D-B0A29AE594FC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"60f44e9b668618c260324f7df0f9d36d7c0effaf","datavalue":{"value":"The aim of this article is to give the proof-theoretic analysis of various sub-systems of Feferman's theory \\(\\text{T}_1\\) for explicit mathematics which contain the nonconstructive \\(\\mu\\)-operator and join. We make use of standard proof-theoretic techniques such as cut-elimination of appropriate semi-formal systems and asymmetrical interpretations in standard structures for explicit mathematics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563984$A2EB0488-BFE5-4B93-9236-501F178995A4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad12a85e3f42136cfb9986f784cbabb44523e8e0","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$E4B993DE-6A03-4C3D-8467-1FFF490130A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563984$2D854C23-30BF-485C-B84C-9975AFB890E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563984$834747CC-FD90-4760-B451-454943033330","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b842e9d0b2f5dcd24580c4429dffd09d295ab2b0","datavalue":{"value":"961102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563984$38B6E8B2-4B85-4E09-A9FB-02459C3E4692","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b34473da53e2160b197a50939e6f5f3c76dc41d7","datavalue":{"value":"fixed point theories with ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563984$E9898785-6360-4255-BF52-19570171412B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b8c8262cd97d60f83cd7c06ff02ee768c1bafc8","datavalue":{"value":"proof-theoretic analysis of subsystems of Feferman's theory \\(\\text{T}_ 1\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563984$7D994A27-D1A9-4186-9D68-448A116083CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563984$3EBCA77B-03C6-4FC0-845E-DBD6B08022A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3522f12259272b1c621cc7c6a0c8f19f3af4db3","datavalue":{"value":"nonconstructive \\(\\mu\\)-operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563984$6AA6982C-0911-4693-A916-07C5163376AB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$E79182A0-BD4E-4E83-8F5C-C85CA0DB9E42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$46C6D0F0-A7FD-4B86-9D07-AA0D2AF47756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53896d5eb3675aae4ccf944284341c082a1794fc","datavalue":{"value":{"entity-type":"item","numeric-id":3768896,"id":"Q3768896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$54BB400E-666F-4E42-BD8D-96CE5348B652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee742a038900cfbd62ae0c9ad27fa7f65ec58b07","datavalue":{"value":{"entity-type":"item","numeric-id":1920240,"id":"Q1920240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$3992E00B-D8E7-499A-8A08-D61AD22535BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795988a055edb64e2872e1fd206565bb5c7a4af7","datavalue":{"value":{"entity-type":"item","numeric-id":5622162,"id":"Q5622162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$28DB6BC8-F574-4269-880A-754E388DFA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$49C5F62C-C26D-44F0-9727-2ED4E598B4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61ddd64788745be925c7c4cbc9948dfa31aeee1","datavalue":{"value":{"entity-type":"item","numeric-id":4723729,"id":"Q4723729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$FC00A57C-F4CD-4560-9546-D7414FB16E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da3ccc94b7e18b06ea89a796d1a8d25a588dcb9","datavalue":{"value":{"entity-type":"item","numeric-id":1148899,"id":"Q1148899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$57173690-5339-4AF4-956E-3FDCBA5402A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$5B9C0866-A1A0-47CC-9778-A84BF63FEAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c165ff1f162c68d8c431ce2def1730099f39078b","datavalue":{"value":{"entity-type":"item","numeric-id":3671968,"id":"Q3671968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$971C5E36-B4AC-4DC4-9566-01A1A3A134AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fccbe088f7c3a8c169e6f089f70d6b7da507d4","datavalue":{"value":{"entity-type":"item","numeric-id":3803081,"id":"Q3803081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$AC973618-7EE9-4046-ABC2-5D7F2F8AF36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7de10908c6a54ef57b4383c3a54c934a390ea7","datavalue":{"value":{"entity-type":"item","numeric-id":1314542,"id":"Q1314542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$24979A72-4CE8-46D9-B083-1718B575C8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb73f10ef06d2f95cf34fa3f9d1b79e97709c0d1","datavalue":{"value":{"entity-type":"item","numeric-id":1919537,"id":"Q1919537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$221E3636-C98D-489A-BA5D-C5F5479278CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$5D67354A-C05C-4B06-AFAB-233171D51C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18833ee5d6be366acf0e86e4da70da9a3f2df977","datavalue":{"value":{"entity-type":"item","numeric-id":5619071,"id":"Q5619071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$7B88BDED-000E-40F0-A7DC-C0D109209061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1417e554b52abe881336652aab7ff3d077dc3724","datavalue":{"value":{"entity-type":"item","numeric-id":1899146,"id":"Q1899146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$D519F883-C194-4F80-9746-9ACA79009517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c740c798d00f0599379ffdb82a8f27d60ea6cfe7","datavalue":{"value":{"entity-type":"item","numeric-id":4894722,"id":"Q4894722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$BF88CC29-C5E9-45D3-AC5C-8D59FC134E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$70031A0A-FBAE-4694-8193-AE6B18EFAD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0116a611e86eefe60b27b9f78858f3d08089c740","datavalue":{"value":{"entity-type":"item","numeric-id":3880843,"id":"Q3880843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$29A99A2D-9B18-44F3-9873-BB96941E0EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397e4e2ee65292a376a8df287bc918d9ec760e88","datavalue":{"value":{"entity-type":"item","numeric-id":4749835,"id":"Q4749835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$D385E402-D819-4300-9539-2042D1C3F1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd228306c03acaf84fd1c55f443623cadcf212a2","datavalue":{"value":{"entity-type":"item","numeric-id":1210139,"id":"Q1210139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$785C0217-A40D-4AD4-BC02-12D9BB1128DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"499a95bca207fbf8c7061b1c293c572cca9800de","datavalue":{"value":{"entity-type":"item","numeric-id":3041187,"id":"Q3041187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$D3C1BA25-866B-4BDA-AD51-6BF2F5B4A278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b209eb909f7b2405120231556d3122ec858afb37","datavalue":{"value":{"entity-type":"item","numeric-id":1896484,"id":"Q1896484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$87D45279-1FE9-476E-A493-2D235566362F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07938c6dc0cbfdc3ba8a7f8b528364b3b071d379","datavalue":{"value":{"entity-type":"item","numeric-id":1908814,"id":"Q1908814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$C681B669-6ECA-4186-9487-34911F037255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344d2929ee1482cc0700fb8902daf5fde5955e19","datavalue":{"value":{"entity-type":"item","numeric-id":5687318,"id":"Q5687318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$234BB2D4-9D5C-43BF-8105-C8E2DA246DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a101b6caaaca5560ce5dc7bef6c8b64ce7cfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4283245,"id":"Q4283245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$32EC9FCB-2920-4341-995F-F247BA947426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1dceb578b78d6e9bede36222164db87e36a5ed7","datavalue":{"value":{"entity-type":"item","numeric-id":1267848,"id":"Q1267848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$2BCE778D-3C63-4929-95C7-61630506D32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24b5b561cde7a5eef6f6e87df461bfda495bb00","datavalue":{"value":{"entity-type":"item","numeric-id":3773877,"id":"Q3773877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$A4ACB95C-FEDC-41F7-BC86-12D5645410E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$76A8DF9C-CF16-4E6E-A827-6F9F6BA92E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$A7D6A132-6642-4F85-B904-7EB6431E2671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3f7d9f6a5b9c0765fd0ae6fa8a639661ef197e","datavalue":{"value":{"entity-type":"item","numeric-id":1115865,"id":"Q1115865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563984$ED905621-CC71-47C8-BB14-1572F726419E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ede6a5eda0ae418a6a7a3ce97a2d2588ba6b87a9","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(96)00005-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2563984$8577036D-8B67-437F-9403-4B6ACC06EFE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95ec5f4240479a5ee23521d2cf398bf65b39dd7b","datavalue":{"value":"W2045113137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563984$65F8C74C-9648-4101-97DF-F65C73108154","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668bcb1c1a942ce16e0bd7468ad79496ad2fa844","datavalue":{"value":{"entity-type":"item","numeric-id":1919537,"id":"Q1919537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84e782fa9a96b83f024b81592659e5e639f08b6","datavalue":{"value":{"amount":"+0.8556275367736816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2563984$82434CC0-ACF4-44DC-96A2-AF4043B7F62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6c7721c70860bbb05a7223c6c91e3f9f9b7769","datavalue":{"value":{"entity-type":"item","numeric-id":1314542,"id":"Q1314542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"537a4725079d50c1d49626a50bfcfa8752dfc8f9","datavalue":{"value":{"amount":"+0.8273203372955322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2563984$005DCBD5-4A3C-45A9-B9C2-47E07B8FC672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14a92b24d89c12e4743a7835410c4dc4906b44ee","datavalue":{"value":{"entity-type":"item","numeric-id":1267848,"id":"Q1267848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc03009545053c867f7fc1a472280fb5152e0dde","datavalue":{"value":{"amount":"+0.7668532133102417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2563984$2863F2BD-83DA-4C24-9E06-02B5DF52755D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Systems of explicit mathematics with non-constructive \\(\\mu\\)-operator and join","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Systems_of_explicit_mathematics_with_non-constructive_%5C(%5Cmu%5C)-operator_and_join"}}}}}