{"entities":{"Q4371674":{"pageid":6401273,"ns":120,"title":"Item:Q4371674","lastrevid":46984107,"modified":"2025-12-26T00:05:27Z","type":"item","id":"Q4371674","labels":{"en":{"language":"en","value":"Confluence properties of weak and strong calculi of explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1106109"}},"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":"Q4371674$2CAC07DE-E583-4DE5-862E-0BDCAA6388B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"078acecd81fc1cb25e59618a3172f872fcf3f486","datavalue":{"value":{"text":"Confluence properties of weak and strong calculi of explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4371674$944100E6-5CF4-40FD-975D-E5DEAE53D40C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d36622cf1c68adc1e1bcad3f35bb71d6d877b05b","datavalue":{"value":"0885.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371674$5A1C910E-70BF-47C5-B344-549123D83DE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"898ba0e01eb7600f7965bc420b92eb093d8ac61b","datavalue":{"value":"10.1145/226643.226675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371674$91D2A74C-B281-4AD3-8A19-00B07787DF4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371674$9197F194-6E8C-4A10-B0D0-6AD4717C8BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c50f42ac443d41828b557f6076f88056505c203d","datavalue":{"value":{"entity-type":"item","numeric-id":918955,"id":"Q918955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371674$A702004C-8594-4ECB-B610-B37097400D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f256d5cf43befc80d25eef0366dda59dbd77d3","datavalue":{"value":{"entity-type":"item","numeric-id":1229200,"id":"Q1229200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371674$C5E1E569-6347-4D39-B5AF-B36365E091F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371674$10EC4FDF-E3A8-4962-B309-F1CDA92DF735","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb264ae0a359bf25e724aaa6ec1d5efb013c8860","datavalue":{"value":{"time":"+1998-01-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":"Q4371674$EE36DF34-BDCD-4304-A75D-26D99129AF37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e08fa3d3f6ed8c8f508bf63ababea1fe77167095","datavalue":{"value":"https://hal.inria.fr/inria-00077189/file/RR-1617.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4371674$3C344115-8D2E-4BEF-9B83-1A4FB590A3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"48a86c28032fa1c6d2fe2332380507de41c2e669","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/jacm/1996-43/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4371674$C9C72EA8-C75D-41EC-B571-89C805492B3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371674$428F7DDA-B944-4639-87F2-D73A93416995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371674$339D42D1-9A7E-4596-850D-7025B366E704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371674$A97F06A5-F35B-446D-9E47-C22636CE4AF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33573a157258ff287e4b59c319f67c89eb547340","datavalue":{"value":"1106109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371674$D863148E-7383-4380-9BDC-A832A2D6B0AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02e684da95ed86577b6f593bf36657cb0d53a2b","datavalue":{"value":"functional constructs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371674$51E0B898-146F-4510-9EFF-9583186E90A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371674$AECC2DD2-FE53-42E6-A06B-320BCDC1EE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dbf201e83f01673f4eda87bb86be096c13f3fbd","datavalue":{"value":"calculi of explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371674$8D62321F-E8BC-4A64-BF49-7381172EA8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc63158e3b5900e98ad83cfdeb445f4fa3b66d97","datavalue":{"value":"categorical combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371674$55E290E5-FF2E-464D-A9B7-CD1EA4EDBA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"968d1145dc32af0d648e5b04b07bd91d8facc382","datavalue":{"value":"lambda-sigma-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371674$5FC059E6-CF4F-44AC-8C2D-75B05DBB590C","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":"Q4371674$8E5D755D-F70D-4A7F-959F-B8E0A3D70497","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e31e1961eb3f6e03d5b44c3b1909ad4dce05ece1","datavalue":{"value":"W1992452788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371674$29CAACF7-CC39-4576-9075-01F14EFBC088","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":"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":"Q4371674$24788818-9B4B-4C01-91D0-7E9551B950D6","rank":"normal"},{"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":"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":"Q4371674$017F27F1-DD56-422F-85F0-DC3A055A533E","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":"27a533adf3d1c184a8c1117a7701e7de21ee0fa9","datavalue":{"value":{"amount":"+0.8471237421035767","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":"Q4371674$97B97CCA-1669-4BBB-8697-12756E3DC792","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":"fb6e3b1a6d772b3f0aceed8771cd00531a17d14e","datavalue":{"value":{"amount":"+0.8377125263214111","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":"Q4371674$14A8A31D-0208-42A8-BABF-A79CC0EB2C41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4371674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4371674"}}}}}