{"entities":{"Q1715475":{"pageid":1726216,"ns":120,"title":"Item:Q1715475","lastrevid":55373512,"modified":"2026-02-17T14:43:44Z","type":"item","id":"Q1715475","labels":{"en":{"language":"en","value":"A note on non-classical nonstandard arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7011460"}},"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":"Q1715475$B67F2DC3-5CEE-42DB-9065-B18699CE7D5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c8d873ee4a30fa2699e4738d0316d7dcfd5a3c8","datavalue":{"value":{"text":"A note on non-classical nonstandard arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1715475$5C32D615-0BD0-4D9D-B935-9DFE33CDEE1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfc20d12185e1fc903399436bb39b62d4644cd56","datavalue":{"value":{"entity-type":"item","numeric-id":636386,"id":"Q636386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$BB588626-D554-4571-B803-5B0AF23E8D22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$338F2A0F-4672-4ED9-9C70-394F17987707","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca7cadbea416389ec58d41faac46d14282f7824a","datavalue":{"value":{"time":"+2019-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1715475$CF36ED82-8181-4A1B-9C64-F9081B50EF9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea0e7d41f77679b83ec2e751e1e8fa9e725923c5","datavalue":{"value":"https://arxiv.org/abs/1805.11705","type":"string"},"datatype":"url"},"type":"statement","id":"Q1715475$BA05B506-4627-4CCE-89E5-9BA4C85BD276","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1715475$490243E7-2752-47AA-8A63-DF3ED1B3F70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1715475$CFF750F4-195B-479F-9A42-A61585BCC876","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c721bb2230eac1a2202df5c34c2f02bbe2c96b7b","datavalue":{"value":"7011460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1715475$C24209C1-F3BA-47AE-B79D-54FBE727D605","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1715475$116D74BA-63F0-4719-A90E-C97E0FF599C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd99f5fc03f7d7d7a00f03ab0261cce71d666b2d","datavalue":{"value":"higher-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1715475$35997333-1B58-4E56-9E53-9EB09DC37358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1715475$4DA7F065-86D7-41AD-8FB9-B3837B23541E","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":"Q1715475$853DF8B7-8BAD-4594-AD43-CFB20C5BD9EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"870bd04b4afdd46c489856e2e3185da17246a1cc","datavalue":{"value":"W2964267843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1715475$4ED1987C-9423-43E4-B143-8C678551712B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$F908299D-0D37-48DF-B7B4-0DE096D5743F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba82a794e7b50f883ca25aef5af8219c4085648","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$4D445DD0-D2D8-4AD4-A806-13FF35109F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a89d6c57041f4fb5ca3c52c75853d673c55604b6","datavalue":{"value":{"entity-type":"item","numeric-id":1634526,"id":"Q1634526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$D248198F-FAA1-4A3F-8DAD-6D8FBFB6A8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b802fb943f5e74a55181e7600f8966a96e6cbec4","datavalue":{"value":{"entity-type":"item","numeric-id":5108095,"id":"Q5108095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$1ACD23DD-FF81-4C06-AFC1-0C2853882122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3271d2cca78bd2e21df6d729810e97ae3f24a8ca","datavalue":{"value":{"entity-type":"item","numeric-id":1706266,"id":"Q1706266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$95A2EC78-0547-4E54-A406-3124118FCC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5d395db8c5eb1d5217f78fd08b7a7b6e8b5da5","datavalue":{"value":{"entity-type":"item","numeric-id":4492739,"id":"Q4492739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$62769E08-3D2D-41A5-9842-663CC5BEE9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$30651E14-E0DB-4AB1-B8B0-CF5C39473FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0585242910d00f6ed98a71175bb6151f9e7d698e","datavalue":{"value":{"entity-type":"item","numeric-id":1006608,"id":"Q1006608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$A1593B84-47D6-4A9C-B075-098F2734F8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4efcd400b3216ec62e853977f51a54bd5d5d9f37","datavalue":{"value":{"entity-type":"item","numeric-id":2344622,"id":"Q2344622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$38950619-7939-4727-86C2-D1DBB04A56E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b8ae145cfebceb50818e99785a51ededd7d8f7","datavalue":{"value":{"entity-type":"item","numeric-id":2013393,"id":"Q2013393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$B77D0942-53C2-4FAB-9A2D-299B3655A789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$A87C15AC-CE43-4438-B83B-EDDE6B462B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fb6f663d5994e52982ecae69bdfd0ce86bf67c3","datavalue":{"value":{"entity-type":"item","numeric-id":1788331,"id":"Q1788331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$62D4F1DE-585E-4142-A310-8CC961F76B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3b798035b6f1a4d94303dea5e0063140861e2e","datavalue":{"value":{"entity-type":"item","numeric-id":4787857,"id":"Q4787857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$FEADE31A-88E1-4519-BE63-566B5E4B7614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd4c73fbb6d38df05680cdbfed72a64b0f9b239","datavalue":{"value":{"entity-type":"item","numeric-id":5957854,"id":"Q5957854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$4BF24BE1-E3CF-495E-8473-C0269DC5E841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372ac7410c3602549aaffbccc69cf9a80d4b9494","datavalue":{"value":{"entity-type":"item","numeric-id":5711891,"id":"Q5711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$B83C6A9B-E64B-4FA5-B06E-3CF998D5C721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$A927581C-80E3-4240-80CE-3027590D2FF3","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":"Q1715475$B733DC82-369D-4636-A6B1-683F1576949F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4838237fdb1cbedda56b256ef821560ec77d29bc","datavalue":{"value":{"entity-type":"item","numeric-id":5207560,"id":"Q5207560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$FDB000BC-5527-48B5-8976-85DF0548E7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ed83d79ac2e42ce9242da4277967b9ce274421","datavalue":{"value":{"entity-type":"item","numeric-id":5223120,"id":"Q5223120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$15390867-5F7D-4274-82A6-7C350E4E6884","rank":"normal"},{"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":"Q1715475$A89E471C-5FAE-4B70-80F3-EC49471EF800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eca3946c9e221a549cb1c12d31edfcc836a6888","datavalue":{"value":{"entity-type":"item","numeric-id":1688964,"id":"Q1688964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$A981DE56-8163-453A-A7BE-C455FE8E6578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf425608175446d590e39c47c887ef037139b74b","datavalue":{"value":{"entity-type":"item","numeric-id":1670765,"id":"Q1670765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$BBF9535F-B2A9-45AB-B513-3789E76B5784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db69c3d1bea51cae9245fff8b1ff8bcd37190160","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$4A0645C3-EEF1-471F-A7F2-E159AE7433D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$B11D7B0B-2D5A-4688-BFE1-B127AAC75424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f2bc685339dd7af4016f81fe51e1d96804c4c2","datavalue":{"value":{"entity-type":"item","numeric-id":5348541,"id":"Q5348541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$E31CD4DA-8F6C-4FE1-A589-8DB68C0ACDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$E0F6FD60-1866-4F0F-8DC2-D477E7BCBBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715475$97B96BDE-F816-451B-B4E3-290A3F539AAB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"907c8cac897c7672100ac6f83f0bc9013a449ac9","datavalue":{"value":"Q128911370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1715475$9E8A7439-C102-457F-A86B-037A0D03C24F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7bf3c1f74fd0bfdd66c46f4da353e80b62036a8","datavalue":{"value":"10.1016/J.APAL.2018.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1715475$35A268F8-5F2B-4921-A463-8EA2EA43EA03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f44269c74b80dd81ee90522343545ce2f490c1","datavalue":{"value":{"entity-type":"item","numeric-id":1634526,"id":"Q1634526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b78a72322295a683ec71baafa13a0b93635409f3","datavalue":{"value":{"amount":"+0.7845060229301453","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":"Q1715475$AD207B95-6A53-4D29-9E39-BA7A8BBD670D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76fe3f5abd0e785efd0b6b194791216dc83afcba","datavalue":{"value":{"entity-type":"item","numeric-id":1407559,"id":"Q1407559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59f4d88b23dcde43bc49e1da3a7b2a3664915196","datavalue":{"value":{"amount":"+0.7588379383087158","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":"Q1715475$22989F39-B88C-4A37-AE5A-335D531EB352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c7254de9886290946ebaf8c19efb49dfae7a81","datavalue":{"value":{"entity-type":"item","numeric-id":3145969,"id":"Q3145969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a61799ed2596625ae237e687ff525caded960a","datavalue":{"value":{"amount":"+0.752545177936554","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":"Q1715475$4B0A2993-6483-4CFE-BAA3-F69769D60164","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":"52792efcd7d3f8dac401877c2e1f441db00caf62","datavalue":{"value":{"amount":"+0.7469988465309143","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":"Q1715475$15B6DB0D-BBB0-41BB-8261-61261EFCBA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a4214d6dd52ca5d434b819a1b3b80bceb28b4bd","datavalue":{"value":{"entity-type":"item","numeric-id":3594485,"id":"Q3594485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fee41ae03daf63c627ac249f5cf9c0bba6bf48","datavalue":{"value":{"amount":"+0.7401767373085022","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":"Q1715475$83C10241-A189-4597-99B6-114422C2E6F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1715475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1715475"}}}}}