{"entities":{"Q1577355":{"pageid":1588095,"ns":120,"title":"Item:Q1577355","lastrevid":70745814,"modified":"2026-04-13T16:28:24Z","type":"item","id":"Q1577355","labels":{"en":{"language":"en","value":"Modal deduction in second-order logic and set theory. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501381"}},"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":"Q1577355$4BA14DAE-DC3D-433A-B868-C2895BEAD8B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3652d03e0d795a6070b5001355fc5d54e07d8a26","datavalue":{"value":{"text":"Modal deduction in second-order logic and set theory. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1577355$5D7C720B-BF75-4B94-9440-498DBDC9150F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f071de8d44036ec3b4376208a000556ec6d4397d","datavalue":{"value":"0953.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577355$63F43AD7-EDD9-458A-BF3B-14D9CCFD9BFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f022e847bd6631870163a1742327ae3befcf128f","datavalue":{"value":"10.1023/A:1005037512998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577355$8D1B47B8-A383-4B70-94C1-666B09FEE283","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4d377d3637058f1e83788786b9a25ae94a603","datavalue":{"value":{"entity-type":"item","numeric-id":481099,"id":"Q481099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577355$3CF5CDEC-2DDB-452C-9D14-E6190E8F73DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577355$E03B3727-F624-4681-945A-26AD183960C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577355$B047DA0D-7B04-4B98-B8F9-5AB4C726B1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577355$6AA67A0E-CD14-4D8B-9045-A1600DFC917F","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":"Q1577355$7DBD586C-6718-46E7-A7E8-96D23CABCEBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6246d2b0758e40e13ebf36e49fe4eeee1d8a2e43","datavalue":{"value":{"time":"+2000-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1577355$97D3AF81-405F-451B-A30F-8A3B47D4BE98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577355$50E6FAD0-10ED-4AD0-80C7-7CE453FFBA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577355$27BE2636-C914-4DCB-8BEB-CEAC35EE85D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577355$8C4CE1CA-EDE2-4C4A-B5E2-B18F0DC5C243","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0dd5a9fa2a486df3112a85215cd506a8f4d88e2","datavalue":{"value":"1501381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577355$20EE0637-6CCB-4269-AB53-863E01417D03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c563a44f5a04e2ec474642e3a9bbf9d05b128697","datavalue":{"value":"set-theoretic translation method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577355$82241035-F1CC-4A47-9E4F-C29AF053AFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e99c876774511d14c29ed7e2cc4e456b6dae37","datavalue":{"value":"extended modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577355$F7B85300-4615-4CFA-9AC9-572A9094BD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b1851198cc503f0984e29dba5bb08481966fe3d","datavalue":{"value":"weak monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577355$F51FFE97-3157-4825-96F7-A6E9D8A7D7ED","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":"Q1577355$6AD20FFE-6324-4AD5-A8C6-6D601E410947","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15efa997190a28fae8f058a7485c9d133302aab7","datavalue":{"value":"https://doi.org/10.1023/a:1005037512998","type":"string"},"datatype":"url"},"type":"statement","id":"Q1577355$FE9AB153-4E8A-4F5B-B3B6-0E904953C957","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"847546aa0b67150b65157df886efc4c75b19344b","datavalue":{"value":"W1535888907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577355$1F4154AE-7983-41EE-97FD-DE983D9C6656","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbe05c3b087a54a9bccf5ccfc9c02e28cb8e0cb","datavalue":{"value":{"entity-type":"item","numeric-id":4340421,"id":"Q4340421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def90e352088a33941e80dcdebfac21c90e3dc2b","datavalue":{"value":{"amount":"+0.9885638","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":"Q1577355$996C6E2B-8767-46B0-95EA-FDCFC5B89B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad28eb7c4c69d36a7246716c7539d498dcb5a05b","datavalue":{"value":{"entity-type":"item","numeric-id":1731834,"id":"Q1731834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc04b0f4be74397ed035a3116418477064141eb","datavalue":{"value":{"amount":"+0.91291887","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":"Q1577355$FFEE5504-DE9A-438F-8588-C2F47B9AEC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4add87124e54c39c7325afb40780d4cb0b67e9e","datavalue":{"value":{"entity-type":"item","numeric-id":4822147,"id":"Q4822147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db858bc0c1c664b62834234846220bdee235e50","datavalue":{"value":{"amount":"+0.91090775","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":"Q1577355$E13C637A-FD0A-4D26-A0CF-3CEEBCA55F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f628b48803ccaf43238230d07a1fbbccec6cf4","datavalue":{"value":{"entity-type":"item","numeric-id":1924326,"id":"Q1924326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"283f3c7b44ccf607ba9d57db04a3e55a286a7d4c","datavalue":{"value":{"amount":"+0.9041126","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":"Q1577355$3A37BF23-135A-4306-B137-B22C4266A66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5753dcdd9f583f454bfff39ed957cb53f725ff","datavalue":{"value":{"entity-type":"item","numeric-id":4022223,"id":"Q4022223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58191cba7c0216141ff4b94c9dff9a9e42c8f4df","datavalue":{"value":{"amount":"+0.9021065","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":"Q1577355$C24E042D-4CFD-4671-813B-A7D8F84C2101","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":"e0c858897d277f6e093a77a1bac92a85774dbd11","datavalue":{"value":{"amount":"+0.8988064","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":"Q1577355$BC796D78-7596-4A1A-9B44-43F6E1F047EC","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":"a62966eab9722b08cfcdedf0c17bd0648531cac4","datavalue":{"value":{"amount":"+0.89858574","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":"Q1577355$D8E70FA2-6BD3-40F4-A48D-42410CC7EB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab5bc4e7ab5e744d3041a47d0969255471ea5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2499295,"id":"Q2499295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02902a19fc7650a411cb7bdf918b62b0789f7a28","datavalue":{"value":{"amount":"+0.8972123","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":"Q1577355$28FBC34F-18F5-4A21-BB89-FDD943CAA2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ff66d1d32849ce19c7ed6fa5224900ee5e670d","datavalue":{"value":{"entity-type":"item","numeric-id":420837,"id":"Q420837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9c4a75aa2879858ec66b61be6f111375382505","datavalue":{"value":{"amount":"+0.89671123","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":"Q1577355$D4474277-28CF-45EC-81A8-0B8E00C41539","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal deduction in second-order logic and set theory. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_deduction_in_second-order_logic_and_set_theory._II"}}}}}