{"entities":{"Q2402967":{"pageid":2413710,"ns":120,"title":"Item:Q2402967","lastrevid":73765164,"modified":"2026-04-14T17:11:32Z","type":"item","id":"Q2402967","labels":{"en":{"language":"en","value":"The strength of countable saturation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6775046"}},"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":"Q2402967$71658F76-3E1E-43D9-A7B3-CFD0E88B7B5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"404e7d1cd6fe1d4ca8bb72d4cf0d27b49422f9ef","datavalue":{"value":{"text":"The strength of countable saturation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2402967$B991B097-0A5A-420B-85D0-BD4971061C75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f96ed0210d0cd1ae6f824f9f6d8a340ae890d2b","datavalue":{"value":"1417.03291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402967$22A03EC5-0F31-4D3D-89FF-1F65116DED43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$DF2C92E8-A2F2-48C1-88C7-294B300F39E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"054c2bcd9649ab06bc472f886839ece450b19e28","datavalue":{"value":{"entity-type":"item","numeric-id":714728,"id":"Q714728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$B2E47E89-181C-4835-BBAA-837FD51A19B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"489234d82ef2047cbff47ea423c3f256d05c0551","datavalue":{"value":{"entity-type":"item","numeric-id":392288,"id":"Q392288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$8599DCE3-57AF-4EB9-8082-94DED1F3714A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$0F008569-43CE-4C71-9841-F44C4EA0CCCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0e0e47e5327cb2e2874331da338f2ae03a1e6c3","datavalue":{"value":{"time":"+2017-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2402967$3C9A7B7A-E5DF-45B6-A9A0-42AE79A07F0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef70649e09c4553d5e88975a7466cf33e47bbdc9","datavalue":{"value":"https://arxiv.org/abs/1605.02534","type":"string"},"datatype":"url"},"type":"statement","id":"Q2402967$95ECC591-F029-408B-A0A7-F35A0D304DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bce4ac38a149f2f79b11e8c543a7978ef051679","datavalue":{"value":"https://hdl.handle.net/10642/5448","type":"string"},"datatype":"url"},"type":"statement","id":"Q2402967$FA9982C0-66F4-43EC-BF7F-7E07EC18C9DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402967$AB5259EA-8382-46F4-B7A4-F186204E8AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402967$158B65E9-EA9F-4820-A606-7659E31286F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402967$D1F05157-D979-4CC5-B1C8-23D23E9914E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402967$46FA0CD8-80DB-4771-B8DA-75CD8D9C9368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0863e8f77401912a1f46a81052ba05901a6c171","datavalue":{"value":"11U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402967$3808B3B5-584D-426D-ADEB-714BC227B4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402967$FECCB6F9-61F3-478E-AECB-92BCDF253D4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9500e7054b29dad94559aafc6bb4de34950f17ac","datavalue":{"value":"6775046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402967$05001427-E608-4821-BB81-6408ACAC573C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402967$48CB443F-F162-4DC9-B1E7-C39C19476FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402967$5DADE0AE-CC34-4FB4-A680-1845FF97752F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2855dcbd2409b04100b50b9223546c2cef4ab38a","datavalue":{"value":"arithmetic in all finite types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402967$BEBDB595-F40F-4F28-B143-50A6AE2DD237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a1d21a7d5c752f06082939d4e7d4cdda70a6522","datavalue":{"value":"saturation principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402967$54D194C0-8EBC-43DE-A7BA-0CF3547AEFB1","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":"Q2402967$46174FAD-502B-4CF2-BA89-328139CC9C1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9445c640357364e83d2f6eaaa544f7385f71bad4","datavalue":{"value":"W2382512141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402967$4CAB9F82-2DF7-4086-978F-95CDE6FC0167","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"640c08d6c4c67de6bf7b18036a9442766a2dd43b","datavalue":{"value":"Q59528206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402967$AA157095-1D47-47E3-912E-165407234AA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$A6010EF3-59E8-4999-BF0F-4905264DFE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a91faad94d4fcf16f7e5d814dd41f3aff14433","datavalue":{"value":{"entity-type":"item","numeric-id":558435,"id":"Q558435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$CF386F07-5DC6-4539-824A-E66E689F8BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcd6a400857ef1f992bc6bb803a4613b7d3d2d0","datavalue":{"value":{"entity-type":"item","numeric-id":1762726,"id":"Q1762726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$ACE8A8C7-D761-4E14-9A41-58E0DDDA004A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64eab88f0eb8f52c9790f65744fe66063f7c077","datavalue":{"value":{"entity-type":"item","numeric-id":4977221,"id":"Q4977221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$05234EC9-A1CA-4460-B32B-A1C5C005BDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db2bd7a95e48b5516737702decb40381174ad6e7","datavalue":{"value":{"entity-type":"item","numeric-id":1101109,"id":"Q1101109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$CF4744B0-2D23-44D0-BE8C-0D8883DBF496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f29ed8e65f6fae95a6ef1017a40ba31664efc1a0","datavalue":{"value":{"entity-type":"item","numeric-id":3714082,"id":"Q3714082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$59419E09-C933-4235-BE75-B912DE0910DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0975b22a1db86944e256a4eddbd42d9594aeaad0","datavalue":{"value":{"entity-type":"item","numeric-id":3762318,"id":"Q3762318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$1EAA572B-0CFC-430F-9E3B-AB4FD875CF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$E66B3C37-6CB5-4A9C-B8CA-50FEE30C62B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de161426ecfe91c3af7fc111855ddbc5d4d9111","datavalue":{"value":{"entity-type":"item","numeric-id":3796444,"id":"Q3796444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$DE5F7FD8-6D9D-4A92-B23F-AF59E1634DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$A6B33D2B-F037-4328-BDC4-6419B001EF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$286C34A6-CF34-43F6-B491-44A0206721E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$A4CBFB69-BCB8-444E-8072-E5502F08DA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba82a794e7b50f883ca25aef5af8219c4085648","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$E173E0E9-AA56-42BD-8E96-8F337CD03AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a89d6c57041f4fb5ca3c52c75853d673c55604b6","datavalue":{"value":{"entity-type":"item","numeric-id":1634526,"id":"Q1634526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$21C5279A-2AA0-4717-8B31-CA57EA5A3ED2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"99c0d6a93c5a26605f6bf87746cfdf14108efe39","datavalue":{"value":"journals/aml/BergBS17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402967$CE1BD45F-8E28-44A8-A6CD-A47CC90F345F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbef2231029b594d9d1654f2fcff601e226ec9c5","datavalue":{"value":"10.1007/S00153-017-0567-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402967$1237416D-9B56-48A6-846B-CF65C91DCC92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857fbb1a62c9ca48e4c3976d2f95cc661dc9b793","datavalue":{"value":{"entity-type":"item","numeric-id":3762318,"id":"Q3762318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba12635712ff65648eb3e250193c9e67a9c7909","datavalue":{"value":{"amount":"+0.8061390519142151","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":"Q2402967$07798C93-918C-41CF-BC2E-F4F5EF9DD512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5bbe4371aa6d7ec39865c5bebe9ebc61fa7db2","datavalue":{"value":{"entity-type":"item","numeric-id":3329469,"id":"Q3329469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bdf2c9631fd05ed1c8797dcfb2ee8714d489b76","datavalue":{"value":{"amount":"+0.7395079135894775","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":"Q2402967$8AEBE8B7-568C-49AF-BAC7-8A6142AD01B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e68142a32a3a5b269b426f5571e03bcec68080","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87248cb500fe5efd9c52112f962bb95019261dc6","datavalue":{"value":{"amount":"+0.7362725734710693","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":"Q2402967$E890C72C-3DDB-4931-B23D-97A98238792E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b4d778a45554899fd88a9d813e612852d159fc","datavalue":{"value":{"entity-type":"item","numeric-id":5711876,"id":"Q5711876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5baab4677ac5c527ce16068bfbb08a458a8d154","datavalue":{"value":{"amount":"+0.7298625707626343","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":"Q2402967$E18A47DF-369D-427F-B6DE-52A81B559159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544d932a93365f93af0e32fab23ccdcd9de63609","datavalue":{"value":{"entity-type":"item","numeric-id":3985098,"id":"Q3985098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1eec7f5217a83fc35c19f47cb3c4b971aefed16","datavalue":{"value":{"amount":"+0.7191744446754456","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":"Q2402967$76C73FDA-311E-4B15-BC56-14CE978ED650","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402967$E33CD9AF-D6DE-4231-88EE-A5D1AD00333E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The strength of countable saturation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_strength_of_countable_saturation"}}}}}