{"entities":{"Q1879319":{"pageid":1890061,"ns":120,"title":"Item:Q1879319","lastrevid":69180861,"modified":"2026-04-13T05:18:35Z","type":"item","id":"Q1879319","labels":{"en":{"language":"en","value":"Analytic combinatory calculi and the elimination of transitivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2102096"}},"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":"Q1879319$665DD332-B9A7-4188-8D01-46357C847D5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ffd8d6f899dff043ffeec541047aef96f08090a","datavalue":{"value":{"text":"Analytic combinatory calculi and the elimination of transitivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1879319$608012B3-66D2-4B73-9CB9-70FAB3244A61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aadd500150aec1653a41782bdf9103630b0056a","datavalue":{"value":"1060.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879319$1486F5F1-2704-42CF-90F6-5C9D20B443DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1618888cebf23d68c72b9159427d6441352a3ca5","datavalue":{"value":{"entity-type":"item","numeric-id":377467,"id":"Q377467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879319$EEB1BE90-C3E3-41F8-B12B-2434C3D30568","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879319$B1399218-D724-491A-ADC6-59E3BEABC6CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7bd962bada8b0dc37e98aacdd29c36343a02c75","datavalue":{"value":{"time":"+2004-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1879319$57EE6CE0-9A87-404B-BEC9-B3B6B0D63D6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"27a02c5aa94f6af15a8ad14ac503ff39b6268e26","datavalue":{"value":"The author of this paper develops a system of combinatory equality, which is equivalent to standard systems, but does not require the transitivity rule. The new system allows a very simple proof of the Church-Rosser property and a simpler proof of the leftmost reduction theorem. When extensionality is added to the new equational system however, transitivity is no longer provable, although it still is for some weaker systems such as BCK combinatory-equality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879319$9DFC843C-8164-47F7-860A-5332E6DDFF22","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":"Q1879319$AB29E627-35B5-46CF-992D-07542A471FE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879319$A1BCC8E2-B8A3-4F3C-89E7-1BFD68100922","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fa5d56aa8578a1647d27a433b6fb92f157c3ebe","datavalue":{"value":"2102096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879319$6C53FB88-3F08-4201-A1E3-1EAB9E255AC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879319$E2D9D326-1FE0-4E72-86D3-F822D31605BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879319$C0521A92-5D6F-4872-B276-D9E7CA219C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879319$5ADC4DE2-9045-473B-8CC9-B7FE9AC1388B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49388e046339f86e6623a972cf68b5665500aba7","datavalue":{"value":"transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879319$9CF10E50-DDF0-45F1-A3EC-386DB1F401AE","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":"Q1879319$78879527-A386-439F-BCA7-1877144346B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62be2599a8fd5fd33fef69bc909358762585cb68","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0203-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1879319$90DC0804-F414-43D4-B20D-7EA1C80DFB4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e6ba63f1bf38053fcb5e5ed4584118813f5cd17","datavalue":{"value":"W2149904043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879319$AA4929CF-78B7-4676-81AA-5DBFAC2B7F96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d5f8b24a879c31130c7fa7bbae8617fd02e07bc","datavalue":{"value":"10.1007/S00153-003-0203-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879319$749F9711-0876-4BEC-A6F7-9FA7E5A595A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1488f1db6e8a9dc02e715c3090f3d1ed4298b54f","datavalue":{"value":{"entity-type":"item","numeric-id":884953,"id":"Q884953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de5ae558047f42a8758506b372b7986900097e63","datavalue":{"value":{"amount":"+0.8391417860984802","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":"Q1879319$F06FDD1E-0D56-483C-97D4-3CD2325AEE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b87f4ed35631b6cf4938f9886c0be250e460dfdf","datavalue":{"value":{"entity-type":"item","numeric-id":2352459,"id":"Q2352459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a307ed204eb6102a3dcd06a9d2aa75202d12dd7","datavalue":{"value":{"amount":"+0.8286415338516235","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":"Q1879319$EEC29025-E9B0-458D-9C38-C37E5D778BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6baa42b3bc6d889457e7c1fc3305fda8877ecce","datavalue":{"value":{"entity-type":"item","numeric-id":3305634,"id":"Q3305634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f71907c7120677212e502ab5f724f6896ca3474e","datavalue":{"value":{"amount":"+0.8216472268104553","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":"Q1879319$5E869DBD-E29D-44F4-A2B1-D0821BA9BBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab27d8a541602ffb3d78a9ee028720b387b8131c","datavalue":{"value":{"entity-type":"item","numeric-id":1014284,"id":"Q1014284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de72b056d93d743f48d697f68ac65ffaf983cb48","datavalue":{"value":{"amount":"+0.7995174527168274","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":"Q1879319$94FB66A2-1B0E-4197-8F0F-25E767BA0CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"928a1567490a3e48bfa05fca81378e4ae780f4a1","datavalue":{"value":{"entity-type":"item","numeric-id":762137,"id":"Q762137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8a25e9960b58b86f32931e50d407441c0155fa","datavalue":{"value":{"amount":"+0.7564584612846375","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":"Q1879319$B58A793D-A418-42B2-A18E-041B5FFD79E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analytic combinatory calculi and the elimination of transitivity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analytic_combinatory_calculi_and_the_elimination_of_transitivity"}}}}}