{"entities":{"Q2988646":{"pageid":2999370,"ns":120,"title":"Item:Q2988646","lastrevid":85812548,"modified":"2026-06-03T11:37:25Z","type":"item","id":"Q2988646","labels":{"en":{"language":"en","value":"Metric reasoning about \\(\\lambda\\)-terms: the general case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721327"}},"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":"Q2988646$EA45E0D1-A64A-4CC5-89F4-1A43DCB15B4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bb604bd575f66bea1e156f80761ed4824bb962e","datavalue":{"value":{"text":"Metric Reasoning About $$\\lambda $$-Terms: The General Case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988646$231842CF-2BCA-4260-A73A-79BC70DA0FEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f48c1107a980e826c0686519809b2ca1fe62d59c","datavalue":{"value":"1485.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988646$B4F52DBC-1D42-4AE9-A69B-61531FD79FBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8397631f951cbdb8671a9c35edc641362cd40800","datavalue":{"value":"10.1007/978-3-662-54434-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988646$41CE5E7B-5614-4A81-BA33-5C4B59C7935B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f43fb5ae92882e75e51ef0c1040f41512c353d0","datavalue":{"value":{"entity-type":"item","numeric-id":2988357,"id":"Q2988357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$F065551D-1427-4FDD-B2D2-E62A974150A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$B6822E6F-6B84-4D86-B795-FABB33B827D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$35DF52D4-F3EE-42D6-A22B-DF41161B9601","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988646$1137830F-250B-4D71-9B0B-719ED3757990","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c99b2f0fa506b9897e247c4b89d63dd660def536","datavalue":{"value":"https://arxiv.org/abs/1701.05521","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988646$837BEAD3-3490-481E-A461-157BA8D9C583","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988646$0CFFE014-15A4-42DB-AC4C-2194D1D91405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988646$45AC783E-2F56-4EFD-A566-5EBBD5B7A886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988646$CADFFE05-0D29-43DE-9582-3DBAA0DD4CF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da29a9ab06e31c7de09be39a79b1ad3a2ebda6f4","datavalue":{"value":"6721327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988646$A90F166C-603E-4718-B505-CCCAEB701725","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6b3fcb0271dd0c2c597db890e550deacab936e2b","datavalue":{"value":{"entity-type":"item","numeric-id":20942,"id":"Q20942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$6ACD497B-1732-499D-B112-EF782617DFAF","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":"Q2988646$676C042B-1B47-4F06-B73B-3FE758A06769","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84f6c73e092bc50eee9f224285d33ebb59980d81","datavalue":{"value":"W2595263283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988646$D366260E-319F-4D39-A7F5-171D55E95F55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$1A1AD87A-6080-4D3E-AACC-EB36215EE539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$D8CF14DE-C460-42A4-94CD-FC8467151F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81da6ef3aa2f362dbf8750a99b64dca0398f256a","datavalue":{"value":{"entity-type":"item","numeric-id":2949445,"id":"Q2949445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$76AC1A03-5148-4445-9B5C-46876D84D842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe8d7166c9d4ee791a8b4cb10be7139074756aa","datavalue":{"value":{"entity-type":"item","numeric-id":2947890,"id":"Q2947890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$C9A6302D-0806-422A-A315-719DDE6172AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b85a0716c9176a24fe9f3224d2ebf22b69ed28","datavalue":{"value":{"entity-type":"item","numeric-id":5410701,"id":"Q5410701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$4046731D-BB7B-4FEA-845D-9198FB968C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47a68d3004d147e7b0dbf4db2d3d3b9527e1665","datavalue":{"value":{"entity-type":"item","numeric-id":4635842,"id":"Q4635842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$7B2BAAC6-3F5D-4D25-8E15-E84FFABF90D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0b4b83a8f3411743c9b6e6bf6fa47950093e79","datavalue":{"value":{"entity-type":"item","numeric-id":2988646,"id":"Q2988646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$CEDD4C47-594D-4214-A4F3-D901E33A0FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30561a2ef198c7e539a1111e7083e8b732db6cd4","datavalue":{"value":{"entity-type":"item","numeric-id":3449626,"id":"Q3449626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$757A3A8D-4588-4B1D-8BC2-F68A8A2CE1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b2764b08fc9c2cf581a3f76188486052f05ac78","datavalue":{"value":{"entity-type":"item","numeric-id":5408426,"id":"Q5408426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$45DE1A34-1B52-4C17-AB98-3D9222CF894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e137c878ec0577b699fe6022ebb4b45e205d0000","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$D494589B-E066-42AA-A928-B435E3B74903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd4fea53b7d739c7649130a0202bbf906aa47a","datavalue":{"value":{"entity-type":"item","numeric-id":4270063,"id":"Q4270063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$FF6E534E-6CBA-4519-91E6-3646ADEEB9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18575257a2c0f53473e2c8e64ee6959b10c070fd","datavalue":{"value":{"entity-type":"item","numeric-id":5408427,"id":"Q5408427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$4C704BCB-FBB1-458F-ADB9-B74BE9B1B5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33bcb16fc890d9db1593e999460af9be0783cdb","datavalue":{"value":{"entity-type":"item","numeric-id":2949442,"id":"Q2949442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$6F228228-C484-4CEF-B296-250E9F7727B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d5ccc96a4335be9e1842f9422a94c6cc24c57d","datavalue":{"value":{"entity-type":"item","numeric-id":5357701,"id":"Q5357701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$3455D90A-EF1A-435D-854E-875A5DEA1F02","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":"Q2988646$A0C86D56-0619-4EDD-B897-4BCD7A5D51D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b548fb76f8ef8a56f9223030f407f1a96f0c7ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1057832,"id":"Q1057832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$49F8C327-9999-402F-BCCC-BE4E2FAE203F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$E2F7130B-2063-4931-BA75-7205B2289EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c9295458ada3d551f53992f0fe6aefb0e26ba4","datavalue":{"value":{"entity-type":"item","numeric-id":4939994,"id":"Q4939994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$B02F91B8-DE7E-4DF3-8133-2DD3A74F2B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c37086ac5ed0d60341aeba85e60e276ca9f5089","datavalue":{"value":{"entity-type":"item","numeric-id":3997653,"id":"Q3997653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$9C3FB524-C954-4F25-8C0B-A6D10C4CF008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$9E256700-B892-4281-87F9-A83B5E78669C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c7c5e9586e81ad658f8fe2b1e3076c2f1ebbc","datavalue":{"value":{"entity-type":"item","numeric-id":5178903,"id":"Q5178903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$55B9D08A-D57D-4F0F-AE1F-F5F220D7B64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f815b333bb881989d9b818874a2a5f2de3414597","datavalue":{"value":{"entity-type":"item","numeric-id":4179849,"id":"Q4179849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$E51B3DAA-AE0B-4E7F-9319-3081449E918A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$36F6561F-F4F4-4396-8223-EE1C29E6FBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e290f57a1e4e293ccc3fdfa33b0b64a4f73d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2828300,"id":"Q2828300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$181C56A3-F24A-496E-9392-D1B8091DEF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81397f0345ca4bcad82ce8e3e49409354adbd5f3","datavalue":{"value":{"entity-type":"item","numeric-id":5703851,"id":"Q5703851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$38DFA4D6-93C2-4F52-AB6B-F39E2E59FC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a7868470ff575c450bc5bf1ed5f0ae6ca7d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5941193,"id":"Q5941193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$122F6FAF-C401-43E0-B8BF-BBC57B713342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaedb9f602c018e3f49cab3fdcc2051049564e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988646$C52D5527-6CE7-467E-B7D6-FC6ABE31345D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efdc0d50c250b78fc9209770ee6ccae3b6afe665","datavalue":{"value":{"entity-type":"item","numeric-id":4635842,"id":"Q4635842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2794dd5b224504891dc6f7edbd3ad20a073f6d62","datavalue":{"value":{"amount":"+0.9024423360824584","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":"Q2988646$B527A33D-3606-4D3B-A141-549BA6249332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e51a8c38208cc4d7fccdf4880806252948ba163","datavalue":{"value":{"entity-type":"item","numeric-id":2947890,"id":"Q2947890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc47b98d0d8b08eaa3c005584819b98c15ec971f","datavalue":{"value":{"amount":"+0.7697197794914246","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":"Q2988646$57494853-2403-4DA1-B63D-40B0834CEBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59cbbbe878bfefd506a0814c1562a18cb7869040","datavalue":{"value":{"entity-type":"item","numeric-id":5410701,"id":"Q5410701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af6b32f4219698176304ddebb007d8dc20f1311f","datavalue":{"value":{"amount":"+0.7620073556900024","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":"Q2988646$2AC78071-C1DC-450E-94A2-67F0C50B996A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7833bb0ac3837d346692405d6da087b1028137","datavalue":{"value":{"entity-type":"item","numeric-id":5145320,"id":"Q5145320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ca76d3fa448451d8ae4bef59371028cfa591580","datavalue":{"value":{"amount":"+0.7493616342544556","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":"Q2988646$C0E9B386-7B78-499E-BEF9-B8496A7B4573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9badaf2611c4876a802e2c4209fc032d6497609c","datavalue":{"value":{"entity-type":"item","numeric-id":5408426,"id":"Q5408426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8fa5c66fd83ba547b14cf5ccfad059e2203a5a1","datavalue":{"value":{"amount":"+0.7459090352058411","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":"Q2988646$2F373535-9857-4439-AD5E-288CC6A65771","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Metric reasoning about \\(\\lambda\\)-terms: the general case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Metric_reasoning_about_%5C(%5Clambda%5C)-terms:_the_general_case"}}}}}