{"entities":{"Q857913":{"pageid":859761,"ns":120,"title":"Item:Q857913","lastrevid":64927854,"modified":"2026-04-11T23:10:09Z","type":"item","id":"Q857913","labels":{"en":{"language":"en","value":"Expressing combinatory reduction systems derivations in the rewriting calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5081994"}},"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":"Q857913$225CEAF1-E4DC-48DE-8CAA-B301190015D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6bd5c612b2a5c7ee22b516aef2204ae51d7866c","datavalue":{"value":{"text":"Expressing combinatory reduction systems derivations in the rewriting calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q857913$1CF8B884-38D2-4184-AEA0-A2957A05FB80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"801166662a239431d87bbb34896bfd2d7f0bb3ed","datavalue":{"value":"1112.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q857913$AD37C6F9-642E-4C93-9E84-545FE8B3CA68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b39942d0265de5b1198cf6776a062c3fc892b5","datavalue":{"value":{"entity-type":"item","numeric-id":462494,"id":"Q462494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$B1800DEB-70DA-4E95-BAC3-9EF2141770C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e9298254f76a7358264f9011f9bda765fe2714a","datavalue":{"value":{"entity-type":"item","numeric-id":857911,"id":"Q857911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$E0E9A437-88CB-4BD5-95AC-71CABB9E4D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67de4dcf41337233b478a60d1d06381752453e30","datavalue":{"value":{"entity-type":"item","numeric-id":857912,"id":"Q857912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$5445C1DD-EB95-43B6-AB10-3B1D9A5CB34A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$9D043F98-2C64-4A4A-B1FA-613145A1B526","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b49c4130e82f4f2e09378c6e735678f785d509b","datavalue":{"value":{"time":"+2007-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q857913$AA4033B9-9DA2-4957-9618-A169A95FB586","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q857913$BCD94760-511F-45F8-8FFF-D857DC549FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q857913$CAC56821-6020-4392-9439-4E8E10098926","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bc3d11c12b479ac1e4111d8cd8e2d104a58a693","datavalue":{"value":"5081994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q857913$7F979AC0-B30F-40BA-82DF-5A535F5F5123","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8b6105d1893faaea97136446f562ea7525edbf7","datavalue":{"value":"Rewriting calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q857913$9D8F098E-23AC-40B5-A65C-91A93205DFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d63a6c711b86a2185127e82b45c1c9ec67a7531","datavalue":{"value":"Combinatory reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q857913$FFC4AB72-37F4-4134-B179-4553C54AB2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b280aaf0d7a117fc368b192e63d44160845a03e7","datavalue":{"value":"Matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q857913$82697085-3E78-459D-8FE7-CE2E93BE5EB5","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":"Q857913$2BDEABC5-0246-4DB6-8FE1-35815D4BEF88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1edf735afeba9fde822034db869a267b853d913f","datavalue":{"value":"https://doi.org/10.1007/s10990-006-0479-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q857913$E610E952-0570-4D99-BDB3-437965A95337","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6bd4549fa3bbf5df015aabc71108e84c462fd45","datavalue":{"value":"W1965702337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q857913$CDC9D7B6-E74F-4212-B9A0-88FAB979CE71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3bd3ba10b0a8db4c435a1f311674675f6385e0","datavalue":{"value":{"entity-type":"item","numeric-id":4234771,"id":"Q4234771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$C30C55F1-C977-4D4F-B51B-E6DE96154F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$E8BF6791-442E-417C-BEDA-1D61EDB0E945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db81cf7e79e54426ef60a161c70f4ae06ee9844e","datavalue":{"value":{"entity-type":"item","numeric-id":2942930,"id":"Q2942930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$262D0DB1-2FF7-4DD6-93B0-B4D42FCAC8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$F1B943F7-DC76-4A84-AA6E-F8CAA3DC739B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285ee2e712cc2519029330e033cf7a45c7111dad","datavalue":{"value":{"entity-type":"item","numeric-id":880989,"id":"Q880989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$9279C79B-1E1C-41CA-B9D2-59E48889E96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31fcd88bc247f11f5eae364935a1532cc4a60785","datavalue":{"value":{"entity-type":"item","numeric-id":2720294,"id":"Q2720294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$C522663A-4599-49F4-92F1-740DE7C2E348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dbadc4f23dde6b0ad4e1b02a7e97bfefd33609","datavalue":{"value":{"entity-type":"item","numeric-id":2778872,"id":"Q2778872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$50140363-76E0-4396-A45B-76F4391209DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e68451ca4549e729233336d652ad1a927a7053cc","datavalue":{"value":{"entity-type":"item","numeric-id":2769430,"id":"Q2769430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$C4ECDEAD-3F79-4AA5-9C9F-17F262A2EC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46e7d242a920bb28f20a3a1fb96705fadeeae10","datavalue":{"value":{"entity-type":"item","numeric-id":2851046,"id":"Q2851046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$30445700-1F80-4C56-8338-BCF0A2E03D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46d45bdcdda49c91d6e93a66d8047da1a40fc82","datavalue":{"value":{"entity-type":"item","numeric-id":4808738,"id":"Q4808738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$066CB25A-C3FF-4F6D-AAD1-912CED17F27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$CFD07B2F-A225-47E4-A002-4E36B8C3135F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$7DA19AED-B927-4C69-B68A-1721F2020BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc2a73cce9c4f8ef22ec17ccc31acff7fc597204","datavalue":{"value":{"entity-type":"item","numeric-id":1391729,"id":"Q1391729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$7C720566-D176-4F70-8368-DD93E83601F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fef2c2f0fb3ac5acc9558ffce71095e022bfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":3356291,"id":"Q3356291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$9B5B88F7-4310-46E8-8AFC-AE342718FACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$1912A53B-8993-43BF-A4D2-CA6291F694CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$FC3F98A3-8C1C-4D82-A60D-B40E81478BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$82C38EC1-AAE4-4626-B5A5-70E9D07A18E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4413667b942f6f696a49dd6b29a6b1aae331dd9f","datavalue":{"value":{"entity-type":"item","numeric-id":3751042,"id":"Q3751042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$61F3C6C1-DBEB-4FEB-B4B6-332FC8F9EBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626360b19484c605a96c967a546d1aee007f849d","datavalue":{"value":{"entity-type":"item","numeric-id":4281481,"id":"Q4281481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$5083E483-5F83-4E6F-BB0C-10623F76F71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89b9780b195307f350a3baf785f9c51b86008c8","datavalue":{"value":{"entity-type":"item","numeric-id":4524793,"id":"Q4524793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$76460AE9-B4C4-4659-815B-C5FF269F30EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fa0765caab346a3b62249e972a08bd2d2d383d","datavalue":{"value":{"entity-type":"item","numeric-id":5966632,"id":"Q5966632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q857913$E4C298D2-EE77-4FBC-9291-AC7BF121B840","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e27e05d9e1b6e465d07c3415aacdc99642b01d9","datavalue":{"value":"10.1007/S10990-006-0479-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q857913$E02B90DB-06BA-4BC3-8307-5B830B234C9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2f17e7b41024f72a0383c39ae3e08e9cbe0d31","datavalue":{"value":{"entity-type":"item","numeric-id":5758041,"id":"Q5758041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f938c0f7c3b53c7c0eff6bde48e898c5c336075","datavalue":{"value":{"amount":"+0.9172173142433168","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":"Q857913$022B1D86-15DC-409F-845A-25F732CB365E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb9403571a6dc3e95960e96e8bd313232891ec2","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56b604d96466c502c3f31d0d10729801882087c","datavalue":{"value":{"amount":"+0.8154772520065308","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":"Q857913$CFE6F5B7-345C-485A-BF86-308D629F3979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6942b1bab4459cd63dc3181ece976e71fcfb730b","datavalue":{"value":{"entity-type":"item","numeric-id":5898167,"id":"Q5898167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50ba645d0f0e55c02e64deb2466e08d932ca8cd","datavalue":{"value":{"amount":"+0.7769178748130798","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":"Q857913$F8DFD793-5893-4615-9B1F-1EA8E366FE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42808a161fe6902106a77106d0ee554c67dc7553","datavalue":{"value":{"entity-type":"item","numeric-id":2851046,"id":"Q2851046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f935fc947984fa3f8424eae49e5538e7be7f0796","datavalue":{"value":{"amount":"+0.7643862962722778","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":"Q857913$CF0EDE8F-ADCE-48D5-A93C-292D5EE6C2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae9777c48e8e9033e1c30d3d51af43b8a047bd6","datavalue":{"value":{"entity-type":"item","numeric-id":4249892,"id":"Q4249892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b84ef1a2fce8d2f4b1237e7cf2bab5159f3953","datavalue":{"value":{"amount":"+0.7589483261108398","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":"Q857913$119337AF-0BFD-491A-8717-8EBFAF03BCAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressing combinatory reduction systems derivations in the rewriting calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressing_combinatory_reduction_systems_derivations_in_the_rewriting_calculus"}}}}}