{"entities":{"Q3325725":{"pageid":3336433,"ns":120,"title":"Item:Q3325725","lastrevid":48707710,"modified":"2026-01-05T16:31:11Z","type":"item","id":"Q3325725","labels":{"en":{"language":"en","value":"Locally cartesian closed categories and type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3857108"}},"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":"Q3325725$59F44FDB-8F7D-4D96-9EC2-26E632738597","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea6a9607023de9c1993407e0561e16f8351fffe4","datavalue":{"value":{"text":"Locally cartesian closed categories and type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3325725$065856B2-B1CB-415A-8248-9B6F738F45B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9735d501c0fda447d7a7b06fdb754a713ca35348","datavalue":{"value":"0539.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325725$30FAF535-26EA-4866-B196-BEFA45B76342","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba0326f4596a702b3758e7be6e7fd96084ad87a2","datavalue":{"value":"10.1017/S0305004100061284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325725$605CD054-AD3F-48B6-9B14-939C4929CD42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d982c5d0e038afc73121713cd489a6ab9fd68","datavalue":{"value":{"entity-type":"item","numeric-id":674461,"id":"Q674461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3325725$2C2F97E6-8714-48B4-8D99-DD8FB6917B8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a0ba849355c4f570fe24e534585b3220dce858d","datavalue":{"value":{"entity-type":"item","numeric-id":100593,"id":"Q100593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3325725$97653732-B6F5-44B1-850A-704CED2B07D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3325725$0C157334-8EE1-4682-9EE4-E8D10CCEECF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325725$51D03312-0137-457D-A955-C1F3EA8C7DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325725$29C02FE9-E218-4C09-8636-FD108B2BF952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325725$58771721-62AF-4E72-9677-20825362A4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325725$3A4321F5-47BD-48BD-99AB-FA5484EC0BFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73ebdd81968cc44c1e25695ab77c37580fad87f8","datavalue":{"value":"3857108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325725$25F99935-2751-4E56-B25B-D92D3B53EC5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03d9c094f3e846e23d1e9465fa36eeb796ae7e8a","datavalue":{"value":"slice categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325725$3B0E12A9-A79F-4CC2-A881-236B8CD4452B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20191056124fb18dcaf483711980ec162d497d65","datavalue":{"value":"indexed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325725$551C5C0A-50C9-4F03-BB0F-D7F2A05110E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f0875e71694a3abcfe1a8bbfbc55522ce74bd0","datavalue":{"value":"hyperdoctrine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325725$C1ECBD8B-B62E-49D7-86C8-0C317C1BC13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325725$C4E7DFF1-A745-4ADA-ADB0-5EA84E648483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1ae7376db904d3dfe3bbd121a591b5fbf19599e","datavalue":{"value":"locally Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325725$2FCBB20F-A86F-4EFD-83A1-2A0F8CF9EE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4c4eaf6b2b899cbd7d0934363067b3d8f1feb57","datavalue":{"value":"ML theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325725$E1741254-7C91-4BAF-93A9-2921B043FD7A","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":"Q3325725$FF7261D5-03EB-4500-BFFD-C968C2A55A05","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"22d2243fd8971be32b8e6fe47837e4bf0cdb6410","datavalue":{"value":"Q56172124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325725$49FE6360-FD59-4326-8095-8C3FB17197A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3325725$0EE8CF37-24D4-424C-93C1-A95A83B87C39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96d59838d6918f92b17cede746420a7c145bcb30","datavalue":{"value":"https://doi.org/10.1017/s0305004100061284","type":"string"},"datatype":"url"},"type":"statement","id":"Q3325725$6FE65958-24A0-4B00-B4B7-57B4BFC1EF6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b19188fccdaa51165697a148f73afbf70b907f2","datavalue":{"value":"W2022837260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325725$E76BDC26-1B48-4779-9DFB-F6953568396E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616f5d4128240f17ff9799537ace9f2781459e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4715672,"id":"Q4715672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb68c9c8520c9542d084c52957bcfaa1bdbf9f07","datavalue":{"value":{"amount":"+0.8237899541854858","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":"Q3325725$FF886FAF-962B-4352-AF2B-068EEE237E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12bcb9fcff6e5c863181081abdeb8d612a994e9e","datavalue":{"value":{"entity-type":"item","numeric-id":914668,"id":"Q914668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1138508be22f15c7c3964aff0e88eeabfc2506d","datavalue":{"value":{"amount":"+0.8237897157669067","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":"Q3325725$31D3C957-C36E-4253-8E7D-5841690EDEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8da43c5742c2daae0d692e9a46ab9ddf66ef57","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0906f405b179ac290e3d2f536a8c0855711bb100","datavalue":{"value":{"amount":"+0.8152527213096619","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":"Q3325725$7AC1B978-A5B4-42DB-AE69-B1012588469A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a128e60408ea08682e915dcdd922a64b43686a","datavalue":{"value":{"entity-type":"item","numeric-id":3130308,"id":"Q3130308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25495dfe1842664b758a8a08baa7497b2bfdb29d","datavalue":{"value":{"amount":"+0.81508469581604","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":"Q3325725$0B485966-37BE-4ECF-AFCB-8A98A0DCE72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983e8f9ece19e86d7ea0ffd24a6d7ce7cfb8a5f1","datavalue":{"value":{"entity-type":"item","numeric-id":750438,"id":"Q750438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ef44e24f7f458c0af9123f7aa6c18142fa3778","datavalue":{"value":{"amount":"+0.8046008348464966","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":"Q3325725$BA37D6C6-ED91-4E44-98EE-830F473AB61C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3325725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3325725"}}}}}