{"entities":{"Q2759804":{"pageid":2770543,"ns":120,"title":"Item:Q2759804","lastrevid":47715295,"modified":"2026-01-02T12:33:49Z","type":"item","id":"Q2759804","labels":{"en":{"language":"en","value":"Hyperformulas and classifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1683776"}},"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":"Q2759804$37B9BBA4-A5A6-49ED-92D0-FF278F5FCC41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95a6a661186b5ed6055c5ba6ce06be3369ed2ba6","datavalue":{"value":"0989.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759804$79286303-08AA-4ED5-8EF6-75113CAA1BEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56ec69a6b5b0c7a6f67cd92e027b3654d57d2aca","datavalue":{"value":{"entity-type":"item","numeric-id":2759802,"id":"Q2759802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759804$EA978BB7-0F00-402A-BC13-9BCC0F2547D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28373dd70f177f8ebae250ded5af561ec2e0846","datavalue":{"value":{"entity-type":"item","numeric-id":312494,"id":"Q312494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759804$89108FFC-D2EA-4C3B-B9D2-86F5FA75BB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c8462bd7d74d9f8bf2536bc5323e5eb4d4aa48a","datavalue":{"value":{"entity-type":"item","numeric-id":2759803,"id":"Q2759803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759804$1898A2C2-FE93-47AA-9581-CFACDE3AAE04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"867ca8ba9c2b21164f93afbfe4c0c7d87d88a038","datavalue":{"value":{"entity-type":"item","numeric-id":2759798,"id":"Q2759798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759804$8B36C088-70D5-4462-AF98-36BB53AB8201","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0325700ca3bc3f7d102c264ab8870dda2d06b4b","datavalue":{"value":{"time":"+2002-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2759804$322A61DD-F0D1-4412-9A45-01A41EE17AF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759804$73994EDE-4FAF-47F7-89B8-810D41D4C110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759804$8309283E-392D-428D-B0E7-CB53E4EAEECA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23b93f5960c6de621360426a740a9b4933688a65","datavalue":{"value":"1683776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759804$ECAA455C-A729-4EBE-BE98-14063ED1FFF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759804$CEC93120-3F70-4E3F-A094-11FEB7104729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"299ebdafc35709281b0f2099a529079e49232733","datavalue":{"value":"language with infinite conjunction and disjuction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759804$DAE232AA-E54E-477D-9E53-A47B508D682E","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":"Q2759804$B46EBCB1-B283-4211-B348-A94EFBA10E36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de279aec431587ceb7617080912fdf777520d039","datavalue":{"value":"https://doi.org/10.4288/jafpos1956.10.33","type":"string"},"datatype":"url"},"type":"statement","id":"Q2759804$034C4FB4-D6D3-422A-B6D4-5EC0BFEBE3F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95e3ab8bf5d51edf9fac2508cf93133121069305","datavalue":{"value":"W2060630000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759804$BB8D6E31-DF80-4D36-A929-1FE95359508E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1482bcee3848d30716f112e1d9bfdab80f97a17e","datavalue":{"value":"10.4288/JAFPOS1956.10.33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759804$58657FFD-1A1E-4567-91CB-E8D3BF5F1E28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb6bc4ce9ded1fe7137a79a5ebe76203c9b5db23","datavalue":{"value":{"text":"Hyperformulas and classifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2759804$70F3E66B-A756-4FCF-8D79-11F8950B9188","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ea9bfea8c4dc124b0391e5a800b50827b341b1a","datavalue":{"value":"For many years, there have been various attempts to develop a complete formal syntactic approach to Nonstandard Analysis. Often any importance associated with such an approach is in the development of a ``nonstandard set-theory.'' In this paper, the authors are apparently not concerned with a nonstandard set-theory but rather approach nonstandard analysis by use of a language with infinite conjunction and disjuction. Most of the paper is the development of their hyperformula language. Using these development, the last section establishes some well-known results from elementary nonstandard analysis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759804$1155EC0F-F9AE-4FD3-8A66-51AFABD4C22F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc6b20adb67d1cdcdce740c27482e98ea29cf46","datavalue":{"value":{"entity-type":"item","numeric-id":1101109,"id":"Q1101109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0ec7c5e5a7c08044885952a1d6b1d3b667ee89","datavalue":{"value":{"amount":"+0.7800096869468689","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":"Q2759804$C55F2EF3-1B25-4914-B53E-BFCB602AFDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff351645235f0ed96225948407781ad57d168cad","datavalue":{"value":{"entity-type":"item","numeric-id":3807203,"id":"Q3807203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650ed816cd41f90ceb382f33ef1d31755a6b204a","datavalue":{"value":{"amount":"+0.7725164890289307","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":"Q2759804$3B960FAE-D2E8-4A1A-BE80-A22FBC4616E4","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":"aba633dc0620cca470ee4c3f25e60f6962526df4","datavalue":{"value":{"amount":"+0.7499943971633911","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":"Q2759804$79BBAC29-8F5C-4836-AF32-203F68DC3010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb6419ee9545818539bf665f99db6cc993f8e54","datavalue":{"value":{"entity-type":"item","numeric-id":4811977,"id":"Q4811977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6e071b622c7397bf4b94a3b289f6bd56d00dee","datavalue":{"value":{"amount":"+0.7361339330673218","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":"Q2759804$9F49EE11-9D34-4FB6-8843-D9F5D97A26E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ffddc4534dd5b0d60d41c96480b7f1d1699689","datavalue":{"value":{"entity-type":"item","numeric-id":3141100,"id":"Q3141100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a40485d4dc76d7868bdecbbe45e7af2f963dc0e","datavalue":{"value":{"amount":"+0.7326968312263489","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":"Q2759804$17AF9EEA-CA20-4B7D-902D-5EF0A53D45EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2759804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2759804"}}}}}