{"entities":{"Q4227854":{"pageid":6257455,"ns":120,"title":"Item:Q4227854","lastrevid":46634700,"modified":"2025-12-25T07:33:42Z","type":"item","id":"Q4227854","labels":{"en":{"language":"en","value":"Developments in Constructive Nonstandard Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1247608"}},"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":"Q4227854$CE29F212-0EDB-408C-9164-2B3F8CCD942E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"705b2900dfe0fc0a1300744c75f2dba70ca6392d","datavalue":{"value":{"text":"Developments in Constructive Nonstandard Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4227854$DAA4594E-CE66-470F-9896-B15927593D4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f8235000eb11ff8bbb950d50105b4c00bbb34ae","datavalue":{"value":"0920.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227854$A20219CC-E507-4574-8571-5727AA734845","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a42951e9d7754c63722fdbe1ef0e7d7d2e9a72c2","datavalue":{"value":"10.2307/421031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227854$AAE482D4-41C9-442C-BF04-60C31D2D2533","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227854$2ED4DEDC-E7D5-4F2B-BB18-0E28893C7FC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a24420eec7e03257dc6bfa6b280bd944a062c7ab","datavalue":{"value":{"time":"+1999-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4227854$CA748727-38AA-4262-B694-2D46974684CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c41d42c9dd4d72310f7bd8140f1ad3d4dfafaf68","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0403-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4227854$55C7C7D3-501E-4184-B6F4-83AF4397F3A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227854$80BEA78F-0B58-45B8-8204-A0CBE206CAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227854$F557FC00-88D6-434C-AF41-59B6958E111F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227854$FE351F76-E46E-40E6-9B2D-2A18452F77CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a20cd59c273c000bfa7322d339734d32b8ecc250","datavalue":{"value":"26E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227854$5930CDDD-CDCE-40C5-B4DD-CC43FF788E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"321e8d1e59286011c083762891b1a505664d64cf","datavalue":{"value":"28E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227854$BFB49ABF-2905-484A-8DEA-473AC98CF7B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c064ed9456dddebbe7f9844ece28cf0d9ffab708","datavalue":{"value":"1247608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227854$E872854D-EF4B-4534-96AD-26671C2652B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fe008c80ddd302e04da16c6ba1e060f59972b75","datavalue":{"value":"Bishop's constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227854$ED9724FF-3F38-44D9-AFB9-29F4F1E84891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe37c60215b14110ddfab0424cce0b53842c900d","datavalue":{"value":"sheaf-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227854$87691C54-08C2-4F71-8E63-6A3D0F440FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0798ad3398c5835ffa25e31d5c613eb935f4eb53","datavalue":{"value":"nonstandard hulls","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227854$13E2BE71-5D5B-48B5-8C07-55EB4AC9A48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78cc726b1a73ab93c7f81f26eaecb269d9ca4d7e","datavalue":{"value":"full transfer principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227854$2D787C5A-285B-4230-A60B-D7F7D4DC06CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d81d25fde146a2494dce0817161efd400eb99d56","datavalue":{"value":"strong idealisation principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227854$E904EFE9-7CB7-4F78-8374-A4CD18CD6461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"579bd891e70d83fb58aa8520d79b936626d65840","datavalue":{"value":"infinitesimal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227854$1AB36543-F220-4D7C-9347-E68038E9C4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5749bdb23751743f7c09c9f1d1b5e471a95fb8fa","datavalue":{"value":"Heine-Borel theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227854$5CF3CAE3-1036-4F77-B835-2BAD9C6A0F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d100db1468b623221742baaecf6dc50c731b414e","datavalue":{"value":"Cauchy-Peano existence theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227854$6044EE4B-0EE5-4F0A-AE63-F9174E1BFC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be8f33a1162eef76c7422593938cc3bf8f61ce31","datavalue":{"value":"intermediate-value theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227854$058E5DEE-71CA-4439-B077-DB074F73EE52","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":"Q4227854$0254F930-5160-4BC2-B0EB-F0996D3F0977","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66e50cfc8c8d6bea3f7a50c853d7ee6c1389f13e","datavalue":{"value":"W1997968929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227854$31B9CD35-95F5-4104-8F21-D7CDD82221CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21872be859f3c7902cd61dd3f2803c3c146ef443","datavalue":{"value":{"entity-type":"item","numeric-id":1892939,"id":"Q1892939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227854$CD344637-8723-4C4C-B787-F4D890625D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c43ad45aa5b3a97181ec14ca3061a69c8be3de","datavalue":{"value":{"entity-type":"item","numeric-id":1905745,"id":"Q1905745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227854$D6C8C493-A36C-4F4B-897F-02AC27ADBAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227854$AAB459F4-F1A9-4C6A-8B9B-891D2C7DC0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"994fe188255640dd065c8b317abc0d629f231ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3997818,"id":"Q3997818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227854$EA122A5C-10F2-4F1A-9775-A339FED29D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b13c272f7e0efff584d99603822371efbd61ab","datavalue":{"value":{"entity-type":"item","numeric-id":1891250,"id":"Q1891250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227854$1E6D82D7-22AE-4919-9C4D-0C43F82AF65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbde53ead303f6bf07de5fac791eaf314a5b689f","datavalue":{"value":{"entity-type":"item","numeric-id":3213364,"id":"Q3213364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227854$E82F8B3C-13F5-4D45-A96B-0D6E2D295FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0409b82f64215de17a9671757f0363d5af0adfc6","datavalue":{"value":{"entity-type":"item","numeric-id":3993282,"id":"Q3993282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227854$9002FE09-B4F6-4B39-ABF4-C29DFD9381ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ae598da9ecd401281ac63abad2176c52b86956","datavalue":{"value":{"entity-type":"item","numeric-id":1119637,"id":"Q1119637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227854$EF22EA92-DA6B-41B5-A132-584B59E80468","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":"Q4227854$08080791-9EAC-4D3B-BA49-643F357E1C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33068e17cddfb767a38346d57ddb9eff328ae80","datavalue":{"value":{"entity-type":"item","numeric-id":769773,"id":"Q769773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227854$7F861C3C-0BF2-4F12-9614-7584371FBEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98162bb53c38bcf27541ee7cc195aef21836c846","datavalue":{"value":{"entity-type":"item","numeric-id":1381907,"id":"Q1381907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227854$6D314C1B-FD95-4707-A6FD-1518CDAE9E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f882cd6b3590fb2b3f5067a366e470913676e8d7","datavalue":{"value":{"entity-type":"item","numeric-id":913885,"id":"Q913885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227854$90AAD76C-C61F-4C4F-A76B-D7D5EDE0A1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813430739d0db440fa5da7e7c549b1b6977cf52d","datavalue":{"value":{"entity-type":"item","numeric-id":1356978,"id":"Q1356978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227854$11F00EAE-E08D-44A1-9188-41637314B2BD","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":"Q4227854$9FAB28AF-779D-4CD8-A9A5-B723AB2B0CCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227854$B8FCF4FB-CBDB-42D1-9C1C-B39815A78867","rank":"normal"}],"P1643":[{"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":"8ea9c109152e0ec00ba4f1ea40f62b886aa49987","datavalue":{"value":{"amount":"+0.8736276626586914","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":"Q4227854$BB32088F-445A-43C6-A0F4-E5AC3B91F7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7ce2d654026cda56e9082cd0e73177e90137d1c","datavalue":{"value":{"entity-type":"item","numeric-id":4893100,"id":"Q4893100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b78e51be15693f2db7291a609c3764b347a2b4af","datavalue":{"value":{"amount":"+0.8469738960266113","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":"Q4227854$EF1F2FBC-7AD3-4198-A4AF-D374D630FB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade52664644215553447f65c4d76b4c95fefdacf","datavalue":{"value":{"entity-type":"item","numeric-id":4552745,"id":"Q4552745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"412066357a925ef9056cbac66d73d06e9e258436","datavalue":{"value":{"amount":"+0.8237705230712891","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":"Q4227854$A7020AE3-7E79-44CF-A012-05EDFD6B579E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"571959f8b8a03199d472ffb4a4e9c6b81c6347f7","datavalue":{"value":{"entity-type":"item","numeric-id":1356978,"id":"Q1356978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b05f1d0c163967de74181b6ba994796d3b5239","datavalue":{"value":{"amount":"+0.8124110698699951","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":"Q4227854$BD84A086-C4C4-4B7C-B8B6-540B88D2073D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b8092d9abf6e662b75cda13ec5a295366108d6","datavalue":{"value":{"entity-type":"item","numeric-id":4982685,"id":"Q4982685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16bdd88d4174f5b44bb4be773e994ecb386c76fa","datavalue":{"value":{"amount":"+0.8123752474784851","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":"Q4227854$F9E59FAD-4BF5-49B4-898D-0DAFAC02C813","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4227854","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4227854"}}}}}