{"entities":{"Q1826434":{"pageid":1837176,"ns":120,"title":"Item:Q1826434","lastrevid":48303922,"modified":"2026-01-04T07:31:06Z","type":"item","id":"Q1826434","labels":{"en":{"language":"en","value":"Semantics for dual and symmetric combinatory calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081492"}},"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":"Q1826434$DFEFAEE6-8876-42E6-ABAC-799CBD1C1F27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2552c8d6a7396e1386074dd19707e8301587c96b","datavalue":{"value":{"text":"Semantics for dual and symmetric combinatory calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1826434$39FA3CBA-CB8E-4788-8039-F982A6F89789","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1312025648db1f1927ea4afcd7468bde955915ce","datavalue":{"value":"1054.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826434$29515641-1FA4-43B7-902A-D82AF49F9634","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce7ddaeea3e15c3663fde552aee7d2481f061aac","datavalue":{"value":"10.1023/B:LOGI.0000021709.73522.34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826434$5D5C9ED8-DFDF-4F0C-BD42-5A9DA0A6CB85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$87AD7D5B-D538-4291-B573-4045091C13D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$D9FF3076-DA5B-4076-A5D2-67A7F3E5641D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1826434$A72D475A-BC6F-4148-8799-DBB8F6D8BEB6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ec4f1092c5cb3c8c2a4ba57e3ed9789ca26ed79","datavalue":{"value":"A combinator is an operator which permutes, cancels or duplicates terms that follow it. For example \\(((Sx)y)z\\) reduces to \\((xz)(yz)\\). Dual combinators apply, in a similar way, to terms that precede it. For example \\(x(y(zs))\\) reduces to \\((xy)(xz)\\). Earlier papers by the author have considered syntactic properties of a system with both combinators and dual combinators and their rules and one where each combinator is identified with its dual (i.e. \\(s=S\\)), and variants of these with the \\(\\eta\\) rule. These systems can be inequational, with \\(\\leq\\) for ``reduces to'' and equational with = for ``reduces to''.  The systems are shown to have algebraic semantics (posets and algebras), Routley-Meter-style relational semantics as well as operational semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826434$8CE4B9F7-704C-45CB-8BB1-0E0945233380","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$C6299A3A-DB1D-49BC-9225-EBBBD987F2BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826434$8102B357-CA5A-4B2E-AA9C-275668405B2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"666782b35883fd234c76df4618921165e3b02991","datavalue":{"value":"2081492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826434$832488DB-FCC3-4DBD-BF87-81436515ECFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826434$00894EAD-56BB-47C2-8492-1998434D9491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db599a54ee4377ddd57dba20105ed739773e8452","datavalue":{"value":"dual combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826434$05F7EF3C-B807-459D-9311-3C6CD46B4F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826434$0A7BF67E-0ED4-45E7-85BC-8D25CD23FB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826434$194CF0A4-0845-424D-9BD1-9FB5C4825F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826434$276729E9-65D4-4C2C-B5BC-73476249B871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d96fd46a27fbc3339d7b22415d37b71ac625dac2","datavalue":{"value":"inequational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826434$F3202796-BC3B-49B7-9011-81AED2E5EF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826434$26F05CF1-F17F-49C1-B457-10572312C448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826434$3B0BDC71-DCC9-48B4-A690-CDB9231A3E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826434$429356DD-AC2F-49CC-9D2B-0932432B621C","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":"Q1826434$A3327251-E272-4A49-858D-B00E5A5A8207","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$7342BD9D-DBD1-4423-9905-DAFA427B63C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a3788383c9cc058727f1358cfc587595de30c","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$90662060-13A6-4283-82DB-8CD92C028598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836293abb8e1c53c40d7df3928747846cca7a705","datavalue":{"value":{"entity-type":"item","numeric-id":1595916,"id":"Q1595916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$4172B949-8CDF-4C50-A344-513EB4639EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7bbc712fa027186bfbaace7d97adb4854ea5b2","datavalue":{"value":{"entity-type":"item","numeric-id":4457728,"id":"Q4457728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$0D5B64AC-DECC-43FF-B3F5-BEC3A85F1AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ec4abd703ba69c5dfd86055856e539b441f730","datavalue":{"value":{"entity-type":"item","numeric-id":1229897,"id":"Q1229897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$D45206EA-2C1F-4FB0-9443-B3DBFB69A0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8e88a65aa23c284b5507822c6882d83f6c9a1b","datavalue":{"value":{"entity-type":"item","numeric-id":4856946,"id":"Q4856946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$2C889F6B-7782-42FD-995D-54C591DF0FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$BF4B4145-6766-4ECD-9FC1-0B8865C129BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$066465C8-EB8E-4D45-91F3-34B9A7A652E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$64FC88D0-EA7D-4BED-A2BC-55646BFA1018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a70f2ea607c531d6dd18caae6608fc0d3173fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2753193,"id":"Q2753193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$ABD6C85A-49E2-44E8-8D1E-5483A2F7F229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd502a5ef0129ec6b722b64271c375aa4ecbbff6","datavalue":{"value":{"entity-type":"item","numeric-id":4353718,"id":"Q4353718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$E60A88CC-BC3D-4181-B007-9E42A5FD547A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793537b40e35a4601ea9ee225d2ec2d162d6b4e9","datavalue":{"value":{"entity-type":"item","numeric-id":1162534,"id":"Q1162534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$2D76559A-1183-4BFC-A7C5-14DFCE1CDF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb49d5ba8660e6f6ecb70d742d62a3c8fa7128ba","datavalue":{"value":{"entity-type":"item","numeric-id":1050334,"id":"Q1050334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$F12EEF27-9733-4CD7-9C87-3CD87638C304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb37d4c5374d4a6b2459e0fbb29b51beec76c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4103076,"id":"Q4103076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$37BAD3CD-4FFC-4851-9795-388471A407B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b87d18be1bd3e2fbd81414ccfc6a3fc0bf0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1221739,"id":"Q1221739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826434$32DD8046-1FA8-4AD7-A865-D58FF115DBE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c3871766fcb337d96f56acb6a568f83d6123d4","datavalue":{"value":{"entity-type":"item","numeric-id":1595916,"id":"Q1595916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e032c8f500a828e28e86f44e33e80dac57d4cffb","datavalue":{"value":{"amount":"+0.801051676273346","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":"Q1826434$CE4D0FBB-8B05-4722-9CE3-8F565CA235E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd1026ad1220b5fe7b861a368dd32a416bd96cf9","datavalue":{"value":{"entity-type":"item","numeric-id":2743637,"id":"Q2743637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e032c8f500a828e28e86f44e33e80dac57d4cffb","datavalue":{"value":{"amount":"+0.801051676273346","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":"Q1826434$1D1C7B14-8A65-45BB-90C2-A52882914D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ee3101169c659ad2070a1ca789edbfb86d4773","datavalue":{"value":{"entity-type":"item","numeric-id":4353718,"id":"Q4353718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08017d1d5b83f52cd4f1c294e654b23d7e28caad","datavalue":{"value":{"amount":"+0.7605991959571838","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":"Q1826434$DC4304B5-F789-48F6-A33B-11FA72A7E397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc5a3a48494973348bb61ff4078f8532fc12ebbe","datavalue":{"value":{"entity-type":"item","numeric-id":3094142,"id":"Q3094142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08017d1d5b83f52cd4f1c294e654b23d7e28caad","datavalue":{"value":{"amount":"+0.7605991959571838","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":"Q1826434$FA252264-69DE-4546-9F21-6772E59E2323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dc0da498c499be1392c41073cbe5f1d9ccf85a1","datavalue":{"value":{"entity-type":"item","numeric-id":2503329,"id":"Q2503329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9fbe53f9b078974cc5f96a5944d03e75dd82402","datavalue":{"value":{"amount":"+0.7511676549911499","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":"Q1826434$3BDFDEE2-1F71-42A5-B307-950B900535AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1826434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1826434"}}}}}