{"entities":{"Q3325726":{"pageid":3336434,"ns":120,"title":"Item:Q3325726","lastrevid":45966280,"modified":"2025-12-21T02:20:50Z","type":"item","id":"Q3325726","labels":{"en":{"language":"en","value":"A proof of the associated sheaf theorem by means of categorical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3857109"}},"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":"Q3325726$2DCDFFEE-ADA1-4729-9595-93927B8D287A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b563b116cd8d5b9397ca892d28a6866870c1fa1","datavalue":{"value":{"text":"A proof of the associated sheaf theorem by means of categorical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3325726$775DF345-42FF-4AA5-8192-0F594A64FD42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18dc2c74ba990748953320ee1d133ce6bd125fac","datavalue":{"value":"0539.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325726$B7181014-4340-4A2E-B9FC-9B83A367F967","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"072cbf471c6bb47f0738b570819489632c81b5b5","datavalue":{"value":"10.2307/2273255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325726$8F78ABE6-A774-4D11-ACA0-0C59767463B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1321a35b3f31a9e8f54c65aa9ab2c9805f06c16f","datavalue":{"value":{"entity-type":"item","numeric-id":1095242,"id":"Q1095242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3325726$8B2D7712-BA56-492D-B955-5F2A1C9C46EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3325726$ADE6A78C-F4BD-4C18-A376-73227D63D1D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3325726$D81E0CF6-B85B-491E-AE2D-7B3D3501AC35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325726$09FDBADE-AF06-460C-8A4B-67ED0548C2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325726$301944CB-59D5-4F03-AFDF-9EB9A837BC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325726$4C5F9B3B-5B3A-49B5-88A0-B11FF5C94650","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29fbb5dbd1c2883fc8dca4db2dee6ed7f69434fe","datavalue":{"value":"3857109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325726$FDE682F9-D7A6-431D-930A-A3E8648E35F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72d64df3a1721b32d7e9b0d781271365735d2275","datavalue":{"value":"construction of the associated sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325726$BAD597C1-7D5D-4A5F-9847-725A1B9F6A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a8e51f4d9801c128054944bad82901bd7ad261","datavalue":{"value":"elementary topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325726$30DC5225-73FF-4CAD-85C3-9C15F18833F2","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":"Q3325726$23C015BD-7003-48D0-8BCE-D060E37D23F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95ac99de239039391aa30721200bdbbfc88c237d","datavalue":{"value":"https://doi.org/10.2307/2273255","type":"string"},"datatype":"url"},"type":"statement","id":"Q3325726$1118036C-05DB-4F27-BDF1-8E8B5A565230","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d55eac9017629cdefce82a9c506817ee554d9bee","datavalue":{"value":"W2152895620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325726$B862ECAA-83FA-4B95-B6A6-5C4B89803856","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3325726$E1D28521-CBD2-4B6C-872E-7E48BCF76E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"724237f70c627a755cb717675f522e142f8e6815","datavalue":{"value":{"entity-type":"item","numeric-id":1845804,"id":"Q1845804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3325726$056F0D3F-EB67-4306-9E44-3E900F096946","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bb96333274397968f08d3eabdbf4b897edbe9f","datavalue":{"value":{"entity-type":"item","numeric-id":958487,"id":"Q958487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a560b71844181b028c094fcadad7f78fbaca79a","datavalue":{"value":{"amount":"+0.89899933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3325726$5E20995B-31D7-4BE6-A5C5-D3A141965FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070564fa5eba188481f1d3a0f97098b27166c898","datavalue":{"value":{"entity-type":"item","numeric-id":5437177,"id":"Q5437177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c8ef2f860a6087fa4f1d292b69da1443cab09f","datavalue":{"value":{"amount":"+0.8909936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3325726$AC7CB913-58A5-4C73-B72F-FD5F69BECDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4271bbf63b6608c480e6214ad21e081a8ccd519","datavalue":{"value":{"entity-type":"item","numeric-id":3372727,"id":"Q3372727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e1c185fbcd73b791d1cd50ae2efd1228af5708","datavalue":{"value":{"amount":"+0.87869817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3325726$A92199B1-D9F0-4C2D-B1A1-79CD9A333C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b56b6ebbc7584ed3c84acfa2c0654088f6fa374","datavalue":{"value":{"entity-type":"item","numeric-id":3822163,"id":"Q3822163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f66d909df300dcc3c51af91871d04af7c0284d74","datavalue":{"value":{"amount":"+0.8779733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3325726$BF19F58D-227C-4799-8685-9A3D6AA4F4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3657d58982503bae2e15235076274c79bcc63b12","datavalue":{"value":{"entity-type":"item","numeric-id":3487454,"id":"Q3487454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda07b1b3f573f4eea5d1f72bebe0b0d6da86a19","datavalue":{"value":{"amount":"+0.87325394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3325726$5B738356-F576-41BC-868D-1B34D2B2476C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae89b6fe2fcc9b6c72128a35539891e81f9d02a8","datavalue":{"value":{"entity-type":"item","numeric-id":6488555,"id":"Q6488555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b533ff2bc026ccfd9ceb073574dc7032b9c359d","datavalue":{"value":{"amount":"+0.8721719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3325726$7F0A56A6-2C64-4260-B8DD-218EB8058B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cda0904b771351f6e2ff4b0bcd509b33703fa3","datavalue":{"value":{"entity-type":"item","numeric-id":3976480,"id":"Q3976480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f8a6c1e3c24e96944dfb9685438398550e7285","datavalue":{"value":{"amount":"+0.8718972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3325726$54480A7D-1CAE-4DEF-8639-932D4C6068B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ace11a73ca96b846b24c2c90f72f59c4e5d62f3","datavalue":{"value":{"entity-type":"item","numeric-id":644769,"id":"Q644769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21b3bdb08ee92b54d38bec460036900f37730a0","datavalue":{"value":{"amount":"+0.8705007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3325726$48779878-4F80-46C0-9E45-4605EFE9327A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b9ee029bcab984b5dd0f87b579a02d7de66a870","datavalue":{"value":{"entity-type":"item","numeric-id":2576459,"id":"Q2576459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e361b0eb7bb4c3e8fdf68036a5276014c6c50eab","datavalue":{"value":{"amount":"+0.86804724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3325726$C1F1FE4B-30E4-4FF5-A73F-BAD88A57F73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691f66553f59a878750ebf758c0e17d43024bc2b","datavalue":{"value":{"entity-type":"item","numeric-id":2981746,"id":"Q2981746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313b6b7114e10a5f7117e99a3e026d46a856b82d","datavalue":{"value":{"amount":"+0.8680134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3325726$7DDFE30E-0099-4E2F-BCF5-230A8B0BAFB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3325726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3325726"}}}}}