{"entities":{"Q1122567":{"pageid":1133316,"ns":120,"title":"Item:Q1122567","lastrevid":66174186,"modified":"2026-04-12T08:03:04Z","type":"item","id":"Q1122567","labels":{"en":{"language":"en","value":"Many-sorted elementary equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4106802"}},"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":"Q1122567$BDF6B4EE-070D-4755-B5C7-4F9EA8180E7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dffd3a914c9e77c9186b59a8bf827c719f658e97","datavalue":{"value":{"text":"Many-sorted elementary equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1122567$1DED413C-3951-4573-B6C1-D1E7D7598139","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2207c3ae648ffe2b6e05161d1928ec1680fc57d2","datavalue":{"value":"0676.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122567$A43B9EBD-67A7-4F40-B7F9-BD92FC369FA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59478680be7ec5354913162474d097f9da517bf6","datavalue":{"value":{"entity-type":"item","numeric-id":757361,"id":"Q757361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122567$50CBEE19-03BF-4E6B-B958-1515CA6E9B4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122567$21E6DA76-BCFB-4342-A94F-AEB059499597","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1122567$F5D014CB-E1B3-436A-A176-7D073652AB1F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"003f0ee4491cb1e7be0c3f24dd842e2370c05c35","datavalue":{"value":"Though there is a close connection between many-sorted and one-sorted languages, there are some notions which are not directly transportable to the second case [\\textit{J. L. Hook}, J. Symb. Logic 50, 372-374 (1985; Zbl 0571.03026)]. This paper is devoted to the study of four possible ways how to construct the one-sorted language corresponding to a many-sorted language. Special attention is given to the equivalence relation.    The author studies conditions under which the suggested transition from the many-sorted to the one-sorted case has the following property: ``If \\({\\mathfrak M}\\) and \\({\\mathfrak N}\\) are equivalent structures of a many-sorted language, then the one-sorted structures \\({\\mathfrak M}^*\\), \\({\\mathfrak N}^*\\) canonically associated with them are equivalent, too.'' Special attention is given to simple type theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122567$839DB741-7CB0-4921-A45E-66B4917DC008","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122567$12499B6C-91DF-4E75-8032-7341FAE75A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122567$723B3731-D6D8-430C-B0C4-416753643455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122567$DA8F9E8B-FEBF-4014-B453-79B8F13F29D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f1671beb803099320da24e9d32bf5fc7eef9e44","datavalue":{"value":"4106802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122567$212BAB6C-C0D7-43E0-848A-34F54656D3DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e66c35416b950c143b7b92598101104b0292018","datavalue":{"value":"many-sorted language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122567$68B2FA9E-FBE2-41CE-AE1E-719A45378C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122567$5440A9AE-B74E-4CC2-B77C-1767A0B7C24D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e08eb8f357cf37bb9650e048ba3d31ac3a05cf8e","datavalue":{"value":{"entity-type":"item","numeric-id":1226868,"id":"Q1226868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122567$B1738F17-3EF2-4D9E-9709-889EC0345802","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":"Q1122567$DEEBE60A-CDD6-4C92-B5E4-6BB78D8A7E8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17107de820f8037f3d30759915baf9f7aaf1ef6d","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093638017","type":"string"},"datatype":"url"},"type":"statement","id":"Q1122567$18042023-B2DF-49D7-BE92-85C6AB7FD2AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dde53db0f41b71a77ea3bbae339a5f63809dae25","datavalue":{"value":"W1966515404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122567$307EFFF0-CA11-423D-BC5E-8833F829EC38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"348fed7d563fe02ca1b1425446960a127a081024","datavalue":{"value":"10.1305/NDJFL/1093638017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122567$B2DF6BAF-6BCB-4B37-8DDB-5EA1FE7223BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbff91a9b1356cc7592795ab35ea2625e909c9ed","datavalue":{"value":{"entity-type":"item","numeric-id":1970925,"id":"Q1970925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6751aca8921d7c7e4720bdcbc3d83fa2e7111a02","datavalue":{"value":{"amount":"+0.8650943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122567$FE6FC9DA-DA74-4599-BCA3-CAF4A078D2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b903357fec427834a3ec513dd48a5a26477985","datavalue":{"value":{"entity-type":"item","numeric-id":3164835,"id":"Q3164835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2805674d5b285c48054d9893aa55f82c0be9b8","datavalue":{"value":{"amount":"+0.86017966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122567$A495DE1B-3DB6-4BCD-8E50-801C154E4655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcc9abc09c1efbe7adfc97ab8b1b1b04731cb8c","datavalue":{"value":{"entity-type":"item","numeric-id":353361,"id":"Q353361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9698ebad17aa0be1c66e2ddd4102db50c43a4e","datavalue":{"value":{"amount":"+0.85476315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122567$89A5E323-4A47-448F-A635-E106EC1C3861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0949ab89d4e52224cc2c3228c27cfc782b067f","datavalue":{"value":{"entity-type":"item","numeric-id":2832822,"id":"Q2832822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"550be4c14b031a492e329dadf95baf7e169829d7","datavalue":{"value":{"amount":"+0.85308284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122567$A67D75A0-9A83-428C-9CE9-B18D3B7DD849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbfd9272ac1754cfc737fb799058cf5eeecaa83b","datavalue":{"value":{"entity-type":"item","numeric-id":1401452,"id":"Q1401452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d495cce1e8f790ce4d0a47d8f6176b2aed9a9a","datavalue":{"value":{"amount":"+0.85287255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122567$DC1C8444-D068-4A98-843C-E785724BEBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbce2ff0f90e3d4e5c002b516ae78fb3b952b4a4","datavalue":{"value":{"entity-type":"item","numeric-id":1920089,"id":"Q1920089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f91f1a18ae2366b8105a69268d3a1fc7f5bae9e1","datavalue":{"value":{"amount":"+0.8515861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122567$74F8CD1B-31D5-47D1-8412-CE16D91EAC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700190ddf8f74f69c56e3e694efca94ba8beabd9","datavalue":{"value":{"entity-type":"item","numeric-id":4596664,"id":"Q4596664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4cef1536c312c43dbac8950ef882c20f916309","datavalue":{"value":{"amount":"+0.8498868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122567$EC1E42B6-312B-424C-A244-B60E6B84A4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d639f13768c0411b99408c300535bc24363d94a","datavalue":{"value":{"entity-type":"item","numeric-id":3752445,"id":"Q3752445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26b623d623337097d7a21b8b5617a2cafc871e7","datavalue":{"value":{"amount":"+0.84948653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122567$8C7C6E08-0A58-485F-B260-F42E8504B9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e091f5b9c6a827ad752d8d8718ce5755b825d08d","datavalue":{"value":{"entity-type":"item","numeric-id":2400500,"id":"Q2400500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da770cc5d0eb6d19bd85c263706c2183bcc6ce18","datavalue":{"value":{"amount":"+0.84947973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122567$6833AB7C-A6BC-4EF7-8CD1-CD55710861CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6685754c3cf3d1fd60cae6470da35fa66e4fa6c","datavalue":{"value":{"entity-type":"item","numeric-id":2491817,"id":"Q2491817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e27e848059ef03459fa58e7668070957a3e3de","datavalue":{"value":{"amount":"+0.8486525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1122567$A6ED5060-34BE-4EA4-AE2C-64673182EF33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Many-sorted elementary equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Many-sorted_elementary_equivalence"}}}}}