{"entities":{"Q1105584":{"pageid":1116333,"ns":120,"title":"Item:Q1105584","lastrevid":42881094,"modified":"2025-07-15T16:30:53Z","type":"item","id":"Q1105584","labels":{"en":{"language":"en","value":"Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4059355"}},"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":"Q1105584$45169CF6-9A21-4017-B2CB-D688DB5A8DCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"929a1b7c0ca2d814828536ed9d3d807953a4708c","datavalue":{"value":{"text":"Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105584$07FD7AE8-4106-4D72-A47C-D46D72A5C347","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8aaaaf719bb706307bfdd73a3f5b6d6a523320a","datavalue":{"value":"0649.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105584$253DFC35-BD3F-4326-BAC0-2E03FAF8687C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"576474f39cc855e0d91e48c8f13e0b345b2ce3df","datavalue":{"value":"10.1007/BF00372549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105584$94D0AC21-DBAD-4EC9-970C-83800F45D4C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105584$13309DA3-39F8-471D-B596-2EA4D2C062D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105584$18956D02-B551-4779-9692-B754208A9F41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1105584$FF97EA2D-9F84-44D4-83B3-8783802746AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37531f5fe18dc785e5c7b3bf804551c4abf5a6ab","datavalue":{"value":"\\textit{V. A. Smirnov} [ibid. 42, 197-207 (1983; Zbl 0596.03018)] gave a theorem according to which elementary ontology admits an embedding in the monadic second-order logic. The author was one of those who noted that the theorem was wrong: only elementary ontology augmented with an additional axiom \\(\\exists S(S\\epsilon S)\\) is embeddable in the other system. The corrected version of Smirnov's theorem as well as a converse of it are proved.    Reviewer's remark. Meanwhile another paper by \\textit{V. A. Smirnov} has appeared [ibid. 6, 1-15 (1987; Zbl 0632.03024)] in which the improved result is obtained indirectly as a consequence of another embedding theorem (of elementary ontology in universal monadic second order logic).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105584$525DD8A1-211A-4F7C-B3FC-76E658A8E0E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105584$D87256C1-DD06-4EA8-9B58-4D9045230BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105584$718EEA84-AA6B-4D4B-AE23-4994DBDDB003","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05a7d884fd6429e32e61d040a7c0ab77d6714442","datavalue":{"value":"4059355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105584$F88ED663-DCB1-4192-8889-3616669405A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f64a5726568c584046ce650e6979fec4d775f73f","datavalue":{"value":"elementary ontology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105584$6D5BFC46-02ED-4285-9EA1-F78A8CBAAFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105584$1ECEB5F0-553D-4B5D-ACE5-701E924FC2D4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105584$DDB10541-E7B5-4453-A1F2-5A7623E33837","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":"Q1105584$CBB1500B-86AE-4F10-A6CD-F33453136066","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f028d594bb9f48780da7d32e7eed05b4bb8765f3","datavalue":{"value":"Q114694669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105584$E29D4513-5D37-4148-BF37-45162F36A6F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8d1a9f34658867251ff71c84b4dc99e8654e79","datavalue":{"value":{"entity-type":"item","numeric-id":2265413,"id":"Q2265413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105584$47D5C1EF-880D-4CAD-B199-4D68AA41A99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2510baa06c3b1b723abfe0e83a8e842cb34f002d","datavalue":{"value":{"entity-type":"item","numeric-id":1078167,"id":"Q1078167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105584$6C229B66-DC1B-4881-845D-F8211A75CDEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e4a44940d3c6efcdb6124b10f69f110f61d0c1","datavalue":{"value":{"entity-type":"item","numeric-id":1078167,"id":"Q1078167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0146c956d1a6d0f2a4ed4238992f35737c16ab9b","datavalue":{"value":{"amount":"+0.9246353","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":"Q1105584$A60D4796-FC92-4D4E-B2A9-F74BB3837124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b3a61ff75bb8221b716b44e41e8751dc233380a","datavalue":{"value":{"entity-type":"item","numeric-id":1095133,"id":"Q1095133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9f74cd4577400d9f7356ed39695fd2e2d28623","datavalue":{"value":{"amount":"+0.9244183","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":"Q1105584$1C965B0D-FF01-4FE4-9250-63578C21052A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b8bfe0ffee28faecb54c9770154b4c77aa3f51","datavalue":{"value":{"entity-type":"item","numeric-id":1820147,"id":"Q1820147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f8fea5f7e42e0edcbd12854a7cee0a395fad09","datavalue":{"value":{"amount":"+0.88556576","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":"Q1105584$E6B56CA1-7091-48D6-83A9-B778B143C95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efc018da5d5c77d43f62ea12b4087f46e0120969","datavalue":{"value":{"entity-type":"item","numeric-id":4521289,"id":"Q4521289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d311a88e1272e338da4beaecf456bfcf8dcbb8c","datavalue":{"value":{"amount":"+0.86936563","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":"Q1105584$F5990D49-2A13-4B48-93C1-3C9325DD93A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0340189fff53a74cda0fb8d19e4152e312129246","datavalue":{"value":{"entity-type":"item","numeric-id":609763,"id":"Q609763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d793c00e025ff97e4362d0420f222e6f689aab","datavalue":{"value":{"amount":"+0.86849743","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":"Q1105584$81B1CEE5-E1D7-44F6-B7C1-6D6D58477796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df18e32cb866610bafd8f3cf31f6ee81c97a6bae","datavalue":{"value":{"entity-type":"item","numeric-id":466445,"id":"Q466445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45680b80fb73e60985a298631657b9e7f0e90934","datavalue":{"value":{"amount":"+0.84799856","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":"Q1105584$1D8C263A-DF06-4652-83EE-50F55B7C9E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f96cfd4d95ee1250c3a416fe1117c70f3299840","datavalue":{"value":{"entity-type":"item","numeric-id":4914416,"id":"Q4914416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0759076579ba0ebe804b75a846f21dcd376a1c34","datavalue":{"value":{"amount":"+0.8460152","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":"Q1105584$D9B06189-519B-4723-A2A8-BD1393522B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3639b2965d16e020aa6299f37609bcf19803df9e","datavalue":{"value":{"entity-type":"item","numeric-id":4993769,"id":"Q4993769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562ef89527655a9aac1e565a94502090a2adc350","datavalue":{"value":{"amount":"+0.8426175","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":"Q1105584$E7C3EFDA-2BDA-44FC-BEDF-2815701212BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19dad84702d8c67612f34da105a0f3fde2bc5502","datavalue":{"value":{"entity-type":"item","numeric-id":4923546,"id":"Q4923546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95892ab6bf92ad7b3058362acad8ccc0e85b37a","datavalue":{"value":{"amount":"+0.84234273","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":"Q1105584$0288E988-EFEF-4CC0-9785-44BB4A6B1A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5fcbfec548ee9133c940148b72ad1f911ff299","datavalue":{"value":{"entity-type":"item","numeric-id":3734379,"id":"Q3734379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5cc68c3decac36eded7038bdfa249066f58e66a","datavalue":{"value":{"amount":"+0.84112847","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":"Q1105584$5BA1FC27-5D00-4E2A-A53D-46F5812F957F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1105584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1105584"}}}}}