{"entities":{"Q3594485":{"pageid":5624390,"ns":120,"title":"Item:Q3594485","lastrevid":49642462,"modified":"2026-01-08T15:03:05Z","type":"item","id":"Q3594485","labels":{"en":{"language":"en","value":"Fragment of Nonstandard Analysis with a Finitary Consistency Proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5178027"}},"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":"Q3594485$7AE11F11-0DDD-4C32-86BA-9B96FC11226A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76f65bc14633c1747aa6c00aaabcbbf0c2fd101e","datavalue":{"value":{"text":"Fragment of Nonstandard Analysis with a Finitary Consistency Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3594485$82E0F31D-097B-4CA6-A615-13A506F2C5BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4be9ff02af5bf51321272931e4d88087a3f2075f","datavalue":{"value":"1129.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594485$E4F9F349-B337-4E22-BFDE-60FBB7F75BDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f2ad168406ee32268e327d10c6411bbf64f389e","datavalue":{"value":{"entity-type":"item","numeric-id":3594484,"id":"Q3594484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3594485$3EB97035-BABC-4E22-A292-8435E9AF7D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1376d5316fb71db1c6e9bf664dff79c67388b0d","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3594485$561FF0D2-E9AD-4258-B9DC-FCA182A6015C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bad4c1ed22839c483148e58bd006f9d5afafaf57","datavalue":{"value":{"time":"+2007-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3594485$D2586D24-F616-43A2-9DED-5FF3D53B76B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594485$1A5FECFE-CC59-4EC5-9DF1-BAADB7B28491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594485$E430D3D6-B831-40C6-A734-4598DD9A9EBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4915505e007e82ec1a18ba90f1efe17845451808","datavalue":{"value":"5178027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594485$1DFAA6DC-BC7E-475E-BC44-4C6D9966DEBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47b9b666d61710168781f19fcc8205f051b3a225","datavalue":{"value":"infinitesimal calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594485$F9C62E09-0A05-4D34-A57B-549442A6CABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594485$A22618A5-7D6A-440F-A61F-116CD2E5877E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"874a5e7b4e33b3c767148d8b5b660605ca97fbaf","datavalue":{"value":"consistency proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3594485$FD1BD945-C71F-4646-A996-6850194718C9","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":"Q3594485$2D831A60-1E54-4F79-9C1E-72349CC12C94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c073e1da1509f9333788f250cccd01e8371b4c5","datavalue":{"value":"https://doi.org/10.2178/bsl/1174668218","type":"string"},"datatype":"url"},"type":"statement","id":"Q3594485$E385E6E5-7ADA-4B11-B88C-34F4A789DF36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76b452eb813a98df3502c299d794b15c9efc861f","datavalue":{"value":"W2077616102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594485$46A26402-D6D9-4531-9B48-777927EB4DC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0876c6306cac1e06007928d66037d45133ea12","datavalue":{"value":{"entity-type":"item","numeric-id":3149983,"id":"Q3149983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3594485$396624AD-6858-4F61-A7FC-D6D904C6D50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3594485$593F6C24-BC33-4E8E-B1B0-CF1A065B185C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68052ce980dd5c73b389c61f7735005cb694e59","datavalue":{"value":{"entity-type":"item","numeric-id":4836046,"id":"Q4836046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3594485$046272E2-C70E-469B-B3F7-30148AA839AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b515f9b5de0a730a19699c1985e8ea4dc03836f","datavalue":{"value":{"entity-type":"item","numeric-id":4032655,"id":"Q4032655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3594485$33C0F293-6453-45CC-A780-1F3C298489F3","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":"Q3594485$3B57541A-9BDF-4C5E-BA8A-9F556E3E947D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3594485$439E56B6-8C34-465C-8D12-25B78C6C1145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3594485$BDA20BA1-DCAA-4EF7-82C9-56D15FF672E8","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":"Q3594485$280597AB-C9D8-47A2-BCA5-6A7521F7418E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522e091dfd04ebae82bbbaca858e370e37abe7b3","datavalue":{"value":{"entity-type":"item","numeric-id":3749037,"id":"Q3749037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3594485$5D8CF510-BFA0-4B1D-91D1-AF3ED4690027","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f265036b4b2328a8b3b92f8b6e8ca76c8ed8cd5","datavalue":{"value":"10.2178/BSL/1174668218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3594485$8184EFE3-A3C5-4F2B-8F0B-5B8050D2A974","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":"Q3594485$F980A131-8F93-4ACB-98AA-6D262F56D874","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3abe5b809dba7a83368be3355b82d54d8362e94b","datavalue":{"value":{"entity-type":"item","numeric-id":4835607,"id":"Q4835607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d8990534e969a9ef3e10c3b4ee3241630471b2","datavalue":{"value":{"amount":"+0.8964516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594485$AAB82515-D327-449B-AAA2-D1FEABF5CBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ea0bce64c776c52d17c0994d14d41650f15cf3","datavalue":{"value":{"entity-type":"item","numeric-id":4836046,"id":"Q4836046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60bc435ec95cf961c9b41ae46ade92796d2c539","datavalue":{"value":{"amount":"+0.8873422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594485$0C92C5FF-0101-4C17-AA00-EE0E6133494A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3e4ffb2868638c4ba164f0ed91b497cfb235da","datavalue":{"value":{"entity-type":"item","numeric-id":3703898,"id":"Q3703898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e4282590163f60dd63ba57b8f275702735f7ef1","datavalue":{"value":{"amount":"+0.8797616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594485$24284BC6-EE7E-4646-BA2A-ED408CA049DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e0b603e4de651c649bf73719292344ffcdbd58","datavalue":{"value":{"entity-type":"item","numeric-id":1346918,"id":"Q1346918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"517002b89515572a603cd0ad665e93286e48d376","datavalue":{"value":{"amount":"+0.8696568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594485$5B11964D-C156-4218-8F3E-90BB2DC23672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10dc965eaeb916ba7c8fbd7e9853e6f5401e7606","datavalue":{"value":{"entity-type":"item","numeric-id":1080422,"id":"Q1080422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade6e632075876d41fcd7fd48ec392ea07128fe1","datavalue":{"value":{"amount":"+0.8674277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594485$07332E64-7C50-46B1-8713-68A44E505AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039f7daad8d34e6c8ea6da9ff3d643960ac3a574","datavalue":{"value":{"entity-type":"item","numeric-id":3025192,"id":"Q3025192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2e19fcb05cbb09d22d056f53862e8bafc582a2","datavalue":{"value":{"amount":"+0.8629958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594485$E87ED785-62EC-4621-AEBD-FB4F71076230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa127f910231119fab64e7cc4cf1642f1d242e7","datavalue":{"value":{"entity-type":"item","numeric-id":2425348,"id":"Q2425348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"018c51f8e239f8e47ad9e8a626f6724c509ab897","datavalue":{"value":{"amount":"+0.8624712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594485$31B1D5E6-3352-4A14-888E-A16B1FFD93C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c4c056f5b7980e481a8cd2f1203de9243ef4a0","datavalue":{"value":{"entity-type":"item","numeric-id":1896613,"id":"Q1896613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01bcc08044bdef3aa6b8f02c544e74a5348eac97","datavalue":{"value":{"amount":"+0.85824466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594485$5C5D3D51-379A-413F-9B48-355A4448F829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d187d910208577abd936f01cb64902499df1ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3220584,"id":"Q3220584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"353063a71e77d3afbd91c2689bbbead02b6f3b74","datavalue":{"value":{"amount":"+0.8513755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594485$B7B012E8-B8CF-452B-AC5F-7D1CE18A62E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eee20e7c8183191b987c0c8a2f8d6f53699e684","datavalue":{"value":{"entity-type":"item","numeric-id":4895414,"id":"Q4895414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3a0c37e898edd516141d36c89c067f44c1f829","datavalue":{"value":{"amount":"+0.848032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3594485$7639AF7B-0862-4AD7-99BE-8F19CA4AE47E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3594485","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3594485"}}}}}