{"entities":{"Q4276025":{"pageid":6305626,"ns":120,"title":"Item:Q4276025","lastrevid":81622982,"modified":"2026-05-06T18:57:31Z","type":"item","id":"Q4276025","labels":{"en":{"language":"en","value":"Logic, sheaves, and factorization systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 488034"}},"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":"Q4276025$EC389DB3-BB8C-4443-A42A-1C86127FB28A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6c11de95d592b053e7687708d9dac3496151dee","datavalue":{"value":{"text":"Logic, sheaves, and factorization systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4276025$3CE36C1C-5AA5-4A9A-A0C3-0D7A4D646AB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"521a268a6f8ed0ee35db866aa416aa3c548aebd3","datavalue":{"value":"0790.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276025$6A55F8EC-1ACF-44B4-9E29-EBA4A7723CB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a55bc7e3fb1c9b8b516fb0102ea777fd0b068df6","datavalue":{"value":"10.2307/2275101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276025$1B04173D-ED5F-41F0-9EA0-6071321A49D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06b00cbe6141e74e286326ea4a19e97a7db56491","datavalue":{"value":{"entity-type":"item","numeric-id":580338,"id":"Q580338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276025$845367E3-DD50-499D-A7B0-F569AE05B631","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":"Q4276025$31325E87-CE4B-4557-AEA3-40A433584937","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df882c80f3073b0fcdffe45e7064d96ca479c35d","datavalue":{"value":{"time":"+1994-06-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":"Q4276025$1FD11E7B-8F77-4506-B5BA-18C7950C6218","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276025$39C6CB03-49B6-4F8E-88EB-8297EF0A0B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276025$907A56DA-47A6-4EA3-A5D9-E1DFC6A5944E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276025$3E1A7203-6451-4A59-9360-CB7F4165AA26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f785bde8be9cb658bd638d83d3275a419d83f971","datavalue":{"value":"488034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276025$95C15299-5C5F-4BCD-A22B-0AFBD1B97971","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276025$BADEED1C-F787-4CC7-A312-5F734F00F5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f2c19f911179bd48de63cc4a5c8166d20f9271d","datavalue":{"value":"completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276025$D82305FB-3C0C-47E4-9028-C934805B0848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d219a067281165423b2b49d1fcdd53cf64c2fa0","datavalue":{"value":"logic of categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276025$5D2BC790-706A-4801-8534-9FBBFF7AB76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23d0f6a1d37851bba753061553467bb22ec5504c","datavalue":{"value":"first- order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276025$A7CD0825-8B8D-4F16-B2CC-C527EFB8FDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671e0c595421b0acdcb3b604976107321e47c347","datavalue":{"value":"topoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276025$529A0079-221B-4629-A84A-E5157082AD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b638cd247bc623b682e351c8c97efd0006f0830f","datavalue":{"value":"factorization system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276025$BFEA6C19-9841-4593-802B-ABB474CAFC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb10a7c9b9a143fbebb56bbd5381c044a2a7ccf1","datavalue":{"value":"completeness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276025$DACBE616-04CD-4403-930B-62F64F65C2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276025$A50B5336-9662-498A-960E-D432671DB603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3354111c6cfc688db6df4d66b5a76b534cb4459","datavalue":{"value":"EM-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276025$8D54B4DA-DF90-4C2D-8F67-65291463EB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276025$D7E7E925-BFEB-49A8-AF59-57D6ABE21E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276025$2DF392B1-9037-4E4E-AD5C-D9A102D6AFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b1c57f988ba7df614bef85ad529e852ee1a2275","datavalue":{"value":"near-topoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276025$54305713-96EC-4EF3-A74B-38D18E8BE8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c29dd9e33d36836b98b276f050133fd24b0bba86","datavalue":{"value":"Lawvere-Tierney topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276025$BA2DA458-6A81-4CC9-97F2-514F923023A6","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":"Q4276025$5AD6D9AF-0677-4DD2-AD32-BC81D8E34B3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"feb83489a307989659b0c04e8a5d4930b3aef912","datavalue":{"value":"https://doi.org/10.2307/2275101","type":"string"},"datatype":"url"},"type":"statement","id":"Q4276025$5B6FCA08-2634-4DB3-B71A-700E143EA8E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8e114f78988e4958ebc41971d82fee7f94535ef","datavalue":{"value":"W2007099131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276025$6FE6E085-2CD8-4156-909F-29F5FFD361C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfedd305f8349e1773d49ada817a2bc3f98c047c","datavalue":{"value":{"entity-type":"item","numeric-id":1065921,"id":"Q1065921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276025$6E6B8EB1-E15E-4C57-A4E8-C8FDC0716499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492907b39eb93f743a59daf2cb233454e29bbcda","datavalue":{"value":{"entity-type":"item","numeric-id":1078653,"id":"Q1078653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276025$D35134A7-FBC1-4758-B1F3-BC20D525A8E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed54709a6f673f644ce42b4811f4136a63885141","datavalue":{"value":{"entity-type":"item","numeric-id":3333040,"id":"Q3333040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dccecfda14fd4a1769405ded257ef00121fa843","datavalue":{"value":{"amount":"+0.7884811758995056","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":"Q4276025$EE0550BA-2812-4EDD-9ADB-E1986E162FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424ce906378a64319905fcbc47e6c98c97eadb3b","datavalue":{"value":{"entity-type":"item","numeric-id":3574402,"id":"Q3574402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8312133f4731ef79ad83280c49ef524664341367","datavalue":{"value":{"amount":"+0.7704571485519409","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":"Q4276025$DF1A7B8D-3F9B-46CD-A20D-B121F014350B","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":"f2c228f7417f337eb78e4bcdfa7159456e7b7e1d","datavalue":{"value":{"amount":"+0.7681843638420105","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":"Q4276025$A447AA55-054B-4B54-845F-DFF239081635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcdc8fa9c92200bb8ba5dd73699ca1b721c4216b","datavalue":{"value":{"entity-type":"item","numeric-id":798654,"id":"Q798654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f858b0bfe64cd4750777c52d1f4498b781b56f3","datavalue":{"value":{"amount":"+0.7624635100364685","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":"Q4276025$6CE9A036-9E6E-4548-A838-A0AF1AC95607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9207457c353da36637f221fe4e0b00066752687","datavalue":{"value":{"entity-type":"item","numeric-id":4429196,"id":"Q4429196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d806be7817facc1b37c17b878c1c5524f9ebd8b","datavalue":{"value":{"amount":"+0.7512767910957336","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":"Q4276025$9475C2C1-F9ED-4C80-B56E-1BD567AEE0B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic, sheaves, and factorization systems","badges":[]}}}}}