{"entities":{"Q4715672":{"pageid":6745249,"ns":120,"title":"Item:Q4715672","lastrevid":46404708,"modified":"2025-12-24T17:30:39Z","type":"item","id":"Q4715672","labels":{"en":{"language":"en","value":"Functional completeness of the free locally Cartesian closed category and interpretations of Martin-L\u00f6f's theory of dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 946744"}},"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":"Q4715672$5E2B4682-AF4E-47BC-A880-B3BC2E3ECC13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8190765f1f0b76f5e83b3f12409af20afc0e9f67","datavalue":{"value":{"text":"Functional completeness of the free locally Cartesian closed category and interpretations of Martin-L\u00f6f's theory of dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4715672$F5B87AC3-74EF-4EE0-AB1B-728CA031BD01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b9d1d17d60492d1e28fab25f5f8b7f7c37ce74e","datavalue":{"value":"0860.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715672$D6CBBFFE-5003-40D4-9CBD-EF26D41F2EAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e84aa37e5e735bd2b58826d3dabd7b9b6935e738","datavalue":{"value":"10.1017/S0960129500001080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715672$05DAE6E9-D988-40FE-9C0F-F580E5161B03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecdf2121eb6b3c424b85cdda1d6cd75285d3ee14","datavalue":{"value":{"entity-type":"item","numeric-id":280846,"id":"Q280846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715672$C1496E21-60EC-4BF3-9954-8A224210DEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a28729f70d36ad10e5965dfde2fb8110e0c332a","datavalue":{"value":{"entity-type":"item","numeric-id":406310,"id":"Q406310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715672$0D20D247-E778-4F3F-8C6B-786A7DEBB967","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715672$55DC8F4C-6C90-458B-B11A-2B6F3C60AC68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb97a0a1e3c26f34c0d6f4658c7cb47d35dc8ad3","datavalue":{"value":{"time":"+1996-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4715672$85F25C1B-CF78-4CA4-8804-5985E6B342BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715672$6B8D7ED7-EB16-42FA-8F77-9BFAE6702048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715672$90FED1A6-1CD3-44F0-AA8C-007C59492885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715672$9E1388B6-748C-4B31-8BB3-AAE67CEE5943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715672$D391E7BE-DEB7-42F9-B9E7-1F8CA6C6943A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1843b1887efbef8dfa26c04fa1cab3946b26d441","datavalue":{"value":"946744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715672$D6F5D61B-1EE2-4F14-9980-9AF24788E8AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715672$346A0576-4453-4300-88AF-24214C4D13A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a775306490fcef66ca55106f6c6311ef34a233ab","datavalue":{"value":"locally Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715672$1D77A885-523F-40DD-B7B4-3BFD27078093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4053b2ebcf6b37b9fcb91edfab0edbfb6a46d4d4","datavalue":{"value":"interpretation of Martin-L\u00f6f's extensional type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4715672$5AF64668-398C-41BA-9BB4-329CF796C9C9","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":"Q4715672$D0FE56C6-76C7-4048-AC28-753EC96A06E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715672$0D7F1919-E76D-4EB4-BB7F-BD20F5192D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a687bb0c4a1754bda3f0df909ec068e62c8380","datavalue":{"value":{"entity-type":"item","numeric-id":4295233,"id":"Q4295233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715672$02163C73-6E84-4682-A141-04DA3A58CFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1487200638e3f9441e8913bfd2f4d0995a3fb","datavalue":{"value":{"entity-type":"item","numeric-id":3677911,"id":"Q3677911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715672$201019ED-92AE-4130-AB15-4C958B832AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715672$1E145DFF-5877-4D4D-88DD-BCF10A560455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380a6881518831323f255a15626e883724615dd3","datavalue":{"value":{"entity-type":"item","numeric-id":4767105,"id":"Q4767105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4715672$9154B952-6E8A-4584-B587-E516D3F90B35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1ddf5bcc9ce4cc706af397b60e6f98f01ea2fa1","datavalue":{"value":"https://doi.org/10.1017/s0960129500001080","type":"string"},"datatype":"url"},"type":"statement","id":"Q4715672$D64EB0B6-4A68-46CD-B1C5-2EB2FAB326CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35b931698586cbc076efd303f2351313f573f6d3","datavalue":{"value":"W2154119530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4715672$847865D9-7FF0-484A-A7EA-D442078FACC5","rank":"normal"}],"P1643":[{"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":"8493a5d46db414ff4522de36d8e167689a0bf351","datavalue":{"value":{"amount":"+0.8711317777633667","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":"Q4715672$B27CCE5B-904E-40A3-B88E-8701BD83575B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14c2734910bfc525ee73c0d1d15395b034a934e","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"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":"Q4715672$DFBF52FD-74BF-4A75-99EF-9DD9CE2CC077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c561b53db804a457c959caf979b5f4184a83145","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9835ce633e2ec78faf20e47ec2a92d932398f0b","datavalue":{"value":{"amount":"+0.7984158396720886","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":"Q4715672$71907F59-4D00-4922-BF7B-CF0AD2B80966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d28c114afc65581fbf531524284c58cfb0c94410","datavalue":{"value":{"entity-type":"item","numeric-id":5277836,"id":"Q5277836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3539a149996b00f26ae91add24227d4be942f1f6","datavalue":{"value":{"amount":"+0.798225998878479","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":"Q4715672$61F6CF49-B9FB-41D5-A356-E6913A0E0F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c9c8efff77095a3d15ee0a6141ff04f174d66c","datavalue":{"value":{"entity-type":"item","numeric-id":4596801,"id":"Q4596801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"819675fc7ef3d6885af592717f4ab97b92afbb06","datavalue":{"value":{"amount":"+0.7951714992523193","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":"Q4715672$B42B0176-B38E-4076-896B-47827A9C51AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4715672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4715672"}}}}}