{"entities":{"Q4880488":{"pageid":6910067,"ns":120,"title":"Item:Q4880488","lastrevid":41076925,"modified":"2025-04-18T03:49:25Z","type":"item","id":"Q4880488","labels":{"en":{"language":"en","value":"Refining reduction in the lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 885102"}},"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":"Q4880488$C8AD5DA7-0F05-481B-BDE7-770511D25CAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f487314df484ab2b150a26357e209ee1497d7980","datavalue":{"value":{"text":"Refining reduction in the lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4880488$2B2099F1-6C89-4FAA-9AF8-A1AA44C3E742","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57f64c6d7ecd65928d9de613fafafc452b572588","datavalue":{"value":"0846.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880488$690FD10B-AA3B-4314-B3C8-3E4A1E1B50EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0cd18275569f1e364bc4dbfb904ca3b45357594","datavalue":{"value":"10.1017/S0956796800001507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880488$5E6A1DBB-61DA-4B0C-9D27-15E9A69650F4","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":"Q4880488$8EF9220E-49E7-41CC-8A1A-D39A85A4433B","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":"Q4880488$1B2A3C19-282A-4786-99CD-AA31D377F53D","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":"Q4880488$C26208F7-8694-4D57-9D72-DE62F7047C57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94216ebf2d6bcbf04d51310e4eaa74cb6d0ac011","datavalue":{"value":{"time":"+1996-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4880488$CA304812-4F80-4100-AFF3-2F9F1C8E2AD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880488$77C5CAEE-C1DA-48B4-8EF6-E5D545A74E99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b76eb08eb0cce78a793f0ca608406d6ad54df8c","datavalue":{"value":"885102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880488$83AEFEA9-FD63-4B3A-8248-B192D3903696","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"081924135c932b980cb7d2d452bc156d6cd5b308","datavalue":{"value":"Church Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880488$C619DAA3-1AB3-4505-937E-DDFCD17178E2","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":"Q4880488$E792A6B8-2EBF-4FFB-A9E7-7E949F8F6195","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c730ba20c9991a2568e17ae9a2be1ca0275d298e","datavalue":{"value":{"entity-type":"item","numeric-id":4939694,"id":"Q4939694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880488$3994374F-27A2-47BD-A16F-6312D74E173C","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":"Q4880488$1EAF6A31-94F8-4214-A69F-AA3BC14AE2EB","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":"Q4880488$20309707-D28C-4D47-A99D-630853CC8D53","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":"Q4880488$17288E79-BDCC-4E17-B7C7-191119928375","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52bc4b825ea3028c5d55f6c415eac45438b8eb3f","datavalue":{"value":"https://doi.org/10.1017/s0956796800001507","type":"string"},"datatype":"url"},"type":"statement","id":"Q4880488$1ECCD13E-9216-4B82-8885-0AD6C8A48738","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ffc09da156fa63c2b9f9b3d14bfe50558291835","datavalue":{"value":"W2118527795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880488$50D81629-4806-4D6B-AF13-E9A4CEC05596","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"212262fbb8f0bb6582f2227c8282019d3091622d","datavalue":{"value":{"entity-type":"item","numeric-id":1978706,"id":"Q1978706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7864d321ac3587070b33852a271372fac1506d46","datavalue":{"value":{"amount":"+0.9337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880488$F0B182B1-F77E-4CE8-A8D8-CA5C052D11ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a11d7e82184de5d5a63a9c2578cd22dae9b4a76","datavalue":{"value":{"entity-type":"item","numeric-id":4794072,"id":"Q4794072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7e9b09689696726282820be2e2de721176111f","datavalue":{"value":{"amount":"+0.9257764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880488$0FC59684-63C2-4E27-9780-D57D7142E35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83043cfe6d55798b0b8c9e4fcba28fb686579fa8","datavalue":{"value":{"entity-type":"item","numeric-id":1129266,"id":"Q1129266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0429e7b9c22eeb77e046a0fc7e77a7e2ecbd0d9b","datavalue":{"value":{"amount":"+0.92370015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880488$F0E8FC38-607D-4451-A7A8-9C9D4B6295B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01139883031fe87bf499e2c4e740336ba881fc54","datavalue":{"value":{"entity-type":"item","numeric-id":4414741,"id":"Q4414741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e691b9706d452a77637ca60ea337761e438de6f","datavalue":{"value":{"amount":"+0.9205223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880488$3C33C3A1-6C1E-464E-A43F-60E8F9AE8AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05060f3426b0875bee5833ffff411d5b66dff84e","datavalue":{"value":{"entity-type":"item","numeric-id":4917067,"id":"Q4917067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e691b9706d452a77637ca60ea337761e438de6f","datavalue":{"value":{"amount":"+0.9205223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880488$18778606-86DC-46FE-AB8C-EDB2D117974C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d83bc515640a4a3dc6637e8114205532f9a50ae5","datavalue":{"value":{"entity-type":"item","numeric-id":5224689,"id":"Q5224689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ce1d23d25aedd9ae5671fa22aa42b6586521ec","datavalue":{"value":{"amount":"+0.9204254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880488$1B6567DE-6F1E-479D-B18A-0D6348B224F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1eae2ae7d1bf5484dd3a3f61064e70b3e2c71b","datavalue":{"value":{"amount":"+0.91953254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880488$2F5E5135-5690-48C3-85E6-A0F954907C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30bb15c94939ecdec7943b5e0e481b49dd97ead2","datavalue":{"value":{"entity-type":"item","numeric-id":792994,"id":"Q792994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5541892aa15f6b7267d3b3c5211c68894afcb9a7","datavalue":{"value":{"amount":"+0.91893846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880488$39D2A14F-5057-4811-9EBC-719E04DDE871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca48d0e440db16032230a87f8cae57570a5856a","datavalue":{"value":{"entity-type":"item","numeric-id":5703851,"id":"Q5703851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5523abb10bc8754eafd08f449bbcd4bfb4998ecc","datavalue":{"value":{"amount":"+0.917101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880488$BCB112A7-ACBC-4ED2-A420-9150C3E74314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dced8c87cc932bc56d55b026c9ad533474e7999","datavalue":{"value":{"entity-type":"item","numeric-id":2842839,"id":"Q2842839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f299f03539fddb90fd5c8f4fe6e4a0f05dbae865","datavalue":{"value":{"amount":"+0.90629625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4880488$EBD059B0-BCFE-4AD4-9C1A-905CE77E51F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4880488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4880488"}}}}}