{"entities":{"Q930867":{"pageid":932715,"ns":120,"title":"Item:Q930867","lastrevid":50391194,"modified":"2026-01-13T23:08:43Z","type":"item","id":"Q930867","labels":{"en":{"language":"en","value":"Parametric \\(\\lambda \\)-theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292217"}},"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":"Q930867$E65A4CE6-FFE3-4D0C-8EF3-ED4C7B0BB8F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22d5273eecd75cabff0fa618cf6802a6c47b5f2b","datavalue":{"value":{"text":"Parametric \\(\\lambda \\)-theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q930867$AB68CAC8-1358-4991-920E-D67542257882","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a1b7b64f1dcbc7b0d2cba4c5380bb113b7e5b6c","datavalue":{"value":"1145.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930867$98486A3F-D1D0-428F-80DE-A0926A3310B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f1fea3173fc5baef1bc16b9ceb99d57b30e613d","datavalue":{"value":{"entity-type":"item","numeric-id":534699,"id":"Q534699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$46C735FD-4546-4858-9F74-EF0DE88AB6A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$3BEDF01A-A173-4F40-B21D-6FD90BEDCFC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e5c358dfaf7831eeef2b1629a133ab38a6eded","datavalue":{"value":{"time":"+2008-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q930867$39CDB236-7041-4DA0-99BC-FB4AFB13C52B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930867$7CA32977-8B83-4E75-833D-F1F49CC7C132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930867$F29260C7-6C00-41F9-973C-1356FAD0EC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930867$A2B7CC38-4163-4B7C-BEC9-C4DA76FD398B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f667a7fe61e46f0070d65a8b3ad8ab6b2bf1da8","datavalue":{"value":"5292217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930867$C6D05FFF-04DF-4445-9A08-D711D2E00255","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e8eca843f7ad0e9e044c1727579e6ce03baf2e6","datavalue":{"value":"parametric \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q930867$AD03E4E0-5BAD-4DDB-BAE9-DEECE9704C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636c67825d8baba42524c03d1f964461e21edd03","datavalue":{"value":"\\(\\lambda \\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q930867$60728091-84E6-4533-A5D2-95B191CF77C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q930867$9FACBFDE-1F5E-47F2-96B2-F9A906A13FC8","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":"Q930867$4853B9F3-FB34-44DC-9891-7CDD5EB39E20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a02923f22013c4610b812989b2f74fd79662f8b8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.01.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q930867$0091B4A7-CA55-4742-B4BE-C32FD577F55E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c2faf956b66e52127e624d4c5ebf76d0c7d39a7","datavalue":{"value":"W2048932540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930867$FD789A85-6A8A-4F65-8F52-A387D60C4543","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$521FE6D3-FC25-4C9A-9871-503F468D415F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$F7D6EC1D-30FF-48D0-B905-34ADF3822BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$6CC4E5C8-B11E-42BB-82B6-FC29C36F7A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb25dd7f01109043db25ec1276aefa0a257d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":1257009,"id":"Q1257009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$4CF51C80-0C29-49A4-9B7E-2C2D54893B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf8f59cc1b038d12c22ab3708ce592e8e055a5a","datavalue":{"value":{"entity-type":"item","numeric-id":4175261,"id":"Q4175261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$304D04C8-E9FA-4902-910C-2AB6B9D01B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$E568B929-AB3A-4FB5-9A5D-AB553C099D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6ea593319c3a92c989573a001f928c1d6ba2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4018065,"id":"Q4018065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$3DC14046-3829-416F-9F23-111199AD5051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$D6756ECE-7DE4-42DA-80C2-DF1B00B9F6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f212fb967f9a9d9854f9848f7aff4d399d7a98","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$31E62AA7-6928-4B28-A730-EA2CFC3C29A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$7F50E234-D830-4EAA-A1AE-73ED18D3007D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$9F433677-A79F-4FB1-83BB-F8CA35727F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c401e46239dabb51683570f5525fdcd2a90e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4094853,"id":"Q4094853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$23C687F4-C0B3-4ACA-9957-4DB217C36056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad8af0c65e8ea1de6491aa160a44c9a8c63546a","datavalue":{"value":{"entity-type":"item","numeric-id":5899100,"id":"Q5899100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$A212E88A-7E58-4582-AA59-D928BE2F17D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa13f1b76ca50863813a58c266f73485ca275cec","datavalue":{"value":{"entity-type":"item","numeric-id":2847789,"id":"Q2847789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$01BEA5FD-7722-4331-A743-DCBE1A79C1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa56ee55ee08ce37d14abf355cc8adb74cee1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1887148,"id":"Q1887148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$B74D5806-5C49-41B4-AF92-BF47E72E3F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$07A142A3-1889-4ECA-BFF1-76616A6C520F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$C2B09945-D316-47AB-99FE-F964B5DF2FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c26825fcf739d62c204dd52aa4060382a449a2","datavalue":{"value":{"entity-type":"item","numeric-id":703856,"id":"Q703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$A11CC438-D8A7-4EE9-A187-CFFEAEB2BC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc9805b5fa6bfdbbc40963bf99daff64ad8032d","datavalue":{"value":{"entity-type":"item","numeric-id":3664454,"id":"Q3664454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$EA843836-7A1B-4E03-92C8-EC595DE46270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930867$6F7B9CA8-8A4A-4738-B621-E051DB0C4D38","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"99f36c76dc1093d2f192b4ad56fe0033192eb660","datavalue":{"value":"Q57722180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930867$9D34FB90-C401-4194-8684-6EC757143CDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a125694e220f0dfccc488cb2655588064dcc0e28","datavalue":{"value":"10.1016/J.TCS.2008.01.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930867$14AC5B9D-7E46-4463-87B5-510B8E6662F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76508a94c2e7fc217dbcc27aa81bee2d4a0a96e6","datavalue":{"value":{"entity-type":"item","numeric-id":1887148,"id":"Q1887148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c2eb79aca855e9876351f0b6f4b93e535869cb","datavalue":{"value":{"amount":"+0.8264548778533936","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":"Q930867$9EFE5BB0-772E-4992-9908-5DAF6DB9FAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb43704204c452c2930ea71927323f6554001220","datavalue":{"value":{"entity-type":"item","numeric-id":703856,"id":"Q703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23c5e8395f173c9cfe6f54548fa6526d6682494","datavalue":{"value":{"amount":"+0.8223026990890503","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":"Q930867$C0897199-EB14-4BB3-9EFA-BBC7B83E882C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fdc7d157831fb560c9dfb165b6fa904fea4f97b","datavalue":{"value":{"entity-type":"item","numeric-id":2852350,"id":"Q2852350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5401c806bbace0a0412ddef573fe3f5b69c089ef","datavalue":{"value":{"amount":"+0.755476176738739","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":"Q930867$BB9D0A75-AE1F-4F1C-B8F8-B13FEF89A1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b2df7551c3d501c4167db2c28ffe426ba10dbb","datavalue":{"value":{"entity-type":"item","numeric-id":4879947,"id":"Q4879947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894e738d72c98bce622c2df46b8a504855cc20ed","datavalue":{"value":{"amount":"+0.7422517538070679","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":"Q930867$4584AC59-945F-485A-9BB8-E99E33A354E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4edc1dd9f2b8d39ab6bf8ce7c5873e59067b058","datavalue":{"value":{"entity-type":"item","numeric-id":5310662,"id":"Q5310662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6763f3670c5f5f21252b98f189a111e7a00d2bea","datavalue":{"value":{"amount":"+0.736617386341095","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":"Q930867$94E1B491-27EE-48E8-B87D-A9B3083288FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:930867","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:930867"}}}}}