{"entities":{"Q517754":{"pageid":519521,"ns":120,"title":"Item:Q517754","lastrevid":62437566,"modified":"2026-04-11T06:05:31Z","type":"item","id":"Q517754","labels":{"en":{"language":"en","value":"On the equivalence of types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6697277"}},"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":"Q517754$2E2855D2-0326-4C05-ABA5-4FEC02F1845B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88833be1f603a7f8a9328a3d74ae75330eff1aa4","datavalue":{"value":{"text":"On the equivalence of types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q517754$33CA3F2A-B649-468F-A957-F72704A7F585","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a6168d3e1821d476baa8c4bed45fd40091233dc","datavalue":{"value":"1409.11101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517754$9D3B59B3-656D-4CB2-AAB5-703185570077","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2af5fe3b27a04082f1eae9cf17090e68be06cc07","datavalue":{"value":{"entity-type":"item","numeric-id":194678,"id":"Q194678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$4559DD88-F1E6-40D6-B693-2D0EB0982A75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c01ba169ca375d5ccf72931ef78a5ebdac83a826","datavalue":{"value":{"time":"+2017-03-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":"Q517754$82E97B69-A019-4451-AA50-67F1B6EAF2CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de65bd8a95b798cca9b17513fe0167023fe36c93","datavalue":{"value":"https://arxiv.org/abs/1409.4345","type":"string"},"datatype":"url"},"type":"statement","id":"Q517754$3BFAD605-D130-4484-99ED-EC6E3E6BB974","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a470ca3704d22da637e23b90becb1551cee1a253","datavalue":{"value":"11S05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517754$C525D515-3954-4D8C-8C06-0A6A31E55822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517754$27353D89-B735-40DA-B6DE-BDDE8032D730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d379f1f3728661c9d77f930d729b891dd925754","datavalue":{"value":"11Y40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517754$3A0B05FB-D80A-4980-A916-E95D51977DD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8c5afabbe53dfbfa6cf51cb309ba5265025c620","datavalue":{"value":"6697277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517754$DEFA606C-8FF3-4BF6-97D5-A775B51C6901","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80fddef7ee9b89458eb74a656e66ac96cfe65785","datavalue":{"value":"inductive valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q517754$C4B5771F-F35E-4F58-BF05-E8D875913DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f91595bf0bc62aba4149d3d5ad1cfad8a8cd43dd","datavalue":{"value":"MacLane chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q517754$1F1187AD-FF66-4F35-B072-132591A433E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a7ce28e1af7609b2eaf998ed46ff5537ee68cf","datavalue":{"value":"Newton polygon","type":"string"},"datatype":"string"},"type":"statement","id":"Q517754$153031F4-2FF1-4C6C-89CD-C676379811BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f318db2d7b05a39559257b85d2e473a065ecccd","datavalue":{"value":"residual polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q517754$F9EE71E2-0E18-4555-8B3D-3DB84F6367B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q517754$C613B487-390B-40BE-B96D-66F9FFB44DE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cfac2e69d26f64ad1fe09d32e0d9b6680616d4d","datavalue":{"value":{"entity-type":"item","numeric-id":591450,"id":"Q591450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$CCF1EB4F-1EC4-4F21-A76F-EC9F3A02799E","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":"Q517754$F8EC06C8-FA4A-4DEC-AB59-45765B8D7B3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e34ddfbdffbae127f003bdf6cffbe7d548957e7","datavalue":{"value":"W3008149845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517754$CA16D971-353C-4A23-A77D-FA84B1530ED4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e76b2f1ee2df8568b4aa4fa72cebf8bfb496e8","datavalue":{"value":{"entity-type":"item","numeric-id":2259148,"id":"Q2259148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$D90C59A2-D207-42F5-A35B-5B2C6BDC8869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5726d0617ac3fc4386c1b83f15b11133063782b7","datavalue":{"value":{"entity-type":"item","numeric-id":3066606,"id":"Q3066606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$556238A9-C8A3-40EF-AF0F-8D79FCA98F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d529071e9a85446a0687a8192d1be2b242dc2c2","datavalue":{"value":{"entity-type":"item","numeric-id":449717,"id":"Q449717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$601F44A7-0921-4DA3-A59B-3F8F361F3814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f98436af737d35f4ad641912dbc4f47232f32e","datavalue":{"value":{"entity-type":"item","numeric-id":5388828,"id":"Q5388828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$040EACF2-E4B7-43EB-8429-3F4BC6F87338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35f92344cf4e30400781be4e2fe79c369c94726","datavalue":{"value":{"entity-type":"item","numeric-id":385455,"id":"Q385455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$9DA5E35F-BA86-424B-9E35-9FDBD6026025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80cb69781650a96955176b1ebe7befe3bc799e54","datavalue":{"value":{"entity-type":"item","numeric-id":472859,"id":"Q472859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$1E9D72FF-BD75-4303-A437-27F340625DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6014ecf2a0aed7038bb64489e8751c03c4827adf","datavalue":{"value":{"entity-type":"item","numeric-id":2811795,"id":"Q2811795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$164F2BF2-985A-4101-BD9A-C3CD00A038D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bab0dbc66e49241fbc0e4f0db18cda42d693a10","datavalue":{"value":{"entity-type":"item","numeric-id":438687,"id":"Q438687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$859379CF-2E72-421D-9DB0-61A5B9C875BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe616e47bb447818737f6955e4a7589a8568eb8","datavalue":{"value":{"entity-type":"item","numeric-id":2645361,"id":"Q2645361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$FE592A3C-BA3C-42BD-8A4A-01FF10E8E117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439942f9e749aa45df60aa50857126aaa4db5602","datavalue":{"value":{"entity-type":"item","numeric-id":5764594,"id":"Q5764594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$DDF3B20E-27A8-466C-808D-41C9EF3942CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9cfdebec33028671c0b059ad275f69967b063d7","datavalue":{"value":{"entity-type":"item","numeric-id":5401713,"id":"Q5401713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$EF359E6C-6375-47BB-A795-84AD20C21C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b8481c2def93eb6af895b5d8286e74e06c5940","datavalue":{"value":{"entity-type":"item","numeric-id":1055824,"id":"Q1055824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$8BBF4179-4EEC-45B3-AD38-32CAC46905AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35105c6561097f79ad7d0dd44a9c7dc9a7ad19df","datavalue":{"value":{"entity-type":"item","numeric-id":3431222,"id":"Q3431222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517754$0B7AE740-CC91-4AB1-A375-F7003C405844","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b26a96ba94c7d48f605e1983dbd65f1d9f3e8c16","datavalue":{"value":"10.5802/JTNB.962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517754$CE655FD2-5427-4344-809F-EC9A131B0B4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18afe9756ed76622c8203c2c1b0f977a834d1462","datavalue":{"value":{"entity-type":"item","numeric-id":4717494,"id":"Q4717494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0622d3fe8fb892c08b8b28e82009e0884bb1f75a","datavalue":{"value":{"amount":"+0.6824640035629272","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":"Q517754$F252C86F-E10E-48C2-8644-50126A927942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7662d7293092205de7e6a9f73debc64ce586e6","datavalue":{"value":{"entity-type":"item","numeric-id":2811795,"id":"Q2811795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ecc0206d8dad5676a8df8ca7271c478781670e6","datavalue":{"value":{"amount":"+0.682295024394989","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":"Q517754$691DA916-B63B-482D-90EA-606056098ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e568226254bc4437dc54e195a2cb4ce152fbe85","datavalue":{"value":{"entity-type":"item","numeric-id":3478393,"id":"Q3478393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d115b9a5858f11c93f2aaef05836fd54ecb5d3","datavalue":{"value":{"amount":"+0.6731747388839722","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":"Q517754$71A284EB-98BF-4714-A3F8-E7FB52860626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4dd24182a7fcd43f9b6f22c9484b87e0ab6a121","datavalue":{"value":{"entity-type":"item","numeric-id":2793905,"id":"Q2793905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32483527752ae164e7ca2a4e55bb26cf106d7c72","datavalue":{"value":{"amount":"+0.6636432409286499","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":"Q517754$FFE5D108-9245-44DF-BA83-B79C02BC2FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2505969da3e0173ce23d73f56bd1f45b534f377","datavalue":{"value":{"entity-type":"item","numeric-id":1898684,"id":"Q1898684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb431ef576e79955e3ca4ea4a636ecd823fe081","datavalue":{"value":{"amount":"+0.6607288718223572","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":"Q517754$7448AF1C-F6C0-46B3-965B-7D43D50E7B5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the equivalence of types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_equivalence_of_types"}}}}}