{"entities":{"Q3474271":{"pageid":5456398,"ns":120,"title":"Item:Q3474271","lastrevid":49366579,"modified":"2026-01-07T01:12:14Z","type":"item","id":"Q3474271","labels":{"en":{"language":"en","value":"A Rewriting System for Categorical Combinators with Multiple Arguments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4141482"}},"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":"Q3474271$6F136CC0-6869-4CC0-B436-7AA727BFA648","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8707d3f308ea9321301a946c47b8f7faba715af0","datavalue":{"value":{"text":"A Rewriting System for Categorical Combinators with Multiple Arguments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3474271$7C7E6BDC-5CEA-4694-BE0D-CD1D8157F92F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1415c39c8bb8cedc4d572411ff57e87773ccb5a6","datavalue":{"value":"0696.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474271$86C1B5BB-AA36-45C5-8A6A-8E57BAE719C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fdc22e7f1fa424e88fac40532101d89cc651985","datavalue":{"value":"10.1137/0219005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474271$14D5FCA2-53CC-408A-A16B-C456A52F358F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ab68d3941e9aaee7024ab0624e21f6a8a75a1cc","datavalue":{"value":{"entity-type":"item","numeric-id":235627,"id":"Q235627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474271$FC62BA12-7E7B-4151-A74B-25A5F9DC2D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a62cd3154dad260f6febb377293c8a108a48d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1055195,"id":"Q1055195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474271$2A0CD1D2-DF5C-48D9-888C-990F3C31AC1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474271$FE81CE99-2F54-4401-B7F0-9AF3B8D2FA93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3474271$F1543C5D-1571-4E99-A6E7-BCE125C9A556","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fdb91a8b53c140933d325ed4bbf661de7c3bad8","datavalue":{"value":"http://hdl.handle.net/2433/100507","type":"string"},"datatype":"url"},"type":"statement","id":"Q3474271$D3D716EB-6BA6-4C3E-AA47-414DBF87AF43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474271$E12042E6-4ABA-4389-9CA7-1A8F258B9E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474271$931914A7-6E06-44AF-B78A-7D5700CBDB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474271$F0F005A3-4DC6-453B-A30D-3A1B28FD54DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25d0dea1b4241e835204b36c2b531d18c9419556","datavalue":{"value":"4141482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474271$6B6B4AC3-7B49-4C8F-B50C-DBF83CD67BE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474271$833C3089-59DF-4B08-95F5-5F17A23BD584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d4bfc68ae65df8bd9b23145d3e1e35d3673b2db","datavalue":{"value":"Categorical combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474271$EE903BC4-4225-4065-B0BC-EAF8844928F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474271$636AC967-DE8E-42A4-AB01-E852DD7443CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcfb0301bb17cb416489e95a0d2e3c5b1efbac9","datavalue":{"value":"rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474271$B02DD24B-1648-49B5-B26A-F0ABFD55DC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474271$540A40A0-B2FA-465E-BD87-AA0EE29777F2","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":"Q3474271$A6F5C827-0090-4CFC-A087-AD6F64FF9BC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6bca2512dd17d4ebe067a529d5e7d655bfe5052","datavalue":{"value":"W2087379008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474271$1DB909F3-A7B6-45CA-BC4E-FEE8FCCA8898","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a236635be5d58b1daaba90b0ae04d9f0b68760","datavalue":{"value":{"entity-type":"item","numeric-id":1119562,"id":"Q1119562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85fb43c4bf42e598fe89fff519e2f44b93aa7428","datavalue":{"value":{"amount":"+0.8198240995407104","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":"Q3474271$FF7C93F9-EEBF-4A66-B554-7C7AC25A63E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c1cc2db09994b4d434a2cfd31ca84e241d46cf","datavalue":{"value":{"entity-type":"item","numeric-id":3783516,"id":"Q3783516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3202f742b42cf38544b1b3d35f87f7614bacce04","datavalue":{"value":{"amount":"+0.8099638223648071","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":"Q3474271$D08B9E60-50FD-41BB-8B9B-C903FAD9871B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd61c7dca6f04275027a1d1efbc76ff2ff8e33fe","datavalue":{"value":{"entity-type":"item","numeric-id":3714049,"id":"Q3714049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c987b6b0449a457939001530a6f2cec151c920","datavalue":{"value":{"amount":"+0.7858293056488037","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":"Q3474271$DC31E25C-1F7E-462E-BD31-8A75CB9BEB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2fbfb83d3e8408fa54849faffb5f2878692a3cc","datavalue":{"value":{"entity-type":"item","numeric-id":3782744,"id":"Q3782744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f42b9c0a16d80fb211e7b2979cf56af3f1bd560","datavalue":{"value":{"amount":"+0.7834155559539795","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":"Q3474271$F265C116-92B2-4A84-B81C-91CE7A4444C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25036cb7ecd232d6eb024f82d928c3f01c56d499","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87f4d7955771ed9c3c2e57049f7d89ff763eace","datavalue":{"value":{"amount":"+0.7816042900085449","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":"Q3474271$58E559E0-27CD-457E-9B70-9372D6EF6526","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3474271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3474271"}}}}}