{"entities":{"Q3762318":{"pageid":5792224,"ns":120,"title":"Item:Q3762318","lastrevid":51833030,"modified":"2026-01-20T06:39:03Z","type":"item","id":"Q3762318","labels":{"en":{"language":"en","value":"On the strength of nonstandard analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4012611"}},"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":"Q3762318$B5D82959-8CD5-4C6B-BEBA-BB06EF345B16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9584ccc4c8571ae36f8439dd67815ce4eb59745","datavalue":{"value":{"text":"On the strength of nonstandard analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3762318$EEE44D66-C852-4998-B63A-40CB5ACB8BE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3df8dcfae4648f774de8b36bd66c4f43ad891793","datavalue":{"value":"0624.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762318$FA219C51-07B4-4929-A910-ADC0C52570CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4576e5809607283168ef80f664e768636b848e02","datavalue":{"value":"10.2307/2274061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762318$ABF62B54-8104-4D20-801A-62E65C0F9F62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3837f4a30e17c9df56d92d42aa3d743a95173bc6","datavalue":{"value":{"entity-type":"item","numeric-id":584690,"id":"Q584690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3762318$F311A10C-07C0-4F66-9B44-23FD0DE925BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cb0aaf2cb17a70a009b0ece4f2356bce41c3167","datavalue":{"value":{"entity-type":"item","numeric-id":386148,"id":"Q386148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3762318$0985E0AB-70D8-474E-952C-C9F472513062","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3762318$82099FFE-1C30-4544-A656-2EE6B8EB62A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762318$177A6398-2EF5-4E3E-837B-9EF2796B59A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762318$D79D02B7-0B97-4281-9988-334030C99851","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"962c4af63405697e9fbca8a9b819c243c7dffa54","datavalue":{"value":"4012611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762318$C4D99F85-72D9-44BB-8FE2-531A86FA2C9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0ae92f85a2c0624148c2c26d6bdacf11df2351","datavalue":{"value":"nonstandard arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762318$98690448-11E0-47CB-A292-B39DE3A71AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c222d2154c724462abd633657d9386ca4ec975ff","datavalue":{"value":"Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762318$884A186F-835C-44C0-9FA4-5CB326FA0AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253cad3eb6a0748a247f5a606eca2b5933e9c0d","datavalue":{"value":"comprehension scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762318$FC293C2A-375B-49DF-BC4E-89363C6EBF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762318$FB68FB5F-3879-44AC-B555-8F011A2396AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68138c6c4f989c8583da9383e27778d5268533ba","datavalue":{"value":"ZFC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762318$CCE18924-235F-48F7-B06B-082370C2D0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7f73aed948fd368b32172b5eb3b3ae1d8ebd85","datavalue":{"value":"strength of a mathematical theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762318$E54CCF78-75FB-48E8-B893-6EA6E8765FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fcbe5504f2570643ba5c6146de0d9f13f456f00","datavalue":{"value":"higher order arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762318$88AF1370-47CE-446A-A659-B8F6A86AF2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412978e917aa6faab6974f8754d702b872c51bd4","datavalue":{"value":"second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762318$FDF87700-1E2F-42AB-8908-F50A18234096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2077e710d8ff95faaee9420ea6092a667ecc485f","datavalue":{"value":"saturation axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762318$8D846CB8-B6A3-4DC5-A28F-64E5951345C5","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":"Q3762318$BA862A29-1B5C-4155-984E-DDD06195EC68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"144be67f6ac10883d746c6e2fe3754286d8c3aaf","datavalue":{"value":"https://doi.org/10.2307/2274061","type":"string"},"datatype":"url"},"type":"statement","id":"Q3762318$7A109D30-34DD-4213-A1D4-665B25716A16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3b80cbe348b00a34cf122c4747125096b62e6cb","datavalue":{"value":"W4237814959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762318$6A9515C2-ECC0-4B08-91B8-3D93A32B1625","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":"Q3762318$52D2F0BD-780D-4F7C-BE17-EF0D02CAE741","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb2181720d89d72f9e614ac1352a44c03fe79e1","datavalue":{"value":{"entity-type":"item","numeric-id":3748278,"id":"Q3748278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc37a97ee4512028b0389c177ddb35c1ca4205f","datavalue":{"value":{"amount":"+0.94055986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3762318$A1E14C90-88F4-44EA-9900-E7C47578D222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcdd81cd3181ffafcfc057025f8a75dc89b64ee2","datavalue":{"value":{"entity-type":"item","numeric-id":4726253,"id":"Q4726253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc37a97ee4512028b0389c177ddb35c1ca4205f","datavalue":{"value":{"amount":"+0.94055986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3762318$AA3EE8B9-91BF-45AB-A270-A8EC7A26CF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad670873d1bb9ccb8d73bd9daf7114f8a99a249","datavalue":{"value":{"entity-type":"item","numeric-id":3120153,"id":"Q3120153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056a23b243aa57b07cf23b49049ca9ff674796ed","datavalue":{"value":{"amount":"+0.9213719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3762318$6F8D35E3-0B37-4B6F-883F-4748A0567491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a77dc7938cd79c62ab2ea87aa7b6bf4540ce65e2","datavalue":{"value":{"entity-type":"item","numeric-id":4216614,"id":"Q4216614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a174d29d59dff7a0112beffa1d0022c6c3cfbfe5","datavalue":{"value":{"amount":"+0.9213718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3762318$303F64CC-1597-49C7-B723-36E301399E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"babbd8aef74a614f7b4a3930c820eb43cf468863","datavalue":{"value":{"entity-type":"item","numeric-id":1892939,"id":"Q1892939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63056454e39e84130e1e109ba75727e6e53eb144","datavalue":{"value":{"amount":"+0.9196388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3762318$AE8164E0-0588-43AE-BFAE-A64C0867E11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6444cbbb181ca77f3e98478bbcff15bb81aa6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3496335,"id":"Q3496335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"887209391167805390adc958189a27fe4dba037f","datavalue":{"value":{"amount":"+0.90981936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3762318$39EC1B4B-2401-4414-865A-B7EB6CE82C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93d0e4a166c65221e2df2dd2c7b10271fc8c5624","datavalue":{"value":{"entity-type":"item","numeric-id":1905745,"id":"Q1905745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d347286d57f3306d7e07de5b34cecf63e50d9d0c","datavalue":{"value":{"amount":"+0.9085251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3762318$81335120-58FD-4C23-872E-347977742112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f257bfd1d65e9ae94f55851ef80c9dc84449fa1","datavalue":{"value":{"entity-type":"item","numeric-id":3807204,"id":"Q3807204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13039be03fff368fa283fcf8fddad43d1f388576","datavalue":{"value":{"amount":"+0.90802634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3762318$04491B3C-8363-466C-B9D2-10032F5B5999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995e02bee2cad8ea37fc54884a92f46fd0e96ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4032655,"id":"Q4032655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3878ed9213f7d3519c3b772af71b6993f6a161a","datavalue":{"value":{"amount":"+0.9033959","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3762318$EFC8E5E9-02CD-4AAD-BF30-98A66817C22D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3762318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3762318"}}}}}