{"entities":{"Q3797243":{"pageid":5827149,"ns":120,"title":"Item:Q3797243","lastrevid":53073746,"modified":"2026-01-24T04:17:19Z","type":"item","id":"Q3797243","labels":{"en":{"language":"en","value":"A proofless proof of the Barwise compactness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4063161"}},"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":"Q3797243$00A1CD22-65C3-42CB-B1E6-6B35E3B5C526","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4f8faf07caa3736b0261dd3a988fb2d5899c204","datavalue":{"value":{"text":"A proofless proof of the Barwise compactness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3797243$882C8C69-3E1B-4F2B-BA45-FA521345EC3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33ff310811c8f5390186d015ac722d2f90878d58","datavalue":{"value":"0652.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3797243$2119FBB5-7832-4EFC-A583-6051A6661859","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acf6a6f977b4d576082fc02ceff3098778ce971c","datavalue":{"value":"10.2307/2274526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3797243$3776E454-209E-476D-A0D4-CA4FF805618E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ab9d9df2dce6ff25579bdbdd186f85311c47257","datavalue":{"value":{"entity-type":"item","numeric-id":1114670,"id":"Q1114670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3797243$A9F9C55A-765A-419F-A7F1-B3CA2F22E7E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3797243$557F3C65-26B9-4538-905C-6B02A794D77B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3797243$4F3E0226-14DB-4940-84B0-6CCDC7484853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3797243$86AD5B5F-CD86-4F37-A2EB-D5251F29C863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3797243$33F71376-76F0-4ECC-8C46-11910622547F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc1645e3c688a2feedb6c093bf8062ce05839fe8","datavalue":{"value":"4063161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3797243$87F97F27-9542-4EB9-9868-2D1A1587FAE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe482273e305293356e93ecadbd9b1e669ce0e52","datavalue":{"value":"diagonalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3797243$7E0853BE-F5F8-4B0E-AEE4-E9DB87E907B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"738a87a298450b556ac9553629804c05fd9adea1","datavalue":{"value":"Barwise compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3797243$E1AD788D-BCEA-439A-A6AB-1269BEF7ED19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca69a426be72f31fdb5931597269360a0f89f42c","datavalue":{"value":"definability of forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3797243$D95A0330-5366-49EC-8DEF-7E91284DE631","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":"Q3797243$FE6238DA-54F1-4642-84F8-2F2882455064","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32f8f61d51de6ee92de1b9f0c5c4f5c8069dcdae","datavalue":{"value":"https://doi.org/10.2307/2274526","type":"string"},"datatype":"url"},"type":"statement","id":"Q3797243$B543B817-B9C7-4CBE-9F90-9847BFD33E31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3610f4bbd65f4fd14e84c8ba6fc041a569b6737","datavalue":{"value":"W4246185252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3797243$DC06273A-B5C4-4982-A38B-95D79EF6ED75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3797243$FECC3104-12DB-44E8-9BA5-874801C9C368","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0e238dca72ac46ee718624425488a347ccce92","datavalue":{"value":{"entity-type":"item","numeric-id":1181483,"id":"Q1181483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d919cd5c149797ae8ddd47461cca0fa3851b9a","datavalue":{"value":{"amount":"+0.7406361103057861","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":"Q3797243$019721AF-B285-457A-B8CC-BA902F7D8E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f702d679bd9d3bc631032b98f32179c607da990","datavalue":{"value":{"entity-type":"item","numeric-id":3346279,"id":"Q3346279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ca8aca0673e326cc1814c4b47339e1ad8a7b8b","datavalue":{"value":{"amount":"+0.7334739565849304","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":"Q3797243$FF07E258-8709-4B1D-B078-C4E3CBB796B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae9c9e1539d887aa3e29315398c4283891eabef8","datavalue":{"value":{"entity-type":"item","numeric-id":4884540,"id":"Q4884540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91b25e8b8e8c6d806c2392a84b71344ebf06ae9","datavalue":{"value":{"amount":"+0.7031434178352356","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":"Q3797243$5588376A-8B95-4327-BF99-042919790D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b66ad156831614f80ef0f63f1882b2be4bc826","datavalue":{"value":{"entity-type":"item","numeric-id":2976344,"id":"Q2976344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837d6ce9ed6c4cceb5caf188db1df0adb56331f2","datavalue":{"value":{"amount":"+0.6970473527908325","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":"Q3797243$591DE4C4-5384-40DF-88BC-85A97CBAA92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36656972f33120b82cc35189baa5cc79d1f7afb7","datavalue":{"value":{"entity-type":"item","numeric-id":5146566,"id":"Q5146566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99efc13cd9f7e8ea43920fed0412816e20c7349e","datavalue":{"value":{"amount":"+0.6947000026702881","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":"Q3797243$578D416A-E842-4928-9D39-3A566F423C02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3797243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3797243"}}}}}