{"entities":{"Q3583021":{"pageid":5612925,"ns":120,"title":"Item:Q3583021","lastrevid":80888177,"modified":"2026-05-06T17:13:49Z","type":"item","id":"Q3583021","labels":{"en":{"language":"en","value":"Setoids and universes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774836"}},"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":"Q3583021$D6AD6959-CB84-4165-84C7-52983923C47E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c43dad56bb14d2ae20dfc5a963f0b8b988b89b00","datavalue":{"value":{"text":"Setoids and universes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3583021$4A10DB40-F05E-48FE-942A-0D5BDEDE58C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d24cf218bd63674f3753c6108bc637029f43105","datavalue":{"value":"1204.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583021$1209AF7A-17CF-4271-B729-FFE094DF5F92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a178b15d7013f2d8b6470b951ddb8049a7a0e320","datavalue":{"value":"10.1017/S0960129510000071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583021$F6539855-4192-434D-9656-84A8D4413E8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"470af776680d8f181e37f3574e1e95499ca46e5f","datavalue":{"value":{"entity-type":"item","numeric-id":2921122,"id":"Q2921122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583021$A144FC1C-8B7C-443B-BB6C-93EEB1C5D057","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":"Q3583021$B39C7E84-33D9-4C1E-A639-D3C3866DCC5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a52a4b791660afbc47d46818319067bdcb5a1cd9","datavalue":{"value":{"time":"+2010-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3583021$C2D2C019-B3DF-4D89-9A08-383462372737","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583021$EEB9DBC9-42A4-46E3-8F93-C0188378279E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60e3d08b7eb9ef626bda688ba2574774943b6c59","datavalue":{"value":"5774836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583021$A1AE53B1-26EA-4831-8412-30EF1F4F1A88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f0d14f55e08851d825f5b16fda0bfdec6f81d0b","datavalue":{"value":"category of setoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583021$2969658E-426E-438F-B696-432B3DA6C133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583021$896DF6D9-C398-4E3D-9D4D-AE12A64134F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c011947f9f36d08ae9462d770a3e4c5fd0a67f","datavalue":{"value":"disjoint sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583021$D58267CB-2F5F-41D9-B933-E26890B4844E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2623482d506ba9b0910ea240cae9555481970203","datavalue":{"value":"epimorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583021$5811DC4A-61C7-4B8C-89E5-5A2378E3EE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd41555c36e85788c161b8a1a65592855b0ab89d","datavalue":{"value":"minimal type universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583021$A8014149-4150-42B4-AAB6-DE48026C2BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4ea14a753c4c46db3704ceac154670a93e59db5","datavalue":{"value":"Logical Framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583021$D73EA85C-0961-4621-8F70-682F728A5308","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":"Q3583021$61FD55D3-E923-4229-A950-D00CFFAFB691","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"208278dd27f21bde5c0e15c6d5426a30e4bca82e","datavalue":{"value":{"entity-type":"item","numeric-id":1032635,"id":"Q1032635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583021$A8A8875A-0DF3-4775-9C3C-0F2A5849413C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c6b91a5ebb86a2b4a685975db0e12cc02e075b","datavalue":{"value":{"entity-type":"item","numeric-id":3371526,"id":"Q3371526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583021$CA3D660D-73D0-4886-9C10-F105AA78BF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44101f4e1267528c969b0f652ba771cb3fdf1d6a","datavalue":{"value":{"entity-type":"item","numeric-id":4405694,"id":"Q4405694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583021$F8C8D9A1-208D-47E6-A7B3-F6E7BC7A764B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f5807c54292f749173baaae44be0dc10e3ad3e","datavalue":{"value":{"entity-type":"item","numeric-id":908912,"id":"Q908912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583021$0CFE5070-3363-4090-A4F7-BC41808B40ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583021$AEE119AC-3BDC-4C42-BE79-6199583D7D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350ef9fe375473cd4e9d8eebad8754055372f7e7","datavalue":{"value":{"entity-type":"item","numeric-id":3809795,"id":"Q3809795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583021$992692C2-03D3-4EE3-A5EE-38A5DA5A385C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583021$473DD7F0-0314-4A49-83A7-40C75ABE20D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583021$60AF95DD-50C5-432B-8FA7-399995808C4B","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":"Q3583021$445EC4B9-EE59-4F74-A03B-A39ECC722490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474289dd9e25ee23fc3092151775a30e7a4f9c3","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583021$A17702C8-5DD3-4A93-B92A-D62B82151B38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ccf95465d689e046aafaf5d5b4b39bf8eb579ca","datavalue":{"value":"https://doi.org/10.1017/s0960129510000071","type":"string"},"datatype":"url"},"type":"statement","id":"Q3583021$E183E8BC-8F68-431D-A712-430D07DF4DAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3475fc8d5195dca10b1985abbb77f6b54cc68c5b","datavalue":{"value":"W2130016344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583021$A6504D94-FEA6-44B0-B01A-37DDB4299959","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1fce09adb870f6abe427a2bee17cef95346f5a","datavalue":{"value":{"entity-type":"item","numeric-id":4457833,"id":"Q4457833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62cdab29b43431fadfa6733c3b26ea6330855d06","datavalue":{"value":{"amount":"+0.8454614281654358","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":"Q3583021$4DCF53AD-7431-4914-8409-7C8A67E69E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce5ea5ed2738891daceab520080dcf2ade0c158","datavalue":{"value":{"entity-type":"item","numeric-id":3225739,"id":"Q3225739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f32258050aa723192876493a9b86d88e11df95b","datavalue":{"value":{"amount":"+0.783393919467926","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":"Q3583021$13469197-7D8B-457A-9C98-D17A4DFFF449","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":"489f2c633439ff05a962d19eb10457ec6d59fa11","datavalue":{"value":{"amount":"+0.778043270111084","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":"Q3583021$A0A8B21D-86B1-4311-A3FB-48BDB1046DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2051e99841f6b9cec7f566b75fdc0b6d66f9139f","datavalue":{"value":{"entity-type":"item","numeric-id":5155691,"id":"Q5155691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865c2a5f3d255b122b5dd323974a5b8a4769b4f2","datavalue":{"value":{"amount":"+0.7571008801460266","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":"Q3583021$174320D3-389E-4FE5-8E5E-59013EAC3D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1141a5de5fa0a2e051608eadb67fd39b9457b6","datavalue":{"value":{"entity-type":"item","numeric-id":512135,"id":"Q512135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437a1b9ef70249f412f78180be8377d109b06ed6","datavalue":{"value":{"amount":"+0.7420153617858887","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":"Q3583021$E3CDD8C8-97CB-4FE6-B8D7-6D8C4BEEE93A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Setoids and universes","badges":[]}}}}}