{"entities":{"Q1372940":{"pageid":1383680,"ns":120,"title":"Item:Q1372940","lastrevid":71538828,"modified":"2026-04-13T22:55:25Z","type":"item","id":"Q1372940","labels":{"en":{"language":"en","value":"Relations in monadic third-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1083181"}},"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":"Q1372940$C6321E9A-A0C9-46BC-BF62-96C3C9A2FE98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59abfaddcffa391d3f77ae426e5295b7439fe817","datavalue":{"value":{"text":"Relations in monadic third-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1372940$BED63F4A-C876-4DEB-B56D-9EA8C7CDB9CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed509f5fa253ed1d23cd8e7fe20d8fd6887a1130","datavalue":{"value":"0886.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372940$9C367BD3-62CB-4F86-B5BE-8E7FEF934116","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"791924421a6eee25e46eb068a31bec6b076b20e9","datavalue":{"value":"10.1023/A:1004247419201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372940$C8960D92-28FC-476F-BD0C-53FBDE73E818","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372940$40FD1CE9-0729-4963-9C78-0872BA22474F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b0d8a2d64f96d9ba601d9b646a840147affe461","datavalue":{"value":{"time":"+1997-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1372940$E9150991-127C-4D78-860A-78E46B45D8EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a19e0951476391b50f7e70f14e0805f72c87b108","datavalue":{"value":"In der monadischen Logik der dritten Stufe (verk\u00fcrzt: M3oL) kommen als gebundene Variablen nur Individuen, einstellige Pr\u00e4dikate der ersten Stufe und solche einstelligen Pr\u00e4dikate der zweiten Stufe vor, f\u00fcr welche als Argumente die einstelligen Pr\u00e4dikate der ersten Stufe auftreten. Der Verf. betrachtet die M\u00f6glichkeit, die vollst\u00e4ndige Logik der zweiten Stufe durch M3oL im Sinn von \\textit{J. P. Burgess}, \\textit{A. P. Hazen} und \\textit{D. Lewis} [``Appendix on pairing'', in: \\textit{D. Lewis}, Parts of Classes (Basil Blackwell, Oxford, 1990), pp. 121-149] zu vertreten. Der Verfasser kommt zur Schlu\u00dffolgerung, da\u00df dies im ganzen Ausma\u00df ohne die Anwendung des Auswahlaxioms nicht m\u00f6glich ist. Dagegen ist es m\u00f6glich in einigen Sonderf\u00e4llen, z.B. f\u00fcr symmetrische Relationen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372940$94B72AE7-8A56-4745-8B05-1FF63351197B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372940$4BE912D6-06D2-4FFC-A767-97A60E3B5854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372940$FED288F6-6392-4F6B-93B0-04F6FB2340CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0b8175c7f4f8649c0e82340ba917af992a6f1c1","datavalue":{"value":"1083181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372940$2B197660-FA8A-4912-A370-367277BE88B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24b8f9e5f49ee9cc7730fc330731e00244bbebf","datavalue":{"value":"theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372940$6BBAE984-FC06-467C-8B1A-5BCEFC054797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef580dc6ba1451aeadb852ac0dd131e497dec33","datavalue":{"value":"monadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372940$B943511A-70FE-4763-AB04-CC15DF4E8B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372940$04D0EE39-4A4F-49BE-8B6C-529086AB1726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"859dca27662bff17cba9ddeb22d01a5578b901b4","datavalue":{"value":"symmetric relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372940$48398273-DFD0-44E5-A26D-2173B9257244","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2321104d3886c08f41bc8f0b120d9f337d67cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1632056,"id":"Q1632056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372940$93B304A3-6389-4639-B0E2-DDA3AA6C4E73","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7b41e5f7ea0ddf008e18157715fbe05e096bdc98","datavalue":{"value":{"entity-type":"item","numeric-id":749524,"id":"Q749524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372940$6928B7EE-D17F-4E35-906D-E03833101758","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":"Q1372940$AB035D45-06E6-444A-BFE2-CCE037556A0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ed99f8cf6158b250bd3bec6f85437a63b51664","datavalue":{"value":{"entity-type":"item","numeric-id":3680818,"id":"Q3680818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372940$89B9A095-0F48-4792-85EB-482A56150B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372940$F10C766D-CBE3-4365-9353-913419F45A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"209981b9aaae5c0d65e9421f4e0b6437aa4e309d","datavalue":{"value":{"entity-type":"item","numeric-id":3227562,"id":"Q3227562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372940$8BC4BEB2-3ACD-421E-86A2-2A33EB429A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d1f04b73193413c1e304c124d2ac78f433c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":3225666,"id":"Q3225666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372940$92B145B5-E61E-495D-A53E-F893ED69F777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c2afdfee151b6a68d62f2405d3be4c5d22f73b7","datavalue":{"value":{"entity-type":"item","numeric-id":5734418,"id":"Q5734418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372940$06A81B92-511D-4759-B49F-0E514615FB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7b85d7065db0b8fe399a7e7a611f4f79c7bd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5586299,"id":"Q5586299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372940$D903537B-6BE6-4C01-A250-DCA3DD307E89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72375d88ad8fac8bff56f90c93ad2ab4b5075d2d","datavalue":{"value":"https://doi.org/10.1023/a:1004247419201","type":"string"},"datatype":"url"},"type":"statement","id":"Q1372940$705FCE56-F20A-4C4C-8378-F5F16AEF38EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b9cd3983ec005acd0d8bf9c56c7766cc47aea2b","datavalue":{"value":"W2040290908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372940$1A07C1B2-CF75-4841-AA59-72D17EE059E9","rank":"normal"}],"P1643":[{"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":"318d47d3155d4caa9277b38ee959e067bf55876b","datavalue":{"value":{"amount":"+0.9080867","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":"Q1372940$DFE3D2E3-264A-4B57-BE16-85B2D6708510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959832de3369a3e6ac2ca60ca2a2f962f8ee1ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4411847,"id":"Q4411847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab97c54c4f4e939dc716ca23b36ae658e813953","datavalue":{"value":{"amount":"+0.9022974","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":"Q1372940$9CB30BA9-03ED-4437-8141-0D22AD4A393E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c8fc29a8abd66aec0f889dccada072e7d5d3f6","datavalue":{"value":{"entity-type":"item","numeric-id":3545276,"id":"Q3545276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab97c54c4f4e939dc716ca23b36ae658e813953","datavalue":{"value":{"amount":"+0.9022974","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":"Q1372940$3DBE9814-769F-42B8-8E05-96E33C1FDD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6592450d4ee64a63f880ebd9f77ab33bef3716","datavalue":{"value":{"entity-type":"item","numeric-id":3201035,"id":"Q3201035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b676dbed8038e623936d56fa0dc8f784b378a1e1","datavalue":{"value":{"amount":"+0.9000363","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":"Q1372940$4A0159C1-B271-4FC6-8E62-D479FDAE25A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f72ba1ddc16f689375436c40309b0bb49fa7f7","datavalue":{"value":{"entity-type":"item","numeric-id":2421520,"id":"Q2421520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3522a1fb24affee868bbcbd3ba151a87501abb76","datavalue":{"value":{"amount":"+0.898319","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":"Q1372940$F66DA279-5EAC-4F8D-91C9-953A6EBC96E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aea730fea43e185064292050b68dd1058675866","datavalue":{"value":{"entity-type":"item","numeric-id":5302024,"id":"Q5302024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb81fdad813352874e62f8751ad1a740bc89b53","datavalue":{"value":{"amount":"+0.8927187","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":"Q1372940$AA53D23C-5A31-458C-8FFD-876DF0775E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"762ae9f7f8293efb0c9059591f6a4d729a1ede94","datavalue":{"value":{"entity-type":"item","numeric-id":2807086,"id":"Q2807086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8a795166639fd4f85b78e14feaec740962d637","datavalue":{"value":{"amount":"+0.8922357","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":"Q1372940$49E3DA2F-0B7A-48C3-BE89-3512FB6BA297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32a4032220eb1e925bd05c190d093a0755be94e8","datavalue":{"value":{"entity-type":"item","numeric-id":4362879,"id":"Q4362879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd55ebb6c1fb3d9cd6ba80dcdea8712ee01b3b6","datavalue":{"value":{"amount":"+0.8916924","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":"Q1372940$739A0D6D-0FBF-4B53-ADF2-3051DC67AE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e15fef631af27afda6c342f2631a2923f234ac4","datavalue":{"value":{"entity-type":"item","numeric-id":5758059,"id":"Q5758059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f612f534e517fd0be478769dded232df93b1c614","datavalue":{"value":{"amount":"+0.8869301","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":"Q1372940$FD98B515-ED5C-476B-A1DF-26E0E7BDBBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197a8fbbadbaf6089c71317e8b619f67ab7caf6c","datavalue":{"value":{"entity-type":"item","numeric-id":3518282,"id":"Q3518282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f612f534e517fd0be478769dded232df93b1c614","datavalue":{"value":{"amount":"+0.8869301","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":"Q1372940$9156086D-8A2D-4EA4-BD48-7F90FAB66363","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relations in monadic third-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relations_in_monadic_third-order_logic"}}}}}