{"entities":{"Q2853981":{"pageid":2864701,"ns":120,"title":"Item:Q2853981","lastrevid":58041987,"modified":"2026-04-03T14:01:55Z","type":"item","id":"Q2853981","labels":{"en":{"language":"en","value":"Proof theory of weak compactness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6215940"}},"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":"Q2853981$8662A08F-062A-45F2-BF16-999DDFB71955","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e57ef81a74df86656ee481f351b134f532e5ec73","datavalue":{"value":"1291.03110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853981$CE0B985C-1CA9-41E2-9C1F-D3F4D4FEB766","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"274267876439dbfa82bfd49ca224601f45385cce","datavalue":{"value":"10.1142/S0219061313500037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853981$E54FE116-B708-47A4-8880-C7C140A1649C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853981$68D8F178-270F-48E9-AF11-A2F3D593B82D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853981$D891C2E2-9A40-46B6-8F43-7600ADCAF9B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"808fc247b12b30340c51bea594eefecd0658a17c","datavalue":{"value":{"time":"+2013-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2853981$802AA704-57EE-4B9D-ADD2-91197A60EF6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3853097406ef69482af504ae919ea2ce5b1da908","datavalue":{"value":"https://arxiv.org/abs/1111.0462","type":"string"},"datatype":"url"},"type":"statement","id":"Q2853981$05EB82D7-B994-441E-A42D-8D407DFCCD4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853981$4DDF7D63-A58C-4CBD-A2E7-875169FD98C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853981$897B808B-323D-4A8A-8363-CDA62B2C2177","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd54cdc9952059b4387b213919a1e9e468e21e3e","datavalue":{"value":"6215940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853981$04965B66-E732-4185-9EE8-00F23E08F732","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f83b9a23f9d3a7b28b00abcc573d8cf2f8182af","datavalue":{"value":"weakly compact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853981$718C2B77-7A90-4A0B-A64A-300195F0EC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60f24ddf6bd412a6a7eb971c108509a50be6bbfb","datavalue":{"value":"Mahlo operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853981$99256176-5628-49F5-B27A-69D99B7E1FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9332212fa065ba40a718afe902606ec909620a70","datavalue":{"value":"Mostowski collapsing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853981$BA097DCA-99FB-4332-9802-482AD08FF90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853981$482E9FA3-921D-484B-91C2-DEE42A5EADB6","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":"Q2853981$A8E7606C-2488-4FAB-8715-0245DE09DA57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46a555f2762591f431d4e33a33934b20b9b0a74","datavalue":{"value":{"entity-type":"item","numeric-id":4527929,"id":"Q4527929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853981$4C6215F0-DFAE-4032-8091-4FF9DC7F72E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d00387896589b5e49220f22dbb558564f833852","datavalue":{"value":{"entity-type":"item","numeric-id":1887655,"id":"Q1887655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853981$4D5DAAF7-2534-48EB-802B-C223265ABABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f248a4b193621c305638994f6a657146b123a0e2","datavalue":{"value":{"entity-type":"item","numeric-id":5311756,"id":"Q5311756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853981$981D2B93-D2A8-4158-AA48-BAE9A02EA077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6404031e3487a254ffd26c5ee9b891acf4fc0b","datavalue":{"value":{"entity-type":"item","numeric-id":3416109,"id":"Q3416109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853981$7478CCB5-09F5-4BC2-A69A-159B60B934BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394027c9d0340353b0f5c82f66bd451c4fa32bcc","datavalue":{"value":{"entity-type":"item","numeric-id":639680,"id":"Q639680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853981$5AE2E6D3-8C7E-4A91-9969-37C9E6A62988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"879421dcf78ad39757d129e109306ad0aa39f250","datavalue":{"value":{"entity-type":"item","numeric-id":4149454,"id":"Q4149454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853981$2B8ECBAF-5CE1-4B04-952C-6A71AC06BAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853981$A9EE73E3-A06B-4D61-8547-9C11114A946A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442321204f0846e6d42ccce9aff806849d058e00","datavalue":{"value":{"entity-type":"item","numeric-id":1332853,"id":"Q1332853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853981$5EA15696-6EE5-4257-BB45-2C76BFCD671B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96bb138825572b53f11062be2248c3b80386ac0a","datavalue":{"value":{"text":"Proof theory of weak compactness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2853981$24F495B9-F158-45FE-A0C4-F940FD95CC1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2853981","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2853981"}}}}}