{"entities":{"Q4032655":{"pageid":6062389,"ns":120,"title":"Item:Q4032655","lastrevid":55238131,"modified":"2026-02-05T04:46:07Z","type":"item","id":"Q4032655","labels":{"en":{"language":"en","value":"Standard foundations for nonstandard analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150011"}},"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":"Q4032655$E55721EE-BB9B-4984-9EE2-A7BB2E01A2F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f684b5860d14ca71e57c731e2c0804c91c839387","datavalue":{"value":{"text":"Standard foundations for nonstandard analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032655$B0C63CEA-B572-4251-82BA-C90BAC407D37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b54696e6f5edbaeee723de93754de67656eae07","datavalue":{"value":"0766.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032655$66F8D9C4-E6EC-461B-B102-157189B59BF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bc7115dbf5ec8046cfe512df276260d2a3bf6f9","datavalue":{"value":"10.2307/2275304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032655$F30A91B3-92BD-4E61-90A9-5AFEC12345EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cc5427b27d5c56658e244a7658422851c49d871","datavalue":{"value":{"entity-type":"item","numeric-id":1091384,"id":"Q1091384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032655$E6ACC834-BB53-4B3E-8B0E-78F92DCA8376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"869f6116a34de7fc3eb0b7608f954cee8381df01","datavalue":{"value":{"entity-type":"item","numeric-id":195652,"id":"Q195652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032655$90E2C47B-846E-4A68-BF34-29E4E7F682E3","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":"Q4032655$7C52DFB1-8795-4329-8958-D6728DEC6066","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032655$ECB0AAF1-1947-43CC-AFE5-B553BECB5981","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b04bd88a45e77f22f18ff67abebfcb580b5033cf","datavalue":{"value":"03H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032655$29496532-CF5B-4FEA-B155-4D4DB5F529E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032655$A812168A-D85B-4C8E-A7D7-71DF7D6BE8A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b87fa132a6e86c95536523b8dbc00113b3b7b2e0","datavalue":{"value":"150011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032655$885678E7-06DF-4851-9854-337648670A7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"188777fe07aea93356fc3c9a70e23029a4d931b5","datavalue":{"value":"extension principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032655$73CE99AF-6B65-43DC-B785-5399A65C4C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"509425e1c16ffa0a581eea45f0c7129183e76482","datavalue":{"value":"\\(\\kappa\\)-saturated universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032655$5072323A-14B6-452A-BDBA-18612380C90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd17a64e930fe18b84b2dc040432e6ca917e528c","datavalue":{"value":"Zermelo-Fraenkel set theory with global choice minus the axiom of regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032655$9C04400A-9942-4A2D-A018-65CBA9CBED61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4daf017ec482085dc6da467147a03bc2a3219c3f","datavalue":{"value":"Boffa's axiom of superuniversality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032655$143F16C0-2956-4520-82A6-8AC7993835E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"043758963d86b3e757ab3c23f03ab0890dda600f","datavalue":{"value":"global version of Robinson's nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032655$DFA641AF-4630-4E3A-889C-D88DE8155C3F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"70fa9618aba4fa0682812c540a3de47f20b15639","datavalue":{"value":"Q56455974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032655$793DA081-1BB0-4CEC-AD60-AC4E1993A924","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":"Q4032655$2EBF51D4-B937-4AAB-AC1E-2425C23BB6EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecb88fb3a90782b20c8106c8c275793e2e8920a3","datavalue":{"value":"https://doi.org/10.2307/2275304","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032655$47E4112C-1314-4DB2-904C-97088E0782C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fa5eee1112e5f383cd837b928db41baf0ea239e","datavalue":{"value":"W1993159501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032655$A54823BA-0979-4F34-B46B-A3C170BE1E82","rank":"normal"}],"P223":[{"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":"Q4032655$3DB3B0F3-1B85-4627-8C21-2988FC0DA975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec2770e1b1bced5acaf1a085e30e72a51ee32bf","datavalue":{"value":{"entity-type":"item","numeric-id":4149449,"id":"Q4149449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032655$86E821B8-E714-4D86-ACC7-BAC4FB3E4B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e14a6845d2c94b9caf79ac976fa60c7ff130cc4","datavalue":{"value":{"entity-type":"item","numeric-id":3887463,"id":"Q3887463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032655$9FF09860-5552-4BD4-A62D-2A0938785464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9002b11d3ce5a7f9f2de54d4d590fb5f5bed4366","datavalue":{"value":{"entity-type":"item","numeric-id":3993251,"id":"Q3993251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032655$A90CA0B9-6A94-4A3E-A3DD-7DC606A79D86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b760d87e1b9e008251204d41e3334a2b14edd34","datavalue":{"value":{"entity-type":"item","numeric-id":4391432,"id":"Q4391432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf80245c46bec0e152c94675e5bd373bdefae5b7","datavalue":{"value":{"amount":"+0.7942254543304443","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":"Q4032655$FD743964-D996-4C95-8E0C-56DF3AAD823D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7fd0b3d1333c6a74872432ba6fedf9c238ac64d","datavalue":{"value":{"entity-type":"item","numeric-id":4267665,"id":"Q4267665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf80245c46bec0e152c94675e5bd373bdefae5b7","datavalue":{"value":{"amount":"+0.7942254543304443","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":"Q4032655$4115FC26-67E6-4EC1-8DA8-6B384510EDB7","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":"da122497fa8132b8c48f58e8abb5ff6c14f0d121","datavalue":{"value":{"amount":"+0.7824546098709106","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":"Q4032655$A49CE906-3C1C-400C-83FD-734BD0D970E5","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":"3d7b03974ebc50a46134193892287862664b477e","datavalue":{"value":{"amount":"+0.7777513265609741","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":"Q4032655$999C01E5-C027-4FB5-8146-75B5170098C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc152ad2a2b5bf9da44ef70a7c523b1fee6d25e7","datavalue":{"value":{"entity-type":"item","numeric-id":5940142,"id":"Q5940142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ceb10aecad2fb0ccd65c25d5b3976e18a41696","datavalue":{"value":{"amount":"+0.7762519121170044","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":"Q4032655$157EF55F-8599-4160-884E-49DE3350F70E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032655"}}}}}