{"entities":{"Q1575247":{"pageid":1585987,"ns":120,"title":"Item:Q1575247","lastrevid":72229380,"modified":"2026-04-14T03:29:38Z","type":"item","id":"Q1575247","labels":{"en":{"language":"en","value":"Confluence of extensional and non-extensional \\(\\lambda\\)-calculi with explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493198"}},"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":"Q1575247$C5A77E65-8054-46C5-A90A-6E864666D564","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63110519b64f5f89189d637e6685d3ab26d41af4","datavalue":{"value":{"text":"Confluence of extensional and non-extensional \\(\\lambda\\)-calculi with explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575247$8A12C935-4E71-4DF7-900D-673198319585","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f73eb40ee1c53f25d3b7822b6bcff59c337f7790","datavalue":{"value":"0944.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575247$5E8F8AA7-09FE-4346-A422-BDB12CA65D57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46d8a184a40c8e6ba50e4595a3d171dfcde977ac","datavalue":{"value":"10.1016/S0304-3975(98)00166-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575247$C68EC59B-B573-4615-815E-C81C19E2D24D","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":"Q1575247$D32D380C-6199-49A1-AD66-66A4084987F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575247$67DD49CD-193C-4E54-92FA-B9594F1CB7B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575247$709584D1-5C5A-45B1-AC8B-A5246BB47227","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3caf99c5411e498d76285115a8fd7ad6e5ae117a","datavalue":{"value":"1493198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575247$F9E2BE14-A6A9-429C-A5D0-500F72495BFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575247$795F99EC-7469-4751-8E40-92FFCA09975D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc733e21e6045f1a40c846262ef150480aeb297e","datavalue":{"value":"calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575247$5B262064-F063-4F08-8E3C-7FA1B3EE62A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575247$DD356906-5F28-4128-BB79-D674E730182B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575247$866E7134-E9EC-45C3-A103-E0E390087E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575247$FF37AAF5-E330-4446-AD9E-13F66B424E6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$77F170C4-C050-4BA0-AEB2-FA2E75D5C571","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":"Q1575247$6C66110E-4B9A-4865-8404-E6861E7F1B49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$76D3F506-F383-4699-A03B-87EDF979AFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daf7bad1890a034b4e71a6cde1221dcde5a29c5","datavalue":{"value":{"entity-type":"item","numeric-id":4281490,"id":"Q4281490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$D7A44B2A-B83B-43BE-BC3E-8A7551CAD6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1656b0af82a8a7cd6d647840a56e40b6d7fabf","datavalue":{"value":{"entity-type":"item","numeric-id":3125228,"id":"Q3125228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$78BB6AA5-4C83-4B2D-A81B-7090F43D71D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a16f537bdf99dfbd34b1a8438034f97c39337cc","datavalue":{"value":{"entity-type":"item","numeric-id":5055859,"id":"Q5055859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$1D95E7FA-312F-4C8A-ADDD-7AA63734E997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9679f0826a8d3a4d0ec45661e84b0a0a87a61d3","datavalue":{"value":{"entity-type":"item","numeric-id":3024827,"id":"Q3024827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$D742C707-19A1-4504-9257-C6F36DA64BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$6B0261A9-0A9C-483F-9CFD-15E0F45BB656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d318da55de3f531193a364d562784327d78648c8","datavalue":{"value":{"entity-type":"item","numeric-id":4036571,"id":"Q4036571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$AB10A7DD-07CF-4889-AFA7-D50CCDE60EC2","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":"Q1575247$5D4E15B2-9CC7-4F95-ABE4-C20A225457DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde243ec86dae468c3d1c31e07be920dbdc3455c","datavalue":{"value":{"entity-type":"item","numeric-id":4175528,"id":"Q4175528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$558ACECA-C195-4425-AFA3-9F2D91BDD2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c252405abd976dcaf3cbe6a893c67bf7aa0b754b","datavalue":{"value":{"entity-type":"item","numeric-id":4630299,"id":"Q4630299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$ECAF9DC5-1CB9-45D1-BB42-C1F3F769475E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e08309da05a83f18dd51d23ac1b29390a177f54","datavalue":{"value":{"entity-type":"item","numeric-id":1349901,"id":"Q1349901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$4B7DB20C-4721-4051-981B-2868653D3605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d888f9a9bf6d1962e3fd93c776cc5efd40043e","datavalue":{"value":{"entity-type":"item","numeric-id":5055791,"id":"Q5055791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$488DC18A-CED1-43D0-8AB0-5E574CF69F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5927659804eca2a32583cb94f8cceb03b87d2078","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$716B48AC-EB0D-4F1A-82F9-20B8083A3946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"374c655ccb9c0e0555939864bb7687975f17356d","datavalue":{"value":{"entity-type":"item","numeric-id":2956728,"id":"Q2956728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$999ED9C5-118F-41F5-A7D2-842E52DD5B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad8db0e4eabb296777dd2451a5c2def8ac680d2","datavalue":{"value":{"entity-type":"item","numeric-id":1335136,"id":"Q1335136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$CA584C11-99F6-419B-A541-8FC397BB151F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c3aea8ba4374fa6afd6fa009a7280cc68d9953","datavalue":{"value":{"entity-type":"item","numeric-id":1822494,"id":"Q1822494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$9430F4DD-95E7-4A15-8F0B-78F61D9EE3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4597fc6828cec7b5cd7351c613a6892a3280ccd","datavalue":{"value":{"entity-type":"item","numeric-id":2817681,"id":"Q2817681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$13251443-9B47-4A73-A854-715A37F5D2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d5bf17a767be3c2d2fe0e26f029368df3acb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4850162,"id":"Q4850162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$789E7D31-78FB-492C-971E-955D3B1A52EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9856799bebc3b14cff23d50b4af9f7cda1dbd633","datavalue":{"value":{"entity-type":"item","numeric-id":1575247,"id":"Q1575247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$CB55DB4D-2011-4E86-9BE7-510582BA2399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0182daba0e89a170b94c09d9ff22097d6772af","datavalue":{"value":{"entity-type":"item","numeric-id":4259961,"id":"Q4259961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$6FB9F4AA-5CB8-4F4A-BD27-DF1C176664AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$F2043BE8-AB68-4637-8689-92A2D0BDED4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$8EDD3F79-B683-4B51-A655-A99BCC2CD629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bab25eceb42f52701d753efa4ce1915a7e4709","datavalue":{"value":{"entity-type":"item","numeric-id":3024846,"id":"Q3024846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$BBD9CDAF-66FE-471E-A7FD-062B0E5DB2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9df63191e117e98445c65ec498daee7c4b8d612","datavalue":{"value":{"entity-type":"item","numeric-id":4145693,"id":"Q4145693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$62849339-126B-4AEE-AF40-520252D28AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac03d0006f8aa10c79e0725e8d147c4cd85334c9","datavalue":{"value":{"entity-type":"item","numeric-id":4364378,"id":"Q4364378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$B4585E20-55A1-4508-98F8-2E8526E99D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a863517901a3f6f127be35b27a5fd134ba792ecd","datavalue":{"value":{"entity-type":"item","numeric-id":1159627,"id":"Q1159627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$0C26C6F9-32C0-4ED3-B8DD-27821A3DB273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$30A95D7D-E7B0-4A4F-906A-E136640660F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212a413d72385fbce7e63ede411ad18800925449","datavalue":{"value":{"entity-type":"item","numeric-id":4501166,"id":"Q4501166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$EF7885C5-657D-4821-A111-F51ACE381963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52daa7db4d526ad28728d2a0c4c6496dadc100d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575247$A9110EAC-879D-40CC-9A5A-AC2B3CB1DCC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d820de532ee70c4c5b79de888f7506e02ef34342","datavalue":{"value":{"entity-type":"item","numeric-id":5055860,"id":"Q5055860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785ca880496c9933fcb4e51524cbb18ffc8447bc","datavalue":{"value":{"amount":"+0.9821014404296876","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":"Q1575247$2844E015-471F-4233-9B15-3798CD9EC016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b81ba912d1cbad7c756971fb5cc3a7a5512625","datavalue":{"value":{"entity-type":"item","numeric-id":4371674,"id":"Q4371674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90df550b7420adb4f00ac81402064d672cc37df","datavalue":{"value":{"amount":"+0.861479640007019","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":"Q1575247$DBC54A61-CD7F-413A-A22E-D4584FED66C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cd9b33bb1904f035cb8a250807ea572aa3596e","datavalue":{"value":{"entity-type":"item","numeric-id":4360125,"id":"Q4360125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3ba6c2be8b797d008b11f73444906dfe327ef2","datavalue":{"value":{"amount":"+0.850067675113678","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":"Q1575247$C03ED0DC-6C25-47F2-8F71-E0E58A265A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5cfe1ea6c16b7c96b21c2e311cec51d57d4ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1335136,"id":"Q1335136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4800cbacac2c3ee609dec38d853a459a1835f1c0","datavalue":{"value":{"amount":"+0.8471554517745972","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":"Q1575247$92416FAE-7D75-4F88-97FA-1E5A003EBD91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Confluence of extensional and non-extensional \\(\\lambda\\)-calculi with explicit substitutions","badges":[]}}}}}