{"entities":{"Q5740654":{"pageid":7770206,"ns":120,"title":"Item:Q5740654","lastrevid":58597104,"modified":"2026-04-05T22:34:07Z","type":"item","id":"Q5740654","labels":{"en":{"language":"en","value":"A univalent formalization of the \\(p\\)-adic numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606940"}},"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":"Q5740654$E09B30D8-D85A-41F7-BBB9-C46A2FAB5633","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"950ec15678f2e511edf8a91ce5769614010cef39","datavalue":{"value":{"text":"A univalent formalization of the <i>p</i>-adic numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740654$87219DD1-C708-4D4C-907B-820EE6B948A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0c5fb73158e555d159466acc7108c68dce086e1","datavalue":{"value":"1361.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740654$26FDF52D-F6E5-48F3-80E3-65C4767361E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1f872c817ffe2fbf31df1f3e9916c7d84076a87","datavalue":{"value":"10.1017/S0960129514000541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740654$159C947E-22FE-45B6-999A-5AED96BD306E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40eb1a83c641bbc11636ab2aa4ca6b718091c3a6","datavalue":{"value":{"entity-type":"item","numeric-id":261444,"id":"Q261444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$439F18B9-723E-4F80-8360-D2741CA91AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c8bbac3c2d1ca09e76202553b05458d0e708962","datavalue":{"value":{"entity-type":"item","numeric-id":177922,"id":"Q177922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$543F03F8-099F-4739-8491-720427011344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d66395a61e36954022b73f8489c75bb54138f1cc","datavalue":{"value":{"entity-type":"item","numeric-id":385802,"id":"Q385802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$E03647DF-FA38-4C9F-B578-91B7FFF91E50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$F0DD8AEB-6984-4F13-BE3F-B0E1AF17D7BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8fcfc88af95aea3cd67fc84c40dc96dff0f00ab","datavalue":{"value":{"time":"+2016-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740654$E3D63FE4-28D7-4C65-AE29-CA864E397CBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"689c3d34b4c4be644c85915ceccce3146ab5470d","datavalue":{"value":"https://arxiv.org/abs/1302.1207","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740654$4BE52747-5CCA-4F6C-BA5C-A0EF00A53B27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740654$8E4AF2CC-5EC5-4152-A33A-4CD4CE6352C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740654$55CBD3D5-703A-4A0C-903A-090F7AC33412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740654$1390C3E4-21C1-4A54-99F2-70EEAFDD0703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740654$D7D36759-62F7-4367-8BB6-26958C95C7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2db7c2ef637f895a1617542f6fec055c0c00e7f5","datavalue":{"value":"11S80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740654$E81B2B45-8C51-4A15-8377-5FCE9D5AA030","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb70e9a258e896d3581f04e0001fd5b91be0088b","datavalue":{"value":"6606940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740654$B688AA1A-0BC4-4FE7-9FE5-ECDECB4943F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$0DF70458-9A92-44C3-9537-EFC0C97DBB01","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":"Q5740654$5366127B-C856-4FC1-9E75-F5504A4B0B67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbb5a149c4e3749d077abb2aafd6dc1e1261443","datavalue":{"value":{"entity-type":"item","numeric-id":1173319,"id":"Q1173319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$FA874C79-90E9-49FB-8FFA-1B0FE8842BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$EFDAED39-40AE-4A3E-8B00-282BF3EE5A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$F077089A-9CDE-4238-B30A-B1DBDF12E6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926796d743519d081baa874c10629bb4be17ef43","datavalue":{"value":{"entity-type":"item","numeric-id":3346515,"id":"Q3346515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$2922DA27-74B2-4D35-9D5F-67C4AF610EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96377b1ac4565709a8082df4f621faa884539d98","datavalue":{"value":{"entity-type":"item","numeric-id":3193040,"id":"Q3193040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$23CCECCF-F918-4A7B-95C9-15B6F88DB7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d548dfed93dff4349c90c008b3d572bec6b869b","datavalue":{"value":{"entity-type":"item","numeric-id":2933829,"id":"Q2933829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$4168513D-9EDB-4E68-9259-42BCDDA5E30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01842406e5a45c869ae6b85179d666cfdab3bd19","datavalue":{"value":{"entity-type":"item","numeric-id":5253928,"id":"Q5253928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$4286AC99-2F16-4C50-B7E2-610B225F006B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d56f3590f5e04388d2bb12d26f18523c48ebe4f","datavalue":{"value":{"entity-type":"item","numeric-id":536617,"id":"Q536617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$32CA96D1-CA47-48A7-816E-FE67B1CEED2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b0a4d6d00bf1493a8a4a2a16f019fe13938419b","datavalue":{"value":{"entity-type":"item","numeric-id":3940519,"id":"Q3940519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$05627731-4BB1-4A0B-90DB-B8A0F999B8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c62fe1a343c6d0706818b69e12ddf8a5469943c0","datavalue":{"value":{"entity-type":"item","numeric-id":834801,"id":"Q834801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$2BE8915B-1B37-4293-B0C5-BA0D0A74E4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740654$F702BBE2-0F16-4CF6-A2F0-E12C3B97B989","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a04e0aada142181beaee6846a49e2382bbe224ce","datavalue":{"value":"W2171238335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740654$EF8027F2-447C-4E2A-AB26-DD291D907F13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4d555de13e5ae2c79501d3600bafc8b0ec43cf","datavalue":{"value":{"entity-type":"item","numeric-id":1194243,"id":"Q1194243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d380289d3d2b4755235d10f6f7f09cd7db20d6","datavalue":{"value":{"amount":"+0.7872844934463501","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":"Q5740654$C309A1D0-E8FD-4241-876A-7BAC97316D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9b44095d13cd2bcad82afdc067f0870b5d91e6","datavalue":{"value":{"entity-type":"item","numeric-id":5740657,"id":"Q5740657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f662aadbbd967fc38c3785ff21c6c647ef74c07","datavalue":{"value":{"amount":"+0.7438203692436218","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":"Q5740654$521B3187-B5E9-417E-803E-DB4570D96850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad115848606632ad44e6b964337ceebb569fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":4205515,"id":"Q4205515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbc06911644f74c30667c25b352e4bdc2beb027","datavalue":{"value":{"amount":"+0.7163252830505371","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":"Q5740654$D0889D1C-C65D-4B65-9ABD-10A5375EBF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65768f8958a636131a7db2835586ce8b49eb6d69","datavalue":{"value":{"entity-type":"item","numeric-id":3778912,"id":"Q3778912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c08b48110dbfa119f387d55d7931fe7acdd52e9","datavalue":{"value":{"amount":"+0.7048152089118958","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":"Q5740654$3B43F25D-B32D-48DB-B6E5-4833A22068D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7320effd6b74b39d05b919a835846f87bff5ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5195277,"id":"Q5195277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"379fc7cce012bfbf5a8a13e0356b15e8a380677a","datavalue":{"value":{"amount":"+0.7029374837875366","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":"Q5740654$A4B0265A-EF62-4DA3-B0BE-C0A1BC572A50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740654"}}}}}