{"entities":{"Q301366":{"pageid":303133,"ns":120,"title":"Item:Q301366","lastrevid":52567622,"modified":"2026-01-23T00:04:20Z","type":"item","id":"Q301366","labels":{"en":{"language":"en","value":"Reasoning about negligibility and proximity in the set of all hyperreals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6599735"}},"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":"Q301366$123BEC26-CCC1-41AD-B35B-B30FC8BDF4E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f290b1fd6a209deef39e63c07af65f26a989a4a","datavalue":{"value":{"text":"Reasoning about negligibility and proximity in the set of all hyperreals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q301366$1989EE57-8DF6-4F64-B05C-B1873827F7E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c07e4a03c0a2df7d73de2ac48568121542f94999","datavalue":{"value":"1436.03326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q301366$888AB17A-AD1F-4315-8A5F-1A5F17CE9A95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$00B57851-7400-434E-83D7-5DACAB7B078F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$ADE64D43-9714-4819-9B7A-01305A24CD60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d98f2be9388fe0b19e5e725594ce7a9c36c460b","datavalue":{"value":{"time":"+2016-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q301366$12078AF3-43E0-4135-974B-7468230733F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q301366$4B6D1EB2-B66D-46F0-BF8F-EC6D4C53CEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q301366$8D47F00A-E5F6-4B61-8B43-BFD03C13E19C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71e0e6eb0105a35979d286db4d3f6e20b9b44ce6","datavalue":{"value":"6599735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q301366$E378A4E5-B6BD-441B-BFBD-94C868DE7C5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6dcd3d61f6f9f4e2db0a575f65e87a388773ad","datavalue":{"value":"qualitative reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q301366$97903515-849E-4025-9586-C2A7FE71897D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q301366$1B04996F-A6F5-40CB-A88B-B55C2BB24362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q301366$407EBFBA-D989-4826-9A74-C3EDAFA83105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4b85c221691a7d90700e13382d7ef7979ab091f","datavalue":{"value":"axiomatization/completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q301366$B1E0A6EF-48CA-4633-A3B0-0A585C99FB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a55c0fc88c6ba139c431de02f534cc3cf03327","datavalue":{"value":"decidability/complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q301366$365FE0BB-21E0-46B8-9E54-BC8577DCAC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q301366$3E552FB6-147C-41EA-AD12-7C57802778D4","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":"Q301366$4DC6241E-AE61-499E-9207-2E9E8BA352CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31469f30625b066b7b3ccb9768ff33fe9b20a463","datavalue":{"value":"https://doi.org/10.1016/j.jal.2016.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q301366$8B7D5755-C7E0-489A-91C7-DF7F5AE20C73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9843c39aa5033008943954d238f21558c934b5ce","datavalue":{"value":"W2326088123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q301366$8183F8A8-0118-45C0-A64B-517F551277BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee902923de73ad04eb24519d26bd91240bef030","datavalue":{"value":{"entity-type":"item","numeric-id":2372194,"id":"Q2372194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$344A6B52-B83B-4CC0-B5CF-FE77187200C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$03BF80EE-F46A-417C-824B-D9790898BE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"586b615ce08d5905d6be31be15706b2305727a48","datavalue":{"value":{"entity-type":"item","numeric-id":5302023,"id":"Q5302023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$B5BDE647-BF3B-49B1-9A8B-C12C216430DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$5FED7101-2F33-46B3-B46E-BD51F9F6011A","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":"Q301366$2202A996-5ECB-4F6C-98B3-44D415806138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de26529c5362baaa9c408f14aa939e5335d8a84f","datavalue":{"value":{"entity-type":"item","numeric-id":4345916,"id":"Q4345916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$4C1F0879-E793-44C9-8DA0-6AB418E03331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9c6db83f82d390b38d73fd50317523e052aaaf","datavalue":{"value":{"entity-type":"item","numeric-id":4230733,"id":"Q4230733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$82416D4B-6A15-4B1F-A7FA-FA71D2EF6420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$9BCB3B81-3A3F-4B2B-BA1E-D77B5767149C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$77187C83-AFD4-4870-8E4B-2675058F213A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e022113c3a2893ece892674c90231a717879f0d1","datavalue":{"value":{"entity-type":"item","numeric-id":679339,"id":"Q679339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$9AC0711C-A675-4DB5-A90C-EED7B4FE5C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac7bb0060266411297ebde1a95c8f88f834c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4218534,"id":"Q4218534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$E82E5DD9-4DD0-41AB-BB00-4624CB808E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9cc7a572956ed7a0382840eb52a4025962f91ba","datavalue":{"value":{"entity-type":"item","numeric-id":3391741,"id":"Q3391741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$82975A6D-4D97-494D-B910-EF0EF74247F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$1377B635-3D89-4EA2-A681-BED4EF1EF465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99dcb63e68d144b14e237065833fe34f13ce7af9","datavalue":{"value":{"entity-type":"item","numeric-id":2502155,"id":"Q2502155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$33C27E9E-C7B5-41A7-AA4C-6FCF073D1DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ea1673b96d11149c7825e15ffb8288a642a281","datavalue":{"value":{"entity-type":"item","numeric-id":4540100,"id":"Q4540100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301366$FEF00CCB-577C-4899-9D00-88998BDE5AD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a83145f6256035e18e3316feaf75bf0a3520dde7","datavalue":{"value":"10.1016/J.JAL.2016.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q301366$E52BD371-330E-4956-92CB-645E9CAE9999","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"339cf567787338fbf69f5544bae60173ca7d7048","datavalue":{"value":{"entity-type":"item","numeric-id":3391741,"id":"Q3391741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17a8b440b53bae2493ca489f2a5ad1cd3bd3ef7","datavalue":{"value":{"amount":"+0.6748655438423157","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":"Q301366$670E8EA9-2358-4632-8C9C-BE22937E6276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b46f26e88bc991bdfd6dc64b0a9030dad1a4200","datavalue":{"value":{"entity-type":"item","numeric-id":4864657,"id":"Q4864657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c013c4e895e1465fc68a492a77217d7e89faf1","datavalue":{"value":{"amount":"+0.6693810224533081","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":"Q301366$536D9B2D-B4FF-4515-9BBD-DFBF55EB3594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800735714d394c21813b9a1e6377f78a0b830253","datavalue":{"value":{"entity-type":"item","numeric-id":3032261,"id":"Q3032261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997d4e806726169d64853fcdc0c2b4112de64128","datavalue":{"value":{"amount":"+0.6689131855964661","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":"Q301366$B7585136-AB64-4791-A2DE-E74B7BAA6213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18e7486830d66b2e35da01ac2528b665ce7d6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4781772,"id":"Q4781772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96075cc9bbf0dde68e8e016624487c938203027e","datavalue":{"value":{"amount":"+0.6613128185272217","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":"Q301366$24623216-A24B-4B1B-8BFB-F506F4233108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d8d3491e0fcf93131ccbbf4a8682635f69f12ce","datavalue":{"value":{"entity-type":"item","numeric-id":4204798,"id":"Q4204798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f91e13af8a1da5f72c15a2df416d3d4c93eb91a","datavalue":{"value":{"amount":"+0.6603240966796875","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":"Q301366$32D09864-6A5C-4BC2-B0C2-231E902E644F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:301366","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:301366"}}}}}