{"entities":{"Q5870839":{"pageid":7900390,"ns":120,"title":"Item:Q5870839","lastrevid":58615878,"modified":"2026-04-06T00:43:34Z","type":"item","id":"Q5870839","labels":{"en":{"language":"en","value":"The derivator of setoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7645027"}},"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":"Q5870839$E010E0A7-84D6-427E-9257-9F7E04B721DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2412a22d69ec4cfc8900ae30948136f40ae41afa","datavalue":{"value":"1506.18026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870839$4D47247F-A78A-42BE-AFBA-CA8CF7B8C7E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec988e4b31ab0b3fd008867fb1fbedfd6f4bff","datavalue":{"value":{"entity-type":"item","numeric-id":246332,"id":"Q246332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870839$B031E4D2-4134-440A-987D-B7280991F72E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b55eb1439ef3a3c6707cb36786e753a67d9d02e","datavalue":{"value":{"time":"+2023-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5870839$3D9B3A1D-EF1D-4659-92D0-64A669327904","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff07f9b3ce5c15bde59572476fa519f86eeae343","datavalue":{"value":"https://arxiv.org/abs/2105.08152","type":"string"},"datatype":"url"},"type":"statement","id":"Q5870839$8A07725D-B0FC-4928-863E-A10EFF6867BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9b1e4e2c09d5c859b3e75d1bd796749723a18a0","datavalue":{"value":"http://cahierstgdc.com/wp-content/uploads/2023/01/SHULMAN-LXIV-1.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5870839$82304191-6A7E-4F2C-B7E9-86D07BAD8BE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"befe607509a93d2a536d630fd3a8e8ae944f11b0","datavalue":{"value":"18N40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870839$428E47CA-7A58-452B-ABCC-644259A5E452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0f3ffa02fbe0852fe565f610d0b15773e9be7e1","datavalue":{"value":"18E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870839$51AB8253-22DB-417A-A763-E4F87BA54BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870839$43791939-B690-4D71-996F-C2FFB0B19603","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e83131f9087758854416c40ec513650957e27b2c","datavalue":{"value":"7645027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870839$CAA2D7A5-0D98-414F-820B-D7DA440015CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6108d317cf62f0c923bd76128b61635741ef9095","datavalue":{"value":"derivator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870839$C726C9B7-58B7-444D-B511-0F402811A3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be2dac6ee1773043c25be4969e0e407b4258020","datavalue":{"value":"setoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870839$CA8B1AA9-E45F-4D67-ADCC-DD63F77A9435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da76ae51b8087bf2f5752f13bee7c912e7b935d0","datavalue":{"value":"exact completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870839$19F819A1-DC21-4A67-9B8D-4C4543CFCE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870839$FBA0A773-78A9-482B-9612-41271A3A5EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870839$3B65556A-FFB2-4E15-8878-5A3F94EA2D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe30cce08ae650f959a3d58e477f7faa68e9301","datavalue":{"value":"anafunctor","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870839$FC3ECFAD-91D0-47F6-B9DF-AA0E04AC89A7","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":"Q5870839$8CE65653-65D0-4F5B-98A1-138E5919C981","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51108dc43a7e9917317c1025e2eb333068100411","datavalue":{"value":{"entity-type":"item","numeric-id":5140918,"id":"Q5140918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8ca2177b24b4019998c0a14c47857fc7a98bb5","datavalue":{"value":{"amount":"+0.8006946444511414","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":"Q5870839$F1A0D768-FB0A-48C4-960B-AD8AEAB4C4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43999ffd57b30b38ed56de1ae3879b146bb128b1","datavalue":{"value":{"entity-type":"item","numeric-id":5148098,"id":"Q5148098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646828324d1c50054499a9a9114682ec4ede5145","datavalue":{"value":{"amount":"+0.791374921798706","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":"Q5870839$8FEADB8D-CB8F-4A7E-8129-2DE3B2574519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad0a8802ed2b12b881175f08ffef35f2fbfbd9b","datavalue":{"value":{"entity-type":"item","numeric-id":1748403,"id":"Q1748403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1208f035d5394c6d810357bb1d43ba81095501cb","datavalue":{"value":{"amount":"+0.7828317880630493","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":"Q5870839$D1F1EE71-F829-4424-BDC0-06DAE30CA86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119fc0bd9b24a50f4879867ef374d75d8eaf4446","datavalue":{"value":{"entity-type":"item","numeric-id":2921123,"id":"Q2921123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be3e6ab2223797d4c57f2790d3458261437f17f","datavalue":{"value":{"amount":"+0.7777139544487","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":"Q5870839$B481D9E6-9C1F-4FB0-9552-E921DC422158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a706228b6c271209f9fbf0a364bd9ccf7d1337a","datavalue":{"value":{"entity-type":"item","numeric-id":3646421,"id":"Q3646421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467883446617417c306aa957137222eb574fc9b8","datavalue":{"value":{"amount":"+0.7615192532539368","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":"Q5870839$4D295160-3E4F-411A-AE23-D1B158D3C571","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5870839","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5870839"}}}}}