{"entities":{"Q4205074":{"pageid":6234675,"ns":120,"title":"Item:Q4205074","lastrevid":49330450,"modified":"2026-01-06T23:41:48Z","type":"item","id":"Q4205074","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4124996"}},"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":"Q4205074$5DEA6E5D-2734-459E-81F1-FE2FC498106F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45b3520a08e2f1ef53a1d5fabc592af20df9ddd0","datavalue":{"value":"0686.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205074$F1C2AFDB-A052-4881-9673-003C2325160E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc783cd5616fccc031a78230a398244b135e31e6","datavalue":{"value":{"entity-type":"item","numeric-id":749517,"id":"Q749517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4205074$B1D02503-2E0B-4598-817B-A1F00FE9E70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4205074$AA3E338B-5DFE-4474-886A-C63A2CD6915A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4205074$49C60C38-B8DA-4D4B-9B46-68F8E0426591","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205074$C0C01E86-0DBF-4849-8E1B-5CC3EB4BAD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205074$D66A10A2-8C99-4A29-8EF5-088865F8EB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205074$8B272E17-E456-488F-93B6-CCA22F24B86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205074$CB2100C9-E328-4FB7-9ABF-BF9B92C5D1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205074$5720346E-51AF-4A3D-BBBC-CD5470DA57FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205074$BC016731-8D67-482E-9EDD-9102DF0EEC64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cc0a9cbc7c8c9102b91159af714680e3a8d3ebf","datavalue":{"value":"4124996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205074$854833D8-234C-4D08-A112-6EA5E1FFB8F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90e59aa252643ff293b9fbda24757ffd3072aef","datavalue":{"value":"many sorted algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205074$B69E268F-EDB7-49F3-A809-CCAB6F390E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"801ad6ec1cd332373834f7b2b4dca238dad3bda3","datavalue":{"value":"algebraic equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205074$E045FF3C-060B-412F-A3E0-2CA269E9F2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158732d194a22169613049278f78b9fb482635ab","datavalue":{"value":"data type specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205074$9CEECD3E-574C-456A-9596-FAA494F9822C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205074$D5CF8313-6BFB-4E7F-A917-BBC08845D32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f5eabe7c41b96917fe1a113ef23895b7a2cfd3c","datavalue":{"value":"polymorphic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205074$A377AB3C-AFCE-4450-8186-C2D641C3E7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205074$338B22EC-DC46-44C6-AD04-C7D23DAA50F9","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":"Q4205074$2162256B-96C5-4AB6-92E1-FE13013D12B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e035ddda7436ad5f058d496a714721c1b5cb68f","datavalue":{"value":{"entity-type":"item","numeric-id":1176244,"id":"Q1176244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9ed716130c86eeb6ce4bb212ce1ff4adc2b6a6","datavalue":{"value":{"amount":"+0.9652807116508484","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":"Q4205074$E5EA42AC-C3A9-499E-9E96-04600FEFD678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18abaaa8ec3f4b4dff43413f9172c7868d4ad2f4","datavalue":{"value":{"entity-type":"item","numeric-id":1336046,"id":"Q1336046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee08bca79986df2a827579a60b7375946716836","datavalue":{"value":{"amount":"+0.952669620513916","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":"Q4205074$CAA56939-B41F-4073-87C7-CA339A5CB713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6b230c0744f5b19d0bcd5fd5fcaab9057fe478","datavalue":{"value":{"entity-type":"item","numeric-id":3358239,"id":"Q3358239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0788e37ab19757f7d2ce4960d6374352e1f70601","datavalue":{"value":{"amount":"+0.8380928635597229","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":"Q4205074$7C573957-8989-4819-83AC-2170169F05D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d81984e73f41a703a072b9b75772081d74744e6","datavalue":{"value":{"entity-type":"item","numeric-id":5881282,"id":"Q5881282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a25e5b7972b88224e8a1f78cd30050473d2fbdc","datavalue":{"value":{"amount":"+0.8353797197341919","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":"Q4205074$E8510E6B-84C3-40AE-A15E-18451AF03A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114941f7931c3b195587f701beb9e1579622913a","datavalue":{"value":{"entity-type":"item","numeric-id":1207945,"id":"Q1207945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f735dc57623bed5dc652c9da3edaacc0b8dfeae5","datavalue":{"value":{"amount":"+0.8339093923568726","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":"Q4205074$7A200BB5-5E1D-4F3A-9CF1-39CCD6A50954","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4205074","badges":[]}}}}}