{"entities":{"Q5055860":{"pageid":7085437,"ns":120,"title":"Item:Q5055860","lastrevid":47786053,"modified":"2026-01-02T16:51:34Z","type":"item","id":"Q5055860","labels":{"en":{"language":"en","value":"Confluence properties of extensional and non-extensional \u03bb-calculi with explicit substitutions (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631292"}},"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":"Q5055860$B5393953-8A17-4DA6-A007-FE26DFA4F12F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"906eabe71225b4041b35e813423814f114201a75","datavalue":{"value":{"text":"Confluence properties of extensional and non-extensional \u03bb-calculi with explicit substitutions (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055860$3A4362C0-13C7-469F-A2D0-2005A4028086","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8739d411abf7decbd1264dd1458bd17f027fa64b","datavalue":{"value":"1503.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055860$FFE61401-04DD-412B-9141-3B62709DEAA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4db8bac6327b39d6b1123f76d598fe35aeef40b2","datavalue":{"value":"10.1007/3-540-61464-8_52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055860$74E70BFB-68B9-455F-BA38-18526CFA46CE","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":"Q5055860$483870DA-951B-4204-AE72-180766146D01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055860$D3F41ED6-B9F3-4647-9A4F-3C726EACD6F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055860$0EE675F8-F7F5-4248-A10F-4D0C2BFFB3A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055860$C085F03D-4168-4746-8E75-B7AA9B3E9208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055860$7675094F-E2EF-4D08-BF82-DCF8EDE175D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e77590a2de7fd521086171f39d861edabb3b2ad5","datavalue":{"value":"7631292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055860$8CB5D4BE-E860-4D98-89A4-49EB1C934275","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":"Q5055860$B3C18430-C5F0-4C48-8A8E-1059F5828900","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26da9ad0a769c8212286c346612fa7bbf6ca1d46","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_52","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055860$927579A4-9702-4F5F-8906-5AC59FF4B0C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed99705c9c19402feab3c2fb93ca7eb903b7e281","datavalue":{"value":"W1559970946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055860$0760D610-DC98-4116-A0E2-3C8D7649CE73","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":"Q5055860$5CEA05E0-1EE5-4F7B-94A1-3A486E8DEE36","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":"Q5055860$01212062-C6ED-494E-B7E1-F07924C15C17","rank":"normal"},{"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":"Q5055860$08A36821-82F1-4DDD-9BF6-8314771A8E31","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":"Q5055860$C1E68F0B-4022-4E26-B78F-83C543A96D72","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":"Q5055860$FE6205BD-47A3-435D-941C-D9C3DD1D6231","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":"Q5055860$784DEE55-ECC8-44F9-8F36-60D2EEA2509B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4004164fb76db92bcdf23fd385dc006c288396ae","datavalue":{"value":{"entity-type":"item","numeric-id":4371674,"id":"Q4371674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055860$CDE0CD9D-214A-44FC-9B2D-739A8EA78540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893a4fede8ed33e80e8e900f18e910dfa3a8f128","datavalue":{"value":{"entity-type":"item","numeric-id":5096832,"id":"Q5096832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055860$4308EE26-3714-4EAA-9931-E15C0C8C0D9D","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":"Q5055860$5B6BDBB3-978A-4EF2-BD97-097F0F70D229","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":"Q5055860$247474B0-3E18-41A8-ABA3-2F594E31FA8D","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":"Q5055860$D94086BD-C6B7-4BD7-9E3A-BA346C315428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbc1c92f9569f25eda43c06e11022416e14d982","datavalue":{"value":{"entity-type":"item","numeric-id":4632448,"id":"Q4632448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055860$EE72BD90-4BF6-464B-84AD-36F912B5F21E","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":"Q5055860$381845FF-7DFA-4F6B-96D8-2C2BB437D951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e24ed999fd744e0d577df406311235aecc7c3f","datavalue":{"value":{"entity-type":"item","numeric-id":3024832,"id":"Q3024832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055860$8287EA58-802C-4DC7-8EBC-E4FC6481FD28","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":"Q5055860$02DA1F26-8AE4-4262-8232-E0ECEE98C69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27c37d270f8213f21ee670514ffa6ee55602a3c","datavalue":{"value":{"entity-type":"item","numeric-id":4246726,"id":"Q4246726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055860$68D26210-09E9-463B-9A4D-EE36EE95A2A4","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":"Q5055860$BCD0672B-A8DB-48F6-B8B1-0C4B5617DD51","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":"Q5055860$AC6FAA24-C011-4FFD-AAEB-718503932D69","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":"Q5055860$918A1EF5-2319-482A-A5F6-45636AA78EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9a8fc0729507bb2187123eb7905de15ec660d5","datavalue":{"value":{"entity-type":"item","numeric-id":5055860,"id":"Q5055860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055860$7D9AE3B9-0A90-4E40-BE63-3E278BC1012A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c2cd10f2640ea116b4853cdd689f2810255327","datavalue":{"value":{"entity-type":"item","numeric-id":4924548,"id":"Q4924548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055860$DC2A24AC-26CD-48E9-AFEB-54B47D8E5815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7caf2440e82f6e61ecf42115a8cdbb9be04adb31","datavalue":{"value":{"entity-type":"item","numeric-id":5055838,"id":"Q5055838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055860$75E8856A-A480-4E48-8662-A2B6F862CCDC","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":"Q5055860$0214BA83-42DB-4F4F-9CEC-B17706D79CB3","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":"Q5055860$45834B1D-A3DE-49F1-AEAE-77B2E7EF93AF","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":"Q5055860$0F6698E1-54C9-4D23-9167-C7DD26A518E7","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":"Q5055860$0C027138-D3E6-4CFB-B931-F1804F396DBB","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":"Q5055860$331D3578-24F1-45B5-9693-2F30C41C403D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b831ee8c09ba3e9977779ca68ccb1cc211fba6","datavalue":{"value":{"entity-type":"item","numeric-id":1575247,"id":"Q1575247"},"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":"Q5055860$7997157B-3BE5-4A47-A0A0-56807751A8B1","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":"9518d8e2cd659e9f99bcc6d93376f41012627fe6","datavalue":{"value":{"amount":"+0.866260290145874","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":"Q5055860$46903BB7-A170-4E58-8262-35BF3610C469","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":"c3e48f0862803e1f5c6129c0560d2522a85b3e09","datavalue":{"value":{"amount":"+0.8433523178100586","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":"Q5055860$8779487E-7AAB-4652-BB54-25700A4A1656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de03afcd9e634828c884f8371c6924cf776aa37f","datavalue":{"value":{"entity-type":"item","numeric-id":1290510,"id":"Q1290510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7cb4f5810582353fed61a0d598bbc1e025d32da","datavalue":{"value":{"amount":"+0.8433517813682556","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":"Q5055860$F2B62015-547E-472B-AAF0-66DBCDCD8AA5","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":"b007b0afe24950aafd18f524c29c46192ec9d2bd","datavalue":{"value":{"amount":"+0.8374345302581787","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":"Q5055860$ED0C8FF9-D658-4B77-9E63-02F1BF35DAD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055860"}}}}}