{"entities":{"Q1058510":{"pageid":1060358,"ns":120,"title":"Item:Q1058510","lastrevid":66159402,"modified":"2026-04-12T07:56:54Z","type":"item","id":"Q1058510","labels":{"en":{"language":"en","value":"Monadic logic and L\u00f6wenheim numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3900731"}},"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":"Q1058510$244D943A-1D98-4F29-AF0A-2B7CDF2CE273","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d6992171c8ff75532ffcf97bfee7a3e55db11a5","datavalue":{"value":{"text":"Monadic logic and L\u00f6wenheim numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1058510$78299E73-6728-4D01-B6C8-12A1F54DDCA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3917520516936a65f0bdbd3df4b5d76eaaebf32e","datavalue":{"value":"0565.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058510$16C68110-4464-48B4-A8F7-5A2C8CFC238A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"705e709b1208bfc4909c9a89c50523b8a0b86ce1","datavalue":{"value":"10.1016/0168-0072(85)90026-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058510$E455E533-80B1-46E1-B0EC-DACB3A410B7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058510$A3896867-1319-4688-8C41-EB31FAE1316A","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":"Q1058510$08AEA684-B02D-41FE-ADCD-0D65C5B949DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1058510$7FD8B4A1-09A5-4745-94E1-145C120AE3F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058510$72E27BF6-E601-4906-9B4C-D40197EC368A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058510$19CD260B-FD80-4E79-A39D-28F3BCE12028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058510$D66D4779-B7BA-4219-AFAC-3CEDA691BA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058510$7FA0F2DD-5589-41C7-8A7F-422B2E37B3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058510$50EB8C1D-4A8C-409B-8F92-BB3ABE0737B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7a1b39b89c0642edc1f657fe8bf0ff29b34d01f","datavalue":{"value":"3900731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058510$FF3A8CBC-ECD6-4222-A185-5498C8779D53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53134995622111331c8f47e733f10747f8c44862","datavalue":{"value":"model-theoretic classification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058510$70EDD2B0-0450-4E27-A887-F6FE989E3165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f15af81ecb43d9f65e18aabb35906b8775c5181d","datavalue":{"value":"stable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058510$79AB6381-9504-422B-8594-E921288C5C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f352f2369a52958b19c72b85640cadea70ea031","datavalue":{"value":"superstable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058510$BB9EFE46-1035-4C6C-A985-A497C6E56192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce3c7901031f7cee9066cd6c38e2d6873ba05e1a","datavalue":{"value":"L\u00f6wenheim number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058510$ECD88FD1-AC01-4BD2-B442-27DFE76CDE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ac77b8dbc26ffa1006afefd73dea2d867c7e996","datavalue":{"value":"complexity of the monadic theory of linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058510$CE31030C-9514-4BE3-8884-8B5602605B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c544b1d4401701126cba2ce0ba462882080f6922","datavalue":{"value":"monadic theory of trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058510$00B9F622-D304-4DAC-BDDD-E98CAE355890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bad57624bd9ced48ce38e4c38013d06b76a32b2","datavalue":{"value":"monadic topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058510$E850DFE6-EF31-4A2E-9907-C466E5B1D5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a54c2dc7ff65f4f1d2073ebda294b7250df7d0","datavalue":{"value":"topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058510$BFECA164-DC8E-4B27-93F7-02AEC90AC2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceb21f8a5eecc5cda87515d58e101620e3a8f33d","datavalue":{"value":"product topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058510$12684EB6-2A99-46AE-A650-F5F011BEB11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57a22d2f1c116ae8a3ed57c332120264594b265","datavalue":{"value":"second-order quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058510$A9A8C031-11F5-430F-AE5B-E0AB2B89C1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4573335d852876244ce8587a07f26e4e2331ebdf","datavalue":{"value":"\\(V=L\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058510$B19A5F6D-B4BA-4280-8D4A-ECD88CD6A6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058510$EB87BD83-1B12-4EBB-9243-5429DC8A1D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84692b48f655c9a6df5f89907cf0de62e6426d5","datavalue":{"value":"monadic theory of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058510$E2763E86-469A-4473-AC14-18D0B7DA425F","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":"Q1058510$84642851-B683-46A8-AEB4-70B67C7281F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b581d09de4d05a310f18e94a23712d2890bc2b69","datavalue":{"value":"https://doi.org/10.1016/0168-0072(85)90026-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1058510$58AEEC24-090A-43F7-A9B5-A115D4FD3791","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc78146ea061d50cfb5013fca5f51788bf687ebc","datavalue":{"value":"W2075610001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058510$9F45A935-6388-4F62-AF2E-2E40299543DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9c504d005b7532e27a604f0dc718dbf518825d9","datavalue":{"value":{"entity-type":"item","numeric-id":4116450,"id":"Q4116450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058510$73CD350D-819A-47ED-B85A-CE0A60A706AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"387a23310da39dd22f86370b7604c37d0d5d25e8","datavalue":{"value":{"entity-type":"item","numeric-id":1137035,"id":"Q1137035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058510$67831FA8-65CB-4048-AEB7-A18CE90524D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64040bbac50b384a31548ecb60a990ea2585409","datavalue":{"value":{"entity-type":"item","numeric-id":3663256,"id":"Q3663256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058510$69BE5F03-BB42-4571-AD5B-55811580287D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b09db5c8078eb80a90d017753d8b2354bc8026","datavalue":{"value":{"entity-type":"item","numeric-id":1063588,"id":"Q1063588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058510$7B4E5635-3F20-4740-A2B1-D52775B214C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7a4bea75dde5fc87e575fdfc8567cbc4a9cea5","datavalue":{"value":{"entity-type":"item","numeric-id":3347854,"id":"Q3347854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058510$20FDCF33-70E3-40A9-9813-C80D59659FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058510$F044954A-0F38-46DB-B5E7-C331D149BCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da2dfe9c13c96d4ec4060324164badd4d4c82b93","datavalue":{"value":{"entity-type":"item","numeric-id":1058510,"id":"Q1058510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058510$94A6FF16-2914-4C79-B95F-FED53B2FB8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eaf251446f1affa8083554c5ff954004ed26a9b","datavalue":{"value":{"entity-type":"item","numeric-id":3895456,"id":"Q3895456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058510$EB4706B3-CEB6-4D61-82C9-783069C2E98D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b16b9dc3557b9ca74916811b4abc76041fbab4b","datavalue":{"value":{"entity-type":"item","numeric-id":912091,"id":"Q912091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13497ce95b278dc68e75bfef9acde49cb87171de","datavalue":{"value":{"amount":"+0.8512775301933289","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":"Q1058510$E579F0EA-8A61-4C8F-B3BA-A5F5F107FAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07e9316d068246cada83dbda1bfa6a906536061","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4f22c7520ece6b212c66685e9d92d1c52fb11b","datavalue":{"value":{"amount":"+0.8374009132385254","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":"Q1058510$B2DB7F57-7C44-41A8-A4E6-C42B15EADF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c0d6bfb15300138aef2b9fdccb1bcddb84a667","datavalue":{"value":{"entity-type":"item","numeric-id":916645,"id":"Q916645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4acbf36e7e05d80afb40fff49199091575b34a2e","datavalue":{"value":{"amount":"+0.8244102597236633","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":"Q1058510$50268F45-0EF8-45E2-A1BE-8529B4641F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d960f01174af0a4003a01a386efd581e42b1e75","datavalue":{"value":{"entity-type":"item","numeric-id":1115431,"id":"Q1115431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785dc95e282c7ac82a26a89cb661a36db13aa499","datavalue":{"value":{"amount":"+0.7835244536399841","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":"Q1058510$E22B3A2A-AE97-4E49-AC50-633084B34A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04ba04b45eb5daa8653447a508232d291c863a6","datavalue":{"value":{"entity-type":"item","numeric-id":3342531,"id":"Q3342531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2010b379325cfb9bb7b49ccbfd9d43cbcca03697","datavalue":{"value":{"amount":"+0.7713747620582581","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":"Q1058510$0B8A0763-6FA9-44E1-BB2D-C6CEE0A35DAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monadic logic and L\u00f6wenheim numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monadic_logic_and_L%C3%B6wenheim_numbers"}}}}}