{"entities":{"Q6859998":{"pageid":20656621,"ns":120,"title":"Item:Q6859998","lastrevid":84252251,"modified":"2026-05-14T05:36:52Z","type":"item","id":"Q6859998","labels":{"en":{"language":"en","value":"Conway normal form: bridging approaches for comprehensive formalization of surreal numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158270"}},"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":"Q6859998$06A1BC8C-8D71-4B2A-96D7-8A0A3D97E5DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58f2da8c17b9b965e6b6d6ded328f4eb5da17a1b","datavalue":{"value":{"text":"Conway normal form: bridging approaches for comprehensive formalization of surreal numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859998$0EF74E21-5217-4ED6-899E-7F2980E4028D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4594aad43b3b37b90d90577f615ca8f929c81bcf","datavalue":{"value":"10.4230/LIPICS.ITP.2024.29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859998$BB735BAF-4B01-4853-BC64-E8D7C0BCE413","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91705e7e82173950109985f05602a2e2cc8516e0","datavalue":{"value":{"entity-type":"item","numeric-id":286804,"id":"Q286804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$73195528-0D25-4BDC-9756-3EDC2EB8975F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$54DDE0E7-F1D2-4890-99DA-2250A214A9F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859998$7EEAA2F1-D548-48A1-8ADC-BFFE2E368D3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859998$1B133BB3-5CD3-4046-86A6-616039FBA05F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cbef4ab6bcf672c4368ef189b53c91a95abb492","datavalue":{"value":"8158270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859998$9E0DA028-B74E-436A-9591-B12C3725B274","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$EDD3BB26-E066-43C3-A8CB-A17540B2AF1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a24fc428fcac400b80e64acef29cdbe984ede493","datavalue":{"value":"surreal numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859998$BBFC1F9B-4CFC-4088-9DD9-F3FFDEAAD46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3ef45906e34b8161fe58b6cf923a83340433bd","datavalue":{"value":"Conway normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859998$299F281A-9DB8-4938-B584-F54A72354B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859998$06A5CDBF-8F2D-4FBD-8D29-720063AB093A","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":"Q6859998$8B66B1AC-7C86-4D2C-B80C-6C2E694C337D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$E2C7EA89-D465-48F5-8BFF-8BD5B825BD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5552c73af9ffa4d08773105bfa675feb6642eb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$1FAB5ADB-2AEA-4405-80FA-99C696312011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e05ea58f62da680934df3cc5014ef80a73299db","datavalue":{"value":{"entity-type":"item","numeric-id":2287897,"id":"Q2287897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$B74036B5-DCFF-478C-9B64-E37580F2B146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab3bdd7d7fbfac1006a4b16e8a3687950389993","datavalue":{"value":{"entity-type":"item","numeric-id":4099541,"id":"Q4099541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$5F08ACE7-6BCC-4A99-944A-9B8DE907F7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$48104214-C9FB-4FA7-9706-EB8B4064A66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8752b80727099e1c1c3bc8701340718ba52d3167","datavalue":{"value":{"entity-type":"item","numeric-id":5388756,"id":"Q5388756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$5A7A809C-B9F9-4146-9CA9-2FA492BCE20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7555380326de223c72846c8864ec62468f44284","datavalue":{"value":{"entity-type":"item","numeric-id":2758056,"id":"Q2758056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$F57A1C6A-9C3D-4BAD-8459-4AE4502CAE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a0c3c6f549fef872f3d5c92d075f746df98a8f3","datavalue":{"value":{"entity-type":"item","numeric-id":6643025,"id":"Q6643025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$74B0BE68-1BA7-4251-9C69-5BEF0B86E3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d861948f1f6146a05d3ce13e4c51b6e0c074be1f","datavalue":{"value":{"entity-type":"item","numeric-id":286794,"id":"Q286794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$4167347A-6EF1-441E-B055-CB1A51184540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3664b6907ca78dcc7471c19ca41bf9ba07ff81c","datavalue":{"value":{"entity-type":"item","numeric-id":2323445,"id":"Q2323445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$1A18F7BF-1BB8-49ED-A1A1-8F268A134F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e377bfbac7132afa88fbe7de0f6d8c957dd8eee","datavalue":{"value":{"entity-type":"item","numeric-id":2337334,"id":"Q2337334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$64BAA2DE-6136-410B-B8AE-283695761346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90aec1fa16a2875d6dacdd0df9318937dd523868","datavalue":{"value":{"entity-type":"item","numeric-id":5897606,"id":"Q5897606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$3E809C5F-034F-4D15-963F-CE42516E6AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117417c2308297022263a5c00d40f19549b2d12d","datavalue":{"value":{"entity-type":"item","numeric-id":2865734,"id":"Q2865734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$FA6B5CD9-10B5-40DB-86EF-D5FAB50485AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c2de221e3b126781b22b880228fcab371b66f0","datavalue":{"value":{"entity-type":"item","numeric-id":3525155,"id":"Q3525155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$593B4E1E-0E9F-41B9-9494-4003EE7B805A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$8C594F86-09E1-46AC-A31B-A8E2EE42DB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e44857583b82da7d197e199bf768788d23c8605","datavalue":{"value":{"entity-type":"item","numeric-id":6557120,"id":"Q6557120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$79F7D23B-153E-4339-84E1-1788942FD33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9754511697232b2cd8294ec644a9debc53e645b6","datavalue":{"value":{"entity-type":"item","numeric-id":6557121,"id":"Q6557121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$53FFE167-4A0B-4DCC-88EF-87A255F8D39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a8bb0f51ec7d72ff453aaaf0395a7b99c36d761","datavalue":{"value":{"entity-type":"item","numeric-id":6557122,"id":"Q6557122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$E4DFE95A-9AB7-432E-BE53-091A17ACA9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a3e3b72eb3e932bcf8a41d95895654aee6ca025","datavalue":{"value":{"entity-type":"item","numeric-id":5757083,"id":"Q5757083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859998$51AF47D5-C3F1-4A57-89F8-3B7BE03F4764","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conway normal form: bridging approaches for comprehensive formalization of surreal numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conway_normal_form:_bridging_approaches_for_comprehensive_formalization_of_surreal_numbers"}}}}}