{"entities":{"Q1349674":{"pageid":1360413,"ns":120,"title":"Item:Q1349674","lastrevid":67205037,"modified":"2026-04-12T16:01:48Z","type":"item","id":"Q1349674","labels":{"en":{"language":"en","value":"A unified approach to type theory through a refined \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983730"}},"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":"Q1349674$C41FDF43-2CC4-4A0E-A8C9-E45F5727515E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e91d95e16242d5e7bd84ec92cae468641d40e745","datavalue":{"value":{"text":"A unified approach to type theory through a refined \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1349674$F64910EA-1A6C-4834-87D5-54C0FCFC41CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8074cae1a6b00589c1a1262ee76b7a6ea4c056d0","datavalue":{"value":"0874.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349674$D78D5115-1A46-4254-A0F6-0A8851D5E70F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4bbbf23f743638c6fe2f691e88a03bf5c3cc8be","datavalue":{"value":"10.1016/0304-3975(94)00127-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349674$16F9C5F7-67F0-4347-A183-0C666B414443","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$A998F89A-BEC6-40E3-849E-9EFAC8E3DE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccf0e6228bb42cc5ee8cdb809da3f851a52cf91a","datavalue":{"value":{"entity-type":"item","numeric-id":740480,"id":"Q740480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$BB17542E-7BE9-4566-8C1E-CAECD64D666B","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":"Q1349674$91B9A91D-8562-4EEE-B153-AD8F973D28C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-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":"Q1349674$DDBA8CC9-30C1-43FA-8E4B-FC8E1122ABB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349674$3A5A9D82-1985-44A8-944D-DED1A70C1A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349674$8317A4B6-984A-49AF-8E06-E8CDC1EC76CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349674$D36DB252-B688-47FD-BC02-2D02F2162460","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c850a49201ebe39a9d11bfe71d4dca64fe98ce2","datavalue":{"value":"983730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349674$059E2C46-11F4-470D-952C-0F1E7E4B5D42","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$ACF96D93-6248-4722-A2AC-750077234BBD","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":"Q1349674$C08CCF53-A6A8-4543-B222-1C24B5BA8E22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3902c6ebe8aa6d6e27c6f885b36b866f971e611f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00127-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1349674$8B26AA7C-2CA9-492F-AB62-B0A2FD23220C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8ed78f50860d568892313ed2cb43c3cf1997893","datavalue":{"value":"W2000972984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349674$66AE6BF8-1993-4B37-9EB1-A92FA81C1101","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$0A0712A9-46D1-4064-BF3C-CF9113FFE500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b55ad4ae884873664dba1bb8bdf04743ad4259","datavalue":{"value":{"entity-type":"item","numeric-id":4038654,"id":"Q4038654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$6DF55C96-C182-4264-A5B2-2347586F8393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4bfd5495fb43121f8a4e322e6d89c59ef06b781","datavalue":{"value":{"entity-type":"item","numeric-id":1097253,"id":"Q1097253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$75D65EEB-C411-4B5B-A4DF-D5F1D154B84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c91066f858fa64a799af591825e0694228fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4122841,"id":"Q4122841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$78AF3583-FB78-4EAB-A08C-542603693CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$732BF841-B306-40BF-9A21-B18BCD0CB842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$34131BA1-1FE8-4D1B-9747-3865A32B0AEE","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":"Q1349674$F8EB0E7B-1CEA-4420-97B8-900FB1358199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ad42be65af5dfa9e512f666229d02ed5041b60","datavalue":{"value":{"entity-type":"item","numeric-id":3856127,"id":"Q3856127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$E91335A3-E1E3-4E4E-84C6-DCD1A7239598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a4a1679937b2a5eab68ce23cf84d341ec36a99","datavalue":{"value":{"entity-type":"item","numeric-id":1208425,"id":"Q1208425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$322E7BC8-1C5F-4C6B-AA47-BB03F0770EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653b9c1107b803eefbeb87606f4eab1809b27ff8","datavalue":{"value":{"entity-type":"item","numeric-id":1314293,"id":"Q1314293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$A02892C1-AB01-4CF6-872D-2F1EA1D7F951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1eba0d19d16f199cc4a005dde4800fb9191d62","datavalue":{"value":{"entity-type":"item","numeric-id":5285989,"id":"Q5285989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$EDD99795-A505-4677-8EA1-69532BF335D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe0713865fc3111d28b95b8b38aaf48bd28a396","datavalue":{"value":{"entity-type":"item","numeric-id":5286912,"id":"Q5286912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$6BA36E34-3EAD-406D-A63B-8EA302AF3A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b4ef73623b59f38de6bc243d2e37b3230f1767","datavalue":{"value":{"entity-type":"item","numeric-id":4866983,"id":"Q4866983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$84359D48-F0BD-46B3-B2FD-456B2340465A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d2fa8512263faaeb53449c4f0553d1bc41ce9e","datavalue":{"value":{"entity-type":"item","numeric-id":1314276,"id":"Q1314276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$FBE88B70-997B-4E7C-B0EC-90E7EFDDD59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b201d97ba51e9a469157bfcbb5963e8e4d8cc7b7","datavalue":{"value":{"entity-type":"item","numeric-id":4286110,"id":"Q4286110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$41184CCB-EA2F-40D7-BA96-46FE45756B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3528791b2d72341145ead8443ceec77b79252da3","datavalue":{"value":{"entity-type":"item","numeric-id":1365680,"id":"Q1365680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$C8AFC7E7-8794-42CE-8767-A9AAD79AF581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7aa565bdb2a148fd351c269e59a364d9556ee2","datavalue":{"value":{"entity-type":"item","numeric-id":1349674,"id":"Q1349674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$61E22FBE-4448-4829-B15A-D1891BF1770E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f4fe1b8977f490196c9188240db25c416d17b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4880488,"id":"Q4880488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$FE3CF2DA-44E5-4DA3-AB04-23C2ED2469D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5465db99f8f30dc187c2ac3fa858fe8ab1debc4","datavalue":{"value":{"entity-type":"item","numeric-id":4895552,"id":"Q4895552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$92681257-1F5F-4B48-8428-47F92F697613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd16d6aa13a5af0f2ed20cff75e9df8d13bf4212","datavalue":{"value":{"entity-type":"item","numeric-id":3880323,"id":"Q3880323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$F950408C-A5D6-468A-8CCD-9D1D6E4536AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349674$DB27C805-B6ED-4A95-A702-4749E9EB2C03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9f9242db5cf52fae93875abf93dcee96f827d6","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6fa7ff2d7d2a30b64b89307f1743fd1345943a","datavalue":{"value":{"amount":"+0.810230553150177","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":"Q1349674$48351829-48AD-42AC-BBF8-1FA7A07097EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d272186d1085e2a38fad98cacb584bf7cea9da28","datavalue":{"value":{"entity-type":"item","numeric-id":3194722,"id":"Q3194722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1039df388341b914b2e691eab23bcab53f303a","datavalue":{"value":{"amount":"+0.8069590330123901","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":"Q1349674$28B04D09-A69B-43C0-962A-46DFAEAA70CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7823d9be0b52fdfef9ecae4fe181bf54575428cc","datavalue":{"value":{"entity-type":"item","numeric-id":5695119,"id":"Q5695119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f1946d2584748c7b3831ed221a706bb9cac91b","datavalue":{"value":{"amount":"+0.7673415541648865","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":"Q1349674$952AEE0F-8DAA-4548-B65F-79B11B1F9F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5310df8135c11117d0be2e73061f7ffeb54ebf19","datavalue":{"value":{"entity-type":"item","numeric-id":2946591,"id":"Q2946591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53f01eb5a443edca6931080e4dda7745032272c","datavalue":{"value":{"amount":"+0.7499624490737915","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":"Q1349674$676077D6-2435-457E-A57E-BD297A0BFFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca3707f98f6036cddf2d452edee76de805a306f","datavalue":{"value":{"entity-type":"item","numeric-id":4842275,"id":"Q4842275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591dcc18c3adb19b05eb26e433718aee09e05c78","datavalue":{"value":{"amount":"+0.7490182518959045","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":"Q1349674$EE023BF8-A02C-4658-8F00-8DF09A0F4136","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A unified approach to type theory through a refined \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_unified_approach_to_type_theory_through_a_refined_%5C(%5Clambda%5C)-calculus"}}}}}