{"entities":{"Q750438":{"pageid":752287,"ns":120,"title":"Item:Q750438","lastrevid":64055451,"modified":"2026-04-11T17:20:30Z","type":"item","id":"Q750438","labels":{"en":{"language":"en","value":"Categorical and algebraic aspects of Martin-L\u00f6f type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174925"}},"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":"Q750438$F00DA606-1A9B-40FC-9AE9-7A9EDDE018F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfd3850bd683cbde3f1e9ef91d53ebba104ee597","datavalue":{"value":{"text":"Categorical and algebraic aspects of Martin-L\u00f6f type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q750438$A06FC217-1C7F-4E9F-929E-AE0E11D863C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9295e340bc0fcccefc388fd5497f2bb61135ec71","datavalue":{"value":"0714.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750438$041801E6-1134-448C-AF05-6A56BAF87946","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4957b6cb97fc4926e726ef324801edb6cb8cd945","datavalue":{"value":"10.1007/BF00370827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750438$50744A94-4398-4C61-8254-80329DBD8695","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"168c439337819df2c43af3b8a6f753e66040a513","datavalue":{"value":{"entity-type":"item","numeric-id":750437,"id":"Q750437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750438$4993DAB6-848F-46A6-BD7F-1DFBAAEE4173","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750438$C83B9311-43E5-43C1-8058-71C66E60B75F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q750438$35D43329-7480-4873-BE7D-482EE2558287","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750438$FD9D4FA8-3A69-4601-8B04-C3D2FF1ADA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750438$6084888F-8DFA-409D-9AD9-45C80F92AE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750438$48632938-E0B9-4BE3-8CF5-212575A5F054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750438$9CDA5078-1787-4585-8FC5-2801569FEE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750438$F9D2742C-6AD0-40F6-BD1C-8FCA75555BB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c6d57a491102346f170e598f06e56e41c682793","datavalue":{"value":"4174925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750438$DA4AC7DC-9EE1-4385-9E36-7203B8730A9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q750438$36C2F1CE-9C30-4645-AE18-5A86D3E91AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q750438$A528C77F-841A-4172-8228-5ECA15DB4688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20191056124fb18dcaf483711980ec162d497d65","datavalue":{"value":"indexed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q750438$19B04482-FB7E-4832-8AE6-1A9B39B8910D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd29a1d78533e6395fd6ed4f9947efb50d8faf20","datavalue":{"value":"Martin- L\u00f6f Type Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q750438$D3B78B50-D0B5-41D3-84D6-80B26C89D86E","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":"Q750438$4781EE6E-D83D-4944-A4EF-A0EFE7A0D1D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8f68f9e78bb6a5d59f21b1f2cddad1744eb2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3659782,"id":"Q3659782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750438$2376005D-4BEF-45E1-9A94-970207352F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750438$92F0588F-8223-481F-9566-9392EBB227DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750438$9F9CDE8C-EF22-4C0E-8C5A-4CD7C91031D1","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":"Q750438$77781A72-E155-468E-A8BE-309C6851F383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750438$90EB727E-E57E-4621-B154-7427716AA6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cbe19fcefeee0f7452f0785bfac52068f96015e","datavalue":{"value":{"entity-type":"item","numeric-id":4170869,"id":"Q4170869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750438$69023E0F-18A6-411B-820C-7734B4506646","rank":"normal"},{"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":"Q750438$B497E387-8B48-499A-AB18-25F8B4A6013F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f26a27356d39f30de150c562ffeee04fbf14f0","datavalue":{"value":{"entity-type":"item","numeric-id":1099173,"id":"Q1099173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750438$31AE4009-4EC6-46DE-85B9-DD810B46C541","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92b7a8c671f2834b6422ad1abb28e767ce2bc8b5","datavalue":{"value":"https://doi.org/10.1007/bf00370827","type":"string"},"datatype":"url"},"type":"statement","id":"Q750438$FA449FC1-A319-4C5F-A302-6DF5EF7D1077","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc3a0ad0022cebb4ca5f734c5c4927267fc70024","datavalue":{"value":"W2030950371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750438$0C32FBAC-D034-4C19-844F-658EE530A5E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb936a012acfd77a411058a3bdc94d66279dc1a","datavalue":{"value":{"entity-type":"item","numeric-id":4279249,"id":"Q4279249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c985fe2298e2a5fedc97002353b4bcdcf1408e42","datavalue":{"value":{"amount":"+0.8084242939949036","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":"Q750438$526696AC-9B1B-418F-AFB5-D56CEDD12F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc9fa361fa3867f7717436ced2f985449798e05","datavalue":{"value":{"entity-type":"item","numeric-id":4295233,"id":"Q4295233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a5a2b9d19f9a29df9752e8510d770996709db2","datavalue":{"value":{"amount":"+0.8057332038879395","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":"Q750438$00AAF542-344F-44F1-846C-43806E256768","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":"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":"Q750438$206F1238-0133-4F3B-80DD-9E7BDA5DB8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d57aee4dc0926b14c7cd4eb20f942c2a7b85944","datavalue":{"value":{"entity-type":"item","numeric-id":5458424,"id":"Q5458424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1eb26cf6fe82bae513cecc0c24b2ae7ae839477","datavalue":{"value":{"amount":"+0.787924587726593","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":"Q750438$A0811983-6F25-418E-9B7C-76B15AF11BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a8e99cf84700d2a069528877dc17f54863bbf5","datavalue":{"value":{"entity-type":"item","numeric-id":5156767,"id":"Q5156767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcbec4fd7b368eff898bdb838a56c5bbf3520e72","datavalue":{"value":{"amount":"+0.7869853377342224","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":"Q750438$EEC85097-FF98-4E25-98E3-68DD93A48853","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical and algebraic aspects of Martin-L\u00f6f type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_and_algebraic_aspects_of_Martin-L%C3%B6f_type_theory"}}}}}