{"entities":{"Q1923804":{"pageid":1934546,"ns":120,"title":"Item:Q1923804","lastrevid":69313536,"modified":"2026-04-13T06:10:23Z","type":"item","id":"Q1923804","labels":{"en":{"language":"en","value":"Generalized logic and the representation of rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 934060"}},"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":"Q1923804$92ACC158-409A-44D0-B029-99E65033204C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd7f88fc5f975f7f410640d4b9a8b59a4f9d4994","datavalue":{"value":{"text":"Generalized logic and the representation of rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1923804$52CE2840-3BA8-4D65-AC05-38C81BD27101","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14b4970de42e1ee68cee0f7b312208bedc7ada72","datavalue":{"value":"0856.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923804$035176C6-AF7C-4738-9E17-AAF8113D4D88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce92501833ccd177ee3fea3c315d3acf54871c55","datavalue":{"value":"10.1007/BF00122257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923804$C9DC3255-4E09-45C6-B407-78CD3310520B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09dd3c96e1e6b9d594d4b38ca2de4ecc7417fe21","datavalue":{"value":{"entity-type":"item","numeric-id":671984,"id":"Q671984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$088741DF-7726-4B28-BF0B-225F0684A505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5841e30d276f70a603baea30d0177c364166a057","datavalue":{"value":{"entity-type":"item","numeric-id":338224,"id":"Q338224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$8BCA3EC9-64B1-4786-BDBE-F11FF78B64E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$55F9E40A-E09B-4966-8748-4D30A4B58DFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"820ac7d451e2cf6da196b3ae720534c2607f7877","datavalue":{"value":{"time":"+1996-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1923804$E4C8D941-FC60-4646-89C8-FFE3585A6029","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7839d555dec9a1132fc7df514c0ac065fa984c1d","datavalue":{"value":"Various authors considered weaker and weaker logics and, in particular, studied ``quantale-valued sets'' (equivalently, ``sheaves over a quantale''). The authors introduce ``quantic sheaves'' using some ideas from enriched category theory to motivate a quantic sheaf. If a localic subquantale of \\(Q\\) is given, it turns out that a quantic sheaf over \\(Q\\) gives a sheaf in the usual sense. As an application, the authors derive some sheaf representations for commutative rings including the Pierce representation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923804$F1710C23-4E9D-4022-BA3F-06660E4C7902","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923804$906E773A-BD78-45FE-90BE-5909F4CC2707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923804$03AA820C-1E17-4DA3-A3AF-8F6E3EBAE5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923804$7C22B282-E398-4D7D-94AC-516AD5B62B7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0366985ad3ede155bccd69002208f6095bac4664","datavalue":{"value":"934060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923804$1849B3E7-DFE6-4741-ADD5-D3F57E27FEC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7c5d638482e6f9d53c31fde1f04c3f1aeceed7","datavalue":{"value":"sheaves over a quantale","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923804$662A1F17-20CA-4581-A08A-DB6EC7927DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1eb703677cf04307e7027c285c8a2aa83472f34","datavalue":{"value":"enriched category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923804$1F9A9657-E79F-4874-BDF2-184ED190640C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29d3926c226077e342b6999abc0a23a51466bad9","datavalue":{"value":"quantic sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923804$75778684-9E90-488B-B616-756FD5337F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e87454c465d7f34a3b197d704d9f7a180a97c47f","datavalue":{"value":"localic subquantale","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923804$0D71E4FC-B530-4F7D-B574-5E1E1D21EF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50dc56ef26142b483a1c17c0c31c4be1b388f338","datavalue":{"value":"sheaf representations for commutative rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923804$9BD243AD-D6DC-4476-A217-45D5940E54D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03aa17ee51bcfe9102626c0f8fa0d95ef588e001","datavalue":{"value":"Pierce representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923804$70DA6B27-199B-46D2-828C-A50041F76741","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c4beddb8c3a397ec1a32cde4ab4efaf5dd75967","datavalue":{"value":{"entity-type":"item","numeric-id":175797,"id":"Q175797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$B6AE5D66-8204-418A-A225-BA81E92C732F","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":"Q1923804$A374ECF0-9490-49C2-B075-27B6C03EA7F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a3e997f3664d7da379f9a3a0f38a1462ddf5e30","datavalue":{"value":{"entity-type":"item","numeric-id":1825950,"id":"Q1825950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$2EB9C47E-0A15-4D38-AEAA-8ECB9E3DDDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc9167f41d7c79aa930ecf78f7e94ada0e17710","datavalue":{"value":{"entity-type":"item","numeric-id":1055870,"id":"Q1055870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$4397682D-7FA5-4ED9-A3EF-8F69C2F8CFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c009555757066d2e95d26b67bf700216b48841eb","datavalue":{"value":{"entity-type":"item","numeric-id":1077521,"id":"Q1077521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$2D018D64-4FA2-48DC-BAE0-727061B891E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15d5d5717cb6c7020c00d83858210dcb2e026ef","datavalue":{"value":{"entity-type":"item","numeric-id":3978967,"id":"Q3978967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$7F5E3B2E-E8D1-4858-87C4-62A4391A434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba3f21bb8e106e4ffa01797e9e2a039ac2382f9","datavalue":{"value":{"entity-type":"item","numeric-id":4152680,"id":"Q4152680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$C3D3B8CF-8E54-4DC5-AA92-BF44AD6143BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$CF1830A2-ADB1-40EA-A6F0-3D93DA9747FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$DEB44BB0-9B46-4579-B84C-0059250E9D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$B000AA07-BC50-4BDF-9B95-A3BECF3D1EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10007d57a27174da514e148071ec5d327d24921","datavalue":{"value":{"entity-type":"item","numeric-id":4836222,"id":"Q4836222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$14699896-2C52-4C5B-877C-7BFDB040B3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$2A4063BA-AA67-4A54-A5F7-9EDAEC128878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1206ced8c3a6aa4db69f31a637ddf84ef9a766cb","datavalue":{"value":{"entity-type":"item","numeric-id":3035667,"id":"Q3035667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$05E1A3BE-9A63-4F59-BB2C-ACC9FA75A065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c5e78257ebf9674aebc49182143b4c67d8fde2","datavalue":{"value":{"entity-type":"item","numeric-id":1170605,"id":"Q1170605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923804$F8E3E5E4-04E0-4E87-9A01-6465C4FEE216","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5b9a2faabccfcd92cea6f8b5f5144781a16c267","datavalue":{"value":"https://doi.org/10.1007/bf00122257","type":"string"},"datatype":"url"},"type":"statement","id":"Q1923804$2E4A919A-3440-471F-9BD0-0DC3891CF0E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"532f3fd6aa75f37f8ab4b1bc8a92dc7e3280defd","datavalue":{"value":"W2086288500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923804$D29C0CE2-C97E-410E-A40A-4703ACCB3C14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425086211370e6123f172ac8cab3f5e827dc2467","datavalue":{"value":{"entity-type":"item","numeric-id":3978967,"id":"Q3978967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905c52650edb52593b850c9147242347f5a78abf","datavalue":{"value":{"amount":"+0.8680511713027954","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":"Q1923804$1A31BE1A-9ECB-4302-A9A9-2B1B61867410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f67fd6800d20e97af61c113c87f2fd610bcbb134","datavalue":{"value":{"entity-type":"item","numeric-id":1909227,"id":"Q1909227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db27fcef9270385da1f435a95d3f4dc020454ac1","datavalue":{"value":{"amount":"+0.8410835266113281","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":"Q1923804$9678001B-C5C2-4891-9171-CC305E667409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cec0f7cd1696933ef59b88cb81681e61bf60a79","datavalue":{"value":{"entity-type":"item","numeric-id":4861181,"id":"Q4861181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9943b9b7f0054d78075e6e369d363056b9893b08","datavalue":{"value":{"amount":"+0.8116698861122131","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":"Q1923804$005F17F2-6D22-4F93-86E7-CD20A12F849C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized logic and the representation of rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_logic_and_the_representation_of_rings"}}}}}