{"entities":{"Q4994846":{"pageid":7024423,"ns":120,"title":"Item:Q4994846","lastrevid":58387653,"modified":"2026-04-05T00:13:33Z","type":"item","id":"Q4994846","labels":{"en":{"language":"en","value":"Algorithm and proof as \\(\\Omega\\)-invariance and transfer: a new model of computation in nonstandard analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7361695"}},"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":"Q4994846$1B10EF0D-5D24-45CD-8C99-95056290AE16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf10d1041e5a2252db8b8d2f9fbae600b0423fd3","datavalue":{"value":"1464.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994846$89C5A37B-56D2-4705-9CC9-CE2F4C94FEA5","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":"Q4994846$F3F97CDD-BFEF-45B5-9EEE-3D9032E15251","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84e4cb1bbf72a56d7645dc9bfb4e1a2c12071055","datavalue":{"value":{"time":"+2021-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4994846$DE0EA1DB-D346-4C9C-A874-A9E53A897223","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e58f9dc2268a0a0ad0c3d9293a7729191b38ea93","datavalue":{"value":"https://arxiv.org/abs/1404.0080","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994846$525CACCF-2E18-4AF2-A735-D85E63D2AD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"927155698a398b4c1607fb7922dbf84962e0b7a9","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2012.9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994846$2B1E2540-4569-41E2-8B89-2481155EBD7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994846$E7AD2D65-6781-4B85-839B-F74AA7E2D8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994846$D653B26B-2A76-4814-BCDD-909C7157ECD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994846$31DE10A1-39B2-48F1-857C-FA07694E6834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994846$B73DA14F-F017-401F-9933-2D5FC992ED88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"426e0e42564d27aee99f0e8181dd723977a0d956","datavalue":{"value":"7361695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994846$A05B9DA9-2A7A-43FB-8535-18F3296D13AA","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":"Q4994846$378A74ED-80F2-44E3-B494-F968D3482E7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a4a381cef4279ac8fb49732c0db9c7e5c52b704","datavalue":{"value":{"entity-type":"item","numeric-id":3744163,"id":"Q3744163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b0c864fb4367ba70239bdede4dcdc16ae63acf","datavalue":{"value":{"amount":"+0.7708612084388733","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":"Q4994846$32AE3163-ABC0-4533-8CD1-961F1E6DB3E7","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":"edba7e8aa78b36507bf42f61dbbe1855c480e0c3","datavalue":{"value":{"amount":"+0.7693996429443359","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":"Q4994846$77F40808-AA73-4AB6-BCD7-294A91B27ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4aff81fdf368b8d52f1e52024a19d94305736ac","datavalue":{"value":{"entity-type":"item","numeric-id":2988850,"id":"Q2988850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14332a3cf386fcab98c27a4612357783df32c02b","datavalue":{"value":{"amount":"+0.7666787505149841","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":"Q4994846$707DBC5B-D77B-410F-866D-8FD1617D0324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e2e79f9b3e2f1c3a688ceec63a779d0a0fbb28","datavalue":{"value":{"entity-type":"item","numeric-id":4608444,"id":"Q4608444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28aa7a9d1a41a7eb7b7f2840a4f31a9206caa2e","datavalue":{"value":{"amount":"+0.7649747729301453","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":"Q4994846$E267F34B-71A1-4804-9AA6-EB23BEEC8E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903416798ad8a6cacd37c7a829ccf36e1cab7697","datavalue":{"value":{"entity-type":"item","numeric-id":5015363,"id":"Q5015363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58428725c774b87a6d769b17e804f4600ac859ef","datavalue":{"value":{"amount":"+0.7489615082740784","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":"Q4994846$9BE6C1E1-380D-48B0-B5F2-BF6B8117D729","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4994846","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4994846"}}}}}