{"entities":{"Q1193601":{"pageid":1204350,"ns":120,"title":"Item:Q1193601","lastrevid":66455703,"modified":"2026-04-12T10:11:25Z","type":"item","id":"Q1193601","labels":{"en":{"language":"en","value":"The extended calculus of constructions (ECC) with inductive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64881"}},"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":"Q1193601$10D12915-06E3-4162-8CA2-5D07AAEA8305","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d35734b9c306de084a29c7e82764b8ba4d47bbe","datavalue":{"value":{"text":"The extended calculus of constructions (ECC) with inductive types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193601$BB3FB9B1-A6F5-4028-9B8A-30ADD48EC5F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16d23b19aab51bc59bd7e1ec5f7c1691e3e89704","datavalue":{"value":"0784.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193601$A7AFF651-63C0-4632-82D2-CB288EA3B0CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"355b6281ba80bf2651a371883e715489790891ae","datavalue":{"value":"10.1016/0890-5401(92)90031-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193601$E79AFD87-460C-4335-9086-E1BF56B2EECA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7cd2b0187398b4f5fb12c7191ac310996b0ecc8","datavalue":{"value":{"entity-type":"item","numeric-id":1193600,"id":"Q1193600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$C2F29875-6248-4FBA-B0C1-142EFB175805","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$0334408D-E9E4-4324-811B-02FA132E1456","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193601$BC39569E-09CC-4E12-B272-7916791251A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193601$2CCC9FE8-B894-4CFA-A61E-1212F33A9387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193601$5290DC6C-BC89-4459-A4BA-24BF88D4953D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"383f18a430233fb6038db728656100363411757b","datavalue":{"value":"64881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193601$046B01D8-C5F7-46FC-9BF4-D8068A4E127F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f202f1f01c1c3542fd96d92ce46eedd2d1722565","datavalue":{"value":"Extended Calculus of Constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193601$2283C8F5-73DC-47E3-BEBA-6E3FFB3B32F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36420e08438d79931687fb1136a93adf5ffa34a","datavalue":{"value":"higher order functional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193601$8892303E-5CE4-46DF-AC64-41CC7C4B648B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39417353dc313cddee38308591741f74455b250b","datavalue":{"value":"predicative cumulative type hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193601$84A93374-494C-4179-B892-4A60F885EB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193601$19A8FDD5-E1E8-478B-805C-50EB7ABA2433","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$FDAC9DCF-3E67-4E6D-9C3A-2EEC6BB5844F","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":"Q1193601$9B38AA2C-B899-4453-A6A2-C11C9CED26B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0d38bb47035312d7e593ac22222c56b8e64b29","datavalue":{"value":{"entity-type":"item","numeric-id":3702502,"id":"Q3702502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$9D0970D6-96F8-42F8-AA88-BB3640465C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$C1DA30FE-0865-439B-BB2E-6A271F89EB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$C6A0F872-17CE-451F-B4AC-9E38EA2140A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe0d38e4ddcad71d635c28ec0c347feb4337ab0","datavalue":{"value":{"entity-type":"item","numeric-id":1257892,"id":"Q1257892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$CBDF73AD-F33E-4C57-8BCD-D5D56A9DFC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$CC20348C-84A2-406F-B470-FFAD041594A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10505dc01f8f087a2fc1b4a9ffcf5190a299734","datavalue":{"value":{"entity-type":"item","numeric-id":4178466,"id":"Q4178466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$B483A460-F980-4B3A-928E-1820AAE96076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$ED1C8847-CF47-4F33-B5C5-3EC1B18FF059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e4ce17cede867a82574cebccb1c77ad33605d","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$FD73F4C5-B71B-4178-8974-AA405DB564BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$1EA09241-7543-4759-BA2D-C5C5123D0AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04882dd0098e511c274267f86b00f5c3a4c9815","datavalue":{"value":{"entity-type":"item","numeric-id":3211296,"id":"Q3211296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$B73A8EB5-D526-4AB6-8649-87D351154FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd3b8732001a65e8422e49da191945e9664f035","datavalue":{"value":{"entity-type":"item","numeric-id":2639838,"id":"Q2639838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$4906076A-568C-4C75-981D-C844B03CC249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$323135D5-F688-4A7C-B5FE-E897BA02D527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193601$EC6C2D05-CC52-4CDC-8AD7-3747E63D1B37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22aa479d92fa5eac512fc81e6ad7226cccf6f3e6","datavalue":{"value":{"entity-type":"item","numeric-id":3211296,"id":"Q3211296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a596414701bae3e84ed8f115a62cb612e179393d","datavalue":{"value":{"amount":"+0.9041865468025208","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":"Q1193601$0EF07D5F-B798-4070-B926-1744662C5E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c8d464e74f11f039e2de532d889ce898906e27","datavalue":{"value":{"entity-type":"item","numeric-id":2639838,"id":"Q2639838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5489b4f34c8c61ed1bf0fc799fbc746351b47e","datavalue":{"value":{"amount":"+0.8502934575080872","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":"Q1193601$FE14A610-CB1C-45E8-A052-D3C1E108AC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a69d7da4e3f4778ab03a22c319a669731e63e3a","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bfaf7d153cd2cd37e46b0ffef8e9532794859bb","datavalue":{"value":{"amount":"+0.7955904006958008","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":"Q1193601$B49644C6-1D4E-4E39-B1A6-C12AE0C3CAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fe00dd16f83f29e78f1f29866c0bdd4cd88a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4457447,"id":"Q4457447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ca207a27ae644b81d0884645aa4a777071a5ee4","datavalue":{"value":{"amount":"+0.7935714721679688","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":"Q1193601$9E5EEC74-579F-4139-A382-AFE8B2332EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04fc28ff935556a5c4174aab3a7627efd13f38b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a60a399ef79c6cff09f2c20e796cf098cc3d72","datavalue":{"value":{"amount":"+0.7924293875694275","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":"Q1193601$767B3EC9-A67C-42DE-A307-5430F27DF87A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The extended calculus of constructions (ECC) with inductive types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_extended_calculus_of_constructions_(ECC)_with_inductive_types"}}}}}