{"entities":{"Q4939697":{"pageid":6969279,"ns":120,"title":"Item:Q4939697","lastrevid":40716792,"modified":"2025-04-04T11:12:19Z","type":"item","id":"Q4939697","labels":{"en":{"language":"en","value":"Introduction to generalized type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1400715"}},"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":"Q4939697$A33C19DD-4D9B-47B7-99E3-78F2466E3381","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04de224994599227bee140e81fe049cdc03228e6","datavalue":{"value":{"text":"Introduction to generalized type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4939697$E0C61841-1E3E-4490-A13C-F6BD4382138B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45d1e819379c997181720b2208948a7f12ea9fe3","datavalue":{"value":"0931.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939697$0919922C-15C4-4C59-B139-679AF7F50EDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1533f4fd4ccc60bc25ae410ad01ab81efe1e398a","datavalue":{"value":"10.1017/S0956796800020025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939697$405BAE77-0CBE-44B8-B53D-DB53E890D717","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939697$98265549-C541-405B-B13B-43D517DEC058","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09a44795720544c6f367ce769f28cc2e9bf7cf0a","datavalue":{"value":{"time":"+2000-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4939697$DEDA6D91-E21F-4531-8DEE-FA532932294F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939697$2584050D-2D4F-4941-BE62-441DD7A98B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939697$9B5EF02E-EF30-4B50-A0C4-CAE15A667A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939697$2AEE9E5E-D2B6-42D9-BC7E-D0A3E9183EB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f82d7248c87937931c5657a004128c52707b309","datavalue":{"value":"1400715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939697$1D7D5801-7C64-4DD4-9EC1-12B617452EB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10b65cf16382d680caa41ab586ec588b09d441cc","datavalue":{"value":"typed lambda calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939697$D8A2ADFE-163B-421B-9E3D-CCEF8C2F6377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d966cd9c1a5e368963cc46dd3a93e8fffd024d5","datavalue":{"value":"general product types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939697$E92D934A-CBC1-41A2-83FF-70B70B1E5BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82d51a613ba26b289703233c2fa9be961b20d461","datavalue":{"value":"generic calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939697$C14878C7-F597-40DE-BB98-9148714E732E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0f338824c364f3212b4d669b76d854ab0f668bf","datavalue":{"value":"exploration of the propositions-as-types paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939697$7B03F4F7-C7B1-47B2-884B-ADC84C706FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"028c2855d3b766c9faeb80ca316350e477631a4e","datavalue":{"value":"\\(\\lambda\\)-cube","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939697$6017BB75-E340-4EEB-B152-FCEF605B1322","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bbc7489e696960a023ac25f189aacd9123c19cb3","datavalue":{"value":"Q63090394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939697$5DFF4F03-2EA7-432C-9F41-5E736F1516EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939697$AC0793D3-E8C9-4017-A7D0-FA8FAA1E4A6C","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":"Q4939697$0F52AD7E-EAFF-466A-8346-254DF1812398","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ad1f08769dab7a5ec332e16aea23fbd22aaf590","datavalue":{"value":"https://doi.org/10.1017/s0956796800020025","type":"string"},"datatype":"url"},"type":"statement","id":"Q4939697$BCC6737A-4F08-4E16-8AF2-077A407ED827","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"538b8bb13fa7042692e04f13b18042b1ac8d4353","datavalue":{"value":"W2402296188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939697$B2C139E4-7CA5-4DDA-9B55-BD404D00C4A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12f871c239ce45fa3c73ee1d9428fbf212da709a","datavalue":{"value":{"entity-type":"item","numeric-id":5191087,"id":"Q5191087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332de4eae3ca27e7ad6fea91cb7726ad9be035ad","datavalue":{"value":{"amount":"+0.9247022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939697$AE0A7536-A91B-446D-AD68-3E4A10864687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7386574d8bb69dd67d31fcec227a37da518797ac","datavalue":{"value":{"entity-type":"item","numeric-id":5689160,"id":"Q5689160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5812e82f60c580d71169dd935765409d8595b65d","datavalue":{"value":{"amount":"+0.9023407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939697$9FDC4907-C506-47A5-AF6D-BCAE0BBC27A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d456b94293befe11b645e1ed78e138fd7ac64a5e","datavalue":{"value":{"entity-type":"item","numeric-id":4206388,"id":"Q4206388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145f4d6b07844e97efd0afb7dcf2d2e07c2b9a48","datavalue":{"value":{"amount":"+0.9019935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939697$250C6B0F-1837-4FD4-92A3-CBCBF58BE57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a99c356a4206bbafa5dec23032d09a95b23b61c","datavalue":{"value":{"entity-type":"item","numeric-id":4858947,"id":"Q4858947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145f4d6b07844e97efd0afb7dcf2d2e07c2b9a48","datavalue":{"value":{"amount":"+0.9019935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939697$1DEC1B06-2A30-4910-8B41-FF70FB7B8F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6410b9474e4bc5f036d868efcfc1a70baa6c53c6","datavalue":{"value":{"entity-type":"item","numeric-id":5712319,"id":"Q5712319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9635f7ef5a74d0df74608a4b3d76e01ea75cd739","datavalue":{"value":{"amount":"+0.89810306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939697$91873E56-6289-439B-A20C-ABFA4D00AD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e5f8fc5d85f4060c321d3477b9772c5b3598bca","datavalue":{"value":{"entity-type":"item","numeric-id":2956732,"id":"Q2956732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5cb77712d7b364dd240159c944a48fcf1df2abf","datavalue":{"value":{"amount":"+0.89635694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939697$C9002AA2-D257-415F-8C70-BA9D45923628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04d185272c185a752acd603cb09b61360c57085","datavalue":{"value":{"entity-type":"item","numeric-id":5408546,"id":"Q5408546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506597ad768c108a1c76deae5eb697bd1063b1f8","datavalue":{"value":{"amount":"+0.89263624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939697$1FB61BEC-9CE2-49B8-A626-58AC0DC4A687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6302578656996e082c482eb5f50169b0536c8824","datavalue":{"value":{"amount":"+0.8901899","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939697$DAE96CA8-0EE4-4459-89AC-49609D4F2892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa24e6d3cae090b70058022cada85f364fbbb68","datavalue":{"value":{"entity-type":"item","numeric-id":3075239,"id":"Q3075239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182ba984dd409323f104ec9551c78ac4c9d83c7a","datavalue":{"value":{"amount":"+0.88930595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939697$BA23CAF0-CEBB-4639-99A2-00ABFFE52025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1b0f160bbc941ec74ecbc89400d2c491580c66","datavalue":{"value":{"entity-type":"item","numeric-id":1271309,"id":"Q1271309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d34bb4a7315c29ca463ca90ca90482402e1d8ea","datavalue":{"value":{"amount":"+0.8893034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939697$27A59513-FD1A-48BA-AEF4-9365FA548557","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4939697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4939697"}}}}}