{"entities":{"Q3143444":{"pageid":3154160,"ns":120,"title":"Item:Q3143444","lastrevid":58131741,"modified":"2026-04-03T22:45:23Z","type":"item","id":"Q3143444","labels":{"en":{"language":"en","value":"Aspects of predicative algebraic set theory. III: Sheaves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6111540"}},"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":"Q3143444$A3387239-9F51-4D4F-A2FF-207B69CB470F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1785dcec700b9200a5bb15b5a4b349c27ae813e","datavalue":{"value":{"text":"Aspects of predicative algebraic set theory III: sheaves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3143444$CA0CDE60-F418-4BE6-A8AE-DADF154F756B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a941ab6d0374d3e140a972e613199dcb77db609","datavalue":{"value":"1253.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143444$C7BAFD5E-B98A-4176-8D09-A63292BC7FD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143444$D8D0EC2E-9762-45CF-927F-5D3D4EE91817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f35d8b8d36daa01c278530444ad70355c66c","datavalue":{"value":{"entity-type":"item","numeric-id":169786,"id":"Q169786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143444$A9405FBE-E712-4042-AE1C-8E21EEC592A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d8799c40959ae8ff71bbf3cf3439e413c339966c","datavalue":{"value":{"entity-type":"item","numeric-id":1503938,"id":"Q1503938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3143444$BC21AB7A-7B52-4066-89CF-CABAB71DDE28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a8fc6e87e22d612ef2be0d215d6a26240a159a","datavalue":{"value":{"time":"+2012-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3143444$BE43CDAD-8FE5-4186-AA26-F402868F12DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bdb2d32b2ea17ac414f321a3133d2171899ae5e","datavalue":{"value":"https://arxiv.org/abs/0912.1242","type":"string"},"datatype":"url"},"type":"statement","id":"Q3143444$55946D3C-03B6-47C8-93D0-D20E91CE04E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143444$541B44FA-C802-49E9-975C-992220D65EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143444$D4E3D13D-7ADA-4C8A-BBC4-66172FBDB619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143444$624A296A-D7CC-4E60-A7D2-78A24A342AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143444$0F8B8776-E3E6-4E50-8A6B-C5BC08E68691","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f483619de26ac5a937204732c09555d00a12c17","datavalue":{"value":"6111540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143444$0F936EFA-9D4E-46D0-BC60-D5EEC2C43952","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d914b03804764ee7eef8a1ee2e6d22d19eb6e3fd","datavalue":{"value":"algebraic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143444$17B49576-EC23-42D6-909A-0FF98823F00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"328145e8417623a5df41fc048c7c78f7c9ad7e3b","datavalue":{"value":"sheaf models of constructive set theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143444$92F8032D-23E8-4E4F-9375-4DCA3E232C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143444$E97EC44E-6F20-47DB-A966-64ED269A7427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"009db56104c8b83bb640002e3956e33c2912a3b9","datavalue":{"value":"predicative category with small maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q3143444$CE773E03-5154-4490-A543-359E50173BE5","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":"Q3143444$C1A32AA3-4269-428A-A47E-878DC2EFFA2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b20c76fb74ad4441b56384cfe3faaa436019f0e","datavalue":{"value":"W3099209700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143444$84D1787A-04D9-4FEC-8D89-97E33C6D9817","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36cb9d2053679736238a00731b97d6924df380c4","datavalue":{"value":"10.1112/PLMS/PDR066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3143444$E28E3796-C83A-44C7-8016-B0707603F095","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05bfee325e91f298337d8811e53f0e47fcab7290","datavalue":{"value":{"entity-type":"item","numeric-id":958492,"id":"Q958492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfd591b85d955f35477b3643dcedddeb718b33d","datavalue":{"value":{"amount":"+0.8680250644683838","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":"Q3143444$06D0713E-6674-4669-91FC-E030615B14AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04e63430efaf483a34bc67baaa14b820a6a99ae","datavalue":{"value":{"entity-type":"item","numeric-id":4680361,"id":"Q4680361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6562228ab5578b4c1c4e80db3d9cbead5c3eb74","datavalue":{"value":{"amount":"+0.8333387970924377","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":"Q3143444$F24AB938-1062-48C0-A413-7934381071D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5882c742186c44e767e75b590b882b1a818a7efc","datavalue":{"value":{"entity-type":"item","numeric-id":534701,"id":"Q534701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c8af276607ae376bd67916f254c7b5f6bed5cae","datavalue":{"value":{"amount":"+0.8224645853042603","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":"Q3143444$54D19B77-A2C2-4A12-807B-DE34B1441E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff90cbc870d12f19a3a84204bc633604544ab1ab","datavalue":{"value":{"entity-type":"item","numeric-id":3399181,"id":"Q3399181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab05f357f2b0610ee202bdade5bc8dae964eef1","datavalue":{"value":{"amount":"+0.8213329911231995","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":"Q3143444$E252AC28-82FA-4A4B-81E3-C3BE34FFA06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e103bd4c9dd0bc95ae7a2aac812824b74dc5c8be","datavalue":{"value":{"entity-type":"item","numeric-id":5701016,"id":"Q5701016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67792c3275648101d64633c4cf30e9540c1c2cd7","datavalue":{"value":{"amount":"+0.8071241974830627","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":"Q3143444$DC7E3C6B-AA68-4C60-BFA1-3C0E1B2A87C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3143444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3143444"}}}}}