{"entities":{"Q897480":{"pageid":899328,"ns":120,"title":"Item:Q897480","lastrevid":52408805,"modified":"2026-01-22T14:16:15Z","type":"item","id":"Q897480","labels":{"en":{"language":"en","value":"Reduction rules for intuitionistic \\(\\lambda\\rho\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516813"}},"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":"Q897480$B85669F8-9B88-4634-BA0D-A238806076E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21173f8ccfae5e9c909eb43bef740970afcbb1a7","datavalue":{"value":{"text":"Reduction rules for intuitionistic \\(\\lambda\\rho\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q897480$80D75AFB-3359-432A-AFD7-8BF5A8780BF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d184130d251d1e8fd91b6fb56f6e596badd5e78f","datavalue":{"value":"1378.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897480$5840B23B-3047-4A72-9786-4E7BB3E160D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647c63bfabe2cc5aa72008693495435e80f88915","datavalue":{"value":{"entity-type":"item","numeric-id":402116,"id":"Q402116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897480$CF9BA129-B066-4411-9A8F-6A3F7B7DCFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5204fccf6931ba93979bc107c2fe66e59a9ff1f6","datavalue":{"value":{"entity-type":"item","numeric-id":676307,"id":"Q676307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897480$71513F08-93B2-41BD-B1BA-4A1A5BE139FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0a93f19c4cc0c20d021d0666ee26e24957f36a0","datavalue":{"value":{"entity-type":"item","numeric-id":897479,"id":"Q897479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897480$9973C94F-0EC8-4B3D-A898-F44EFE2674C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"284b349575b4cf80ae5ff7dbd50dcd981e4aa70a","datavalue":{"value":{"entity-type":"item","numeric-id":1089329,"id":"Q1089329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897480$DCABBF03-A3FE-4203-A6B2-760DB9AF439E","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":"Q897480$9FC35536-2027-4A4C-8F17-33B304CEAE7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q897480$B5DB8720-9D35-426A-8051-F0E4E5B8D4F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897480$F5F7833E-8742-4B88-A4CA-B5A24461E84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897480$FDC59C8D-A149-4887-890A-59CF7B30BAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897480$8B7F3E8B-AB1C-4F49-8CAA-203958F46A5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cfaa85bc939979a676fbea8f48443c29db32223","datavalue":{"value":"6516813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897480$3CC47213-9031-4F28-B335-66182A5F0188","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b761bde4f113f0a5afb5883ee931d7c139ab6a1f","datavalue":{"value":"\\(\\lambda\\rho\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q897480$B14095E4-2EDA-45D1-A709-4E9AC25FC8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q897480$4EC76F77-4A95-4DB5-9CF9-48EFFF23145A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q897480$7582A349-B835-4386-9B04-00EDD89E58EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q897480$9F1E7D07-12DF-4135-925B-10A71AB7689A","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":"Q897480$504B374A-D63B-48FC-BC26-07F825E19980","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"980901a952f0dbb7c962534ecf554cb844865208","datavalue":{"value":"https://doi.org/10.1007/s11225-015-9616-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q897480$74630390-FEFA-453B-8CFE-5B19C79F8006","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37d899c88b04b60a827b441c788dad78c5068e42","datavalue":{"value":"W851658754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897480$2FBDECB9-E126-490A-8B2D-AB002B8264E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75340d0b8e101ea4b05a5c2a843b20e117b38326","datavalue":{"value":{"entity-type":"item","numeric-id":4252649,"id":"Q4252649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897480$7656228B-628B-48AF-AC40-FEA2CF3648FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dc56f29c4bd1164dea75f75dd1b86b9f33f121","datavalue":{"value":{"entity-type":"item","numeric-id":2849855,"id":"Q2849855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897480$118F5A02-EF23-48D0-B9AA-E0B345C03861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9b6c837d9448bc2b136325c331db8629ab4909","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897480$DFB88F15-5D65-4671-978E-FE6F3C8F9011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb72cd6bda37262199f054c3e49ed1f627a6fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1392142,"id":"Q1392142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897480$C2A99942-9699-4DA4-879A-37D0123A653C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46d804a5363d847a2e9e54d905ff7e520257179","datavalue":{"value":{"entity-type":"item","numeric-id":2016071,"id":"Q2016071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897480$33AF75D1-9231-4BB0-805A-24B0FC68F7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236509053325bf3c8abb419a9962c167d5c7b4ef","datavalue":{"value":{"entity-type":"item","numeric-id":2434902,"id":"Q2434902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897480$9AEF0F1E-ED5B-4541-9407-107F437BC798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897480$A9F5755B-E276-4696-9981-53A001BD42F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897480$8E8F44B8-38DC-4868-9590-DE8547D38554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897480$144A07D8-9426-4D21-BFB1-89797AE8CE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c849d2d38c6b1d2b1f2f793c122b8436a566e5","datavalue":{"value":{"entity-type":"item","numeric-id":5714454,"id":"Q5714454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q897480$14E04A75-8EC8-4AE6-9E7F-04830878AD12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eee8eef01452bc762acef483a946f55fa84460b2","datavalue":{"value":"10.1007/S11225-015-9616-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897480$E40ECB1D-9750-4369-9FCB-A1026FD1F439","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6a7efe657fd9f33c3ece5bea373ed42c641a63","datavalue":{"value":{"entity-type":"item","numeric-id":2434902,"id":"Q2434902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f54e2e3d92e46724c77919a533ca8e266b74662","datavalue":{"value":{"amount":"+0.847796618938446","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":"Q897480$2DBB9C80-E998-409C-A8E8-10DB95AFAE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c7e0bbcbef3879468c0f1b7b9e44d3104aa084","datavalue":{"value":{"entity-type":"item","numeric-id":4443208,"id":"Q4443208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b645059fbe3e0d5ad9e9dfdd1482296b84b26070","datavalue":{"value":{"amount":"+0.8356610536575317","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":"Q897480$14B676D6-D6B4-4B80-8ABA-D08CF30585C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9acf76d4282f666f48eda47b30cbeb51aa60e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4809790,"id":"Q4809790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d3c7e8f396f7d397d6926b3795f6c2c5924bcb","datavalue":{"value":{"amount":"+0.7735008597373962","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":"Q897480$84FEE40D-378C-41D9-9A6D-2BEFCF6E107E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b88942ca37f38995608b27c1e3caee28d73fffd","datavalue":{"value":{"amount":"+0.7637299299240112","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":"Q897480$DE3242A5-60BB-424A-9FA5-34E0BBE5BB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c5248bfbef1f497e4f388602d515b5d6a53b1fe","datavalue":{"value":{"entity-type":"item","numeric-id":4580321,"id":"Q4580321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb600365fb62f0d62b201000437e3d6737eb1e2","datavalue":{"value":{"amount":"+0.7600913643836975","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":"Q897480$1D209821-8E19-4A03-B43F-0DDB561B8A64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:897480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:897480"}}}}}