{"entities":{"Q4635915":{"pageid":6665496,"ns":120,"title":"Item:Q4635915","lastrevid":58312488,"modified":"2026-04-04T16:31:28Z","type":"item","id":"Q4635915","labels":{"en":{"language":"en","value":"A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863525"}},"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":"Q4635915$8A790EE7-590F-4D9D-8BB9-0408974B366D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a4140c406b0c255b525c989902a98b0cd45311a","datavalue":{"value":{"text":"A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635915$0AC6F0A7-6D2D-495B-926E-C70F0AFBEA57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7751ad594d2e7cf58c1a4ddf9e4aafc6f1a3021c","datavalue":{"value":"1395.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635915$D4F3D915-A7E4-48CD-970A-55475AD8A467","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aba116806f381582ae29dcffd0e2c82fa138aaa1","datavalue":{"value":"10.1145/2933575.2934525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635915$FC56F22F-C5BF-493B-B659-E10776B7ABEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635915$85DDD12F-8F07-4F7A-A80A-832B290A53EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05f377508bb60773fd982917157c68668b1c0938","datavalue":{"value":{"entity-type":"item","numeric-id":2133465,"id":"Q2133465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635915$5AE58DF5-AEDF-44ED-BB27-606E886198BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635915$EC2E7829-CB2D-4193-809F-9A98B2F5EB29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635915$18C1B511-AB8F-4AB3-8603-2B007B3EA748","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b54e4570fddabab6bab45cbb4ae488ae8acadaa","datavalue":{"value":"https://arxiv.org/abs/1601.06098","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635915$5E6A10A8-E8A9-47C1-B2A4-626B03A1D86E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635915$EE5BE0B6-8171-4D74-863D-47D91BBA33B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635915$D4EBA549-900F-4990-85B7-5C859F6A5722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635915$7289EA87-DC0F-4542-8769-E2E81ED3349A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635915$C238FD34-49F3-431A-B607-DC3FF2710EA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c7572a22b3eb78d82bb254100c0f4065ce1fcf6","datavalue":{"value":"6863525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635915$BD66FA69-445E-4922-950D-9E1AA59EF8AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c34692ddddd94f2e18450e56d82654f6658dea60","datavalue":{"value":"Lawvere's presheaf hyperdoctrine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635915$E6E92EB0-9EAD-4536-B2C7-A4B17ED4C3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635915$A0FB377F-B217-450A-BAA7-13BA48DD7500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accd33c950e9407d53bec858c9f3571a4e836998","datavalue":{"value":"monoidal closed bifibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635915$9A698295-EA2A-421E-920F-18B3C65CA45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64e04cdc7e6c2d389ac81ed0a715b8a0cc364db3","datavalue":{"value":"monoidal closed chiralities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635915$798BE550-AC88-4F58-BC50-06171A9F076C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b828ad76d9f4a12224ca2a24c173f27f573f2af","datavalue":{"value":"type refinement systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635915$43D7FAA4-2C9F-42F5-90DF-264AE8310723","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":"Q4635915$21A195A6-E2A5-4BA6-96E7-290D1F2DFABC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a8cd18644ea0318e7c5f661c930be5acf35c862","datavalue":{"value":"W2963115424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635915$36DDDB86-AF51-4137-B589-C037E7C7ECF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea9a0459b832fdcd1f24dadac1ed71c4ea9002b","datavalue":{"value":{"entity-type":"item","numeric-id":4640309,"id":"Q4640309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9edce4ca68bec14658b5f8e2e32f94ca02fcac34","datavalue":{"value":{"amount":"+0.7079596519470215","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":"Q4635915$1E1AFA77-AE26-40CE-9159-6773A26B74AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f77c8000ef3ce58a1e53cd639d46b24a05c299","datavalue":{"value":{"entity-type":"item","numeric-id":3679177,"id":"Q3679177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac2539ca6bc7b273b8f500b4d8006b4ecfc2501","datavalue":{"value":{"amount":"+0.7003509998321533","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":"Q4635915$0239FABE-852F-4B9E-9635-ACE9D3FD267C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4bab13d7f482db501a84e7faa14afcb9812711","datavalue":{"value":{"entity-type":"item","numeric-id":2849433,"id":"Q2849433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ecee5c0a4a6929009da951a35fb78c405da918c","datavalue":{"value":{"amount":"+0.6959526538848877","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":"Q4635915$478E4880-3A3E-477F-B0BA-DC015076E7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34468da0505177458e28a990a3da8022cbffec35","datavalue":{"value":{"entity-type":"item","numeric-id":3754790,"id":"Q3754790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06cd26b84f91b9cfaa4cebec1aed34c16d8db1a4","datavalue":{"value":{"amount":"+0.6928605437278748","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":"Q4635915$550D8C28-3283-4DB1-A751-5D0E00DA894E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15378801f2252b6a8bb20b184f6f86c965c8124","datavalue":{"value":{"entity-type":"item","numeric-id":5015729,"id":"Q5015729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1113398e37d16d849f32d19675a8a9dd941abc89","datavalue":{"value":{"amount":"+0.673944354057312","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":"Q4635915$AD1B227D-12FC-4970-9B7C-22BAC4ECB9DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635915","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635915"}}}}}