{"entities":{"Q1331917":{"pageid":1342667,"ns":120,"title":"Item:Q1331917","lastrevid":70733502,"modified":"2026-04-13T16:24:02Z","type":"item","id":"Q1331917","labels":{"en":{"language":"en","value":"Forcing in nonstandard analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 626270"}},"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":"Q1331917$0FE3D1CA-3626-4546-B536-98EA54A57068","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"549b0477aa08317b09735873cb636c77dbabb9a4","datavalue":{"value":{"text":"Forcing in nonstandard analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1331917$24E2DDD9-0290-4351-9289-D21F542E04E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1db8616c1f22d5d2eda767e7c93303f39efa596b","datavalue":{"value":"0812.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331917$3B9D1270-45AF-43F6-9B4F-2F5EC22DCD33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50892cc3374746fc2777234275b83ae037bfbc9d","datavalue":{"value":"10.1016/0168-0072(94)90023-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331917$26EEAF84-0C51-430E-864D-5A8F74EF0BC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0796e04d972c2243c2932baf7bfffc45923ce900","datavalue":{"value":{"entity-type":"item","numeric-id":424162,"id":"Q424162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$118E3BBA-0FE3-4DD5-A93E-854165EE5CA1","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":"Q1331917$10E09821-6DDA-415A-AAFE-3BEF2A4B9139","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12c17d7316137b5457243cfe10f00c4bb5a56573","datavalue":{"value":{"time":"+1994-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1331917$249FD593-25C6-40FC-BE4A-84FEFB439532","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"97cbd0985575b47fe62b259ac1493c2fe9df8012","datavalue":{"value":"The results and methods in this paper could lead to a significant improvement within the discipline of nonstandard analysis. A nonstandard universe is constructed from a superstructure in a Boolean-valued model of set theory. Much of this paper is taken up with such a construction and showing how this construction's properties compare with those of the usual nonstandard universe. With this new framework at hand, the author is able to give an example of an \\(\\aleph_ 1\\)-saturated Boolean ultrapower of the real number field that is not Scott complete. Other applications are to a generic extension of the hyperreal numbers, a hull completeness theorem and Loeb measure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331917$DDCFD63D-5298-49A4-92A7-EB68E024AB4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331917$09D5165A-4A42-4008-9C11-69605BE16AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331917$8B76CE86-4259-40EA-A1FD-353E5D4538CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4213c8394511e505a72d0c4f5da166a5f4bc5fc","datavalue":{"value":"626270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331917$D1C3D781-0A11-49E3-AB94-426B6F0008A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331917$52940692-592D-4513-95DB-282E7A79E958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803610af3beab50880b87ef6dec37d9f4ae2d451","datavalue":{"value":"nonstandard universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331917$1CB7EED6-F28E-4CFA-8CB3-031B4790BCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11e210c7ac04a343f00664754393974c838d0465","datavalue":{"value":"superstructure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331917$97E44A4B-89EE-439F-89EF-B73DDC14B366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"688b9e5e2c6ff0a544db0e0fb6cd6400b30a5412","datavalue":{"value":"Boolean- valued model of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331917$C5BF7069-29AE-4535-A14C-C7456D674076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07c6abfbd923f946f3ea2736e4f9e728e59f5548","datavalue":{"value":"Boolean ultrapower","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331917$2EA00C6E-C502-4D7E-89BF-69316AA1E431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eecf6b86545a95d929c27eeca073c924fc69387","datavalue":{"value":"Scott complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331917$1BE414EA-2A17-42A1-B927-6E2120902CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74aeaf95b3d5e22ff45aede28a03bf42a0b40bc9","datavalue":{"value":"generic extension of the hyperreal numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331917$E90A31B6-7AEA-499D-B218-1FC9B94DB324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09821f9afc5229ef51603da588e519480b4864ab","datavalue":{"value":"hull completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331917$9D9A96CD-9F74-4D02-A304-4144133F637E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe181ee7b70abf9a56c531ffda37014ba4f49de","datavalue":{"value":"Loeb measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331917$E3AB2CE6-E888-4509-869C-7091E90836DB","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":"Q1331917$B8109300-3516-4D8C-BE58-CF474DADFE8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3b4fbe640f1fc51de145997524e5919d3602be","datavalue":{"value":{"entity-type":"item","numeric-id":3742397,"id":"Q3742397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$2F3AD18C-C931-49C1-8443-67F34CB5DC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b242fcadbc9a1ab6d9110fa15fe4698d81e79bae","datavalue":{"value":{"entity-type":"item","numeric-id":3710519,"id":"Q3710519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$7C178836-1EE5-4893-A4CE-058B4ADB0A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7a1755dc8db8ec3a4339174b983b24431cb18d","datavalue":{"value":{"entity-type":"item","numeric-id":2554394,"id":"Q2554394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$77CEC688-FD87-4458-824C-7B1AFDCCE33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$72BBA19B-E4BE-418F-A49A-CC05F42FA141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$6041CC1F-AA65-4019-9264-7D4DDC6860E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20d59f43c411e784343d3fac812b1eb99dbb534","datavalue":{"value":{"entity-type":"item","numeric-id":4132530,"id":"Q4132530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$D307E344-0688-4A03-A340-906E6D02C346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42f33798426db10d0646ff5593963b2164ee2b9","datavalue":{"value":{"entity-type":"item","numeric-id":789520,"id":"Q789520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$9C1902BF-3A59-4917-AB45-4D55D9BF16F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6f0eb6ff7864452a106ee90442c6e2d9bf3a5c","datavalue":{"value":{"entity-type":"item","numeric-id":793154,"id":"Q793154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$1D8BD18C-BC07-450F-A641-1E86B9C41986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f44b2f48c7558bc7f3a85caf4b8ce4d20efa5a","datavalue":{"value":{"entity-type":"item","numeric-id":5721231,"id":"Q5721231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$04E7E9C6-788B-4F57-93C5-5254FB7FA981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2a8fb219c6e1b452da4165b50d68a0ef9a2bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3708229,"id":"Q3708229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$BBC5100E-AF62-4A3E-87DC-A79514D74EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$38E881A7-0710-40A8-A9C1-F0AF6855BE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f49cc91e7226fe449363f2f9e90ce841f17c2f9","datavalue":{"value":{"entity-type":"item","numeric-id":3728892,"id":"Q3728892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$62167D9D-5033-45CE-8290-9A1AF239244F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82a188dd9b222c8b8750bb13945c78a336bb8d63","datavalue":{"value":{"entity-type":"item","numeric-id":3667432,"id":"Q3667432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$462FE793-8525-4354-BE14-989AC7CAC455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa63899cc0e643090439274211149d12b9e39992","datavalue":{"value":{"entity-type":"item","numeric-id":3924203,"id":"Q3924203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$A383BAE1-F34C-4F18-A350-8DF1EDB48FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73a8ac322c0e406efa35d50c8402c7202820b30","datavalue":{"value":{"entity-type":"item","numeric-id":1158425,"id":"Q1158425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$810651A1-ED1F-480A-8C6E-EECDAA9FC377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74dd500fa62885810758f476926cfd487111645f","datavalue":{"value":{"entity-type":"item","numeric-id":3311427,"id":"Q3311427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$7882BC08-05BB-4547-AF07-20C969F2393C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68013fe7cad09939741c27a39cdc7bcc8b58c7","datavalue":{"value":{"entity-type":"item","numeric-id":3985098,"id":"Q3985098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$FB69BDBE-B2ED-4809-98CE-2C52EF211927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24f95ccde7ff6b86b4a29082e0579c7e914d0e1","datavalue":{"value":{"entity-type":"item","numeric-id":4071476,"id":"Q4071476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$4C257CED-5C1F-46F7-99B9-F2183A0ECEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b629e1413361f118411878c7a5d1f9a4067272c1","datavalue":{"value":{"entity-type":"item","numeric-id":5619829,"id":"Q5619829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$7F4ADD42-9709-4BD1-8B1C-6FF7083587CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75a0a06014c02ee7bf6cd736161eed9865a1200","datavalue":{"value":{"entity-type":"item","numeric-id":1063868,"id":"Q1063868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$997CEBFD-6929-4ECD-A40E-ACCD8DE7322B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf151cd4906ec4fa5f32c376a80d298afc9307a9","datavalue":{"value":{"entity-type":"item","numeric-id":1069087,"id":"Q1069087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$382F1A34-0FC1-4EF3-BAFA-8973A75C5CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bdd4b3b03b7562bd1eba088cf173d57cb2950c","datavalue":{"value":{"entity-type":"item","numeric-id":3984446,"id":"Q3984446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$55053C51-C681-4F3F-B34D-DB461F1FF4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16b1f42fc964c6d10a04330e1f92dce10c7cd288","datavalue":{"value":{"entity-type":"item","numeric-id":595177,"id":"Q595177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$1B4F6293-18A1-4DB7-AA38-49EDE4473288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cef7ba6dc83b4e9c64032f5c2320960bc11cf9","datavalue":{"value":{"entity-type":"item","numeric-id":1067558,"id":"Q1067558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$061D4180-312A-4E48-B163-F35AC82DD6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e28ff77913e83e2f56a39fd7fb64b3b068ae9dbe","datavalue":{"value":{"entity-type":"item","numeric-id":1080130,"id":"Q1080130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$C892F46F-15F5-4C30-A9B4-ACDFEBBAD85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63fc7de70f26d047e41c71a341dba69674d39801","datavalue":{"value":{"entity-type":"item","numeric-id":4722608,"id":"Q4722608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$A5989FC0-6E79-47AF-82A6-029BB4B2BCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1307209b1e2d30b2e421f8dbec937834228a4c17","datavalue":{"value":{"entity-type":"item","numeric-id":3029611,"id":"Q3029611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$EC9108A8-4ECD-4974-9D49-810442675BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daad22a5c48101275c7ccc3298467ea127855c91","datavalue":{"value":{"entity-type":"item","numeric-id":3776069,"id":"Q3776069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$8CEA0E10-71A2-4F8E-92B9-48D57B27F58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494777abc178f860365aae10ef90f363fbd979a5","datavalue":{"value":{"entity-type":"item","numeric-id":5749822,"id":"Q5749822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$E23B100C-9921-45F1-B367-1F76DA7488BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e348d1d642c40962a544082402c4292107f7dda0","datavalue":{"value":{"entity-type":"item","numeric-id":5920791,"id":"Q5920791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$C6F11EA7-2BFD-4945-837E-960514D941A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd9cc52d1750639463386b88dece2edfb4e1d5f","datavalue":{"value":{"entity-type":"item","numeric-id":5579010,"id":"Q5579010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$75B02C50-B870-4FF5-97CA-6CA957732E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9690fed9693780322c735440aeb14cae1f581465","datavalue":{"value":{"entity-type":"item","numeric-id":3717040,"id":"Q3717040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$0B31F2B0-D6B7-4EF8-B861-E4EBE13601FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471655b02437d1c0c71c7d7b9f56813d36c4cc36","datavalue":{"value":{"entity-type":"item","numeric-id":578734,"id":"Q578734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$225D209C-ABF2-4304-AD05-B49728B638A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fdda5ebb9b15dda1ccb4232e3fae8013f458c17","datavalue":{"value":{"entity-type":"item","numeric-id":4104164,"id":"Q4104164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$7050E731-F6A5-410D-81D2-E7973C261B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0d374a436b3eff4a0fc4a6b0d2d906601e7f54","datavalue":{"value":{"entity-type":"item","numeric-id":4175544,"id":"Q4175544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$956DC585-484F-4DD4-99A9-C3DBEA653BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4e3b447229964e037bc86f2e71b27f09e0bdbc","datavalue":{"value":{"entity-type":"item","numeric-id":3863882,"id":"Q3863882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$2067B949-95FC-405F-B7B2-16B8F878E4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b3644f3b658e77aea3144e4172f20b77bddf2b0","datavalue":{"value":{"entity-type":"item","numeric-id":1166071,"id":"Q1166071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$01F7ECAD-96C2-4849-952E-7009877E644C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ba3f1e1f42712f10d99bf72610780ba96d2d75","datavalue":{"value":{"entity-type":"item","numeric-id":3324490,"id":"Q3324490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$A9DF369D-83A5-4396-91DE-59C340C8CC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f59b96bcf97d66894d0dbb796e1bd9a6b88665d","datavalue":{"value":{"entity-type":"item","numeric-id":3798653,"id":"Q3798653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$E4B3F083-5F01-4A63-B31C-1EB224F19382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3cfabfed9943c970a3e9d090bc7efb7f5ee8473","datavalue":{"value":{"entity-type":"item","numeric-id":5676214,"id":"Q5676214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$8F5D5842-73D7-4BEC-BA5B-9311014D070B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d0ad373f3bba8fcca90411e20d86be91e3a9f4","datavalue":{"value":{"entity-type":"item","numeric-id":5525364,"id":"Q5525364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$AD147395-5B29-49CC-ADFF-3B4A8B225EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cea1badf3d4102421855d8163e949a9bf195c18","datavalue":{"value":{"entity-type":"item","numeric-id":5544277,"id":"Q5544277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$3B08D5F4-4F16-4533-9500-B36262F32162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5934c1a26496744ebf6bf10e43b6650205a3fbde","datavalue":{"value":{"entity-type":"item","numeric-id":5562589,"id":"Q5562589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331917$D3FD305F-4A86-4E62-A951-40A48FA46813","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cf499f42c54deb829552bf718e1725dad4552e5","datavalue":{"value":{"entity-type":"item","numeric-id":4444557,"id":"Q4444557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb9b3e91d418a229373021c15ceb08dadb3fc38","datavalue":{"value":{"amount":"+0.8448618054389954","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":"Q1331917$49495E6C-00B3-4951-8124-590176E110FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f152142182ea281c4be13735b4c85898731c7fa4","datavalue":{"value":{"entity-type":"item","numeric-id":4970106,"id":"Q4970106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca653e5dd713244ec2f0aa0d7b8c3a4ea85f4d54","datavalue":{"value":{"amount":"+0.8126997351646423","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":"Q1331917$411E94DD-110D-4C7E-8DFB-D4EDAFA92139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a44d457debc853e9b9c7271276f931a4d53acb","datavalue":{"value":{"entity-type":"item","numeric-id":3621591,"id":"Q3621591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75edf3f0ae13bbab66a1a0586669701bae057cfa","datavalue":{"value":{"amount":"+0.8055006265640259","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":"Q1331917$2323A819-15A0-450E-A302-E82D7F048488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f833748c059d1734f4366602d0e1f011d7e80336","datavalue":{"value":{"entity-type":"item","numeric-id":4394932,"id":"Q4394932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc57e9de2d9f8bae78b23ddcc65f6fed15f7e2e","datavalue":{"value":{"amount":"+0.7785249948501587","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":"Q1331917$AB21EA80-3121-46FA-AAA5-3D4DD58F97BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Forcing in nonstandard analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Forcing_in_nonstandard_analysis"}}}}}