{"entities":{"Q4630300":{"pageid":6659882,"ns":120,"title":"Item:Q4630300","lastrevid":82162385,"modified":"2026-05-06T20:15:08Z","type":"item","id":"Q4630300","labels":{"en":{"language":"en","value":"Modularity of termination and confluence in combinations of rewrite systems with \\(\\lambda_\\omega\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7045151"}},"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":"Q4630300$ABFB4AA3-12FA-4531-9EAC-DEC1A207E378","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9863abf2d41f5be22d3b644d99e130a1a04a259","datavalue":{"value":{"text":"Modularity of termination and confluence in combinations of rewrite systems with \u03bb\u03c9","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4630300$41B35EE9-BDB9-408F-8790-E03A7217351F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4eab0a14eb408d8e3551020e7ad70317a2d1136","datavalue":{"value":"1418.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630300$F1193AFB-DBA6-499D-AE3C-E3FF50D0E0B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4805d30d4a157dea1fb15f57f864ee8be1c1dca4","datavalue":{"value":"10.1007/3-540-56939-1_110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630300$B4E6F7FE-3DE6-4E44-8455-776610602EBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc9ea3edf0950b7709b905c390f4109373f089e","datavalue":{"value":{"entity-type":"item","numeric-id":235594,"id":"Q235594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$D4C3ACAC-1F93-4BA9-A2FC-E924888AE488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$09000131-6D71-4151-9FA0-68A80C01F042","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$0E0DF5F3-718A-4B56-AA4F-4F5EE9EEC4E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b94f238f3a59f4446a7a7f663c3bfff3dc2ed3","datavalue":{"value":{"time":"+2019-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4630300$E02738F3-37DE-4D38-8A56-8E1381FBEB7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630300$ABE8FB10-391A-4BF3-90E8-B7C37E1BC63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630300$324AC78E-71E6-4520-87D5-54518B65F886","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dcece7e21ad0b9978586125ab54f62c924128d5","datavalue":{"value":"7045151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630300$8C6C49C3-6D77-4C4A-81B6-E2FE43C2AEF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3ae69788226feca6ae8044c1c7a9062ebff252","datavalue":{"value":"function symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630300$0FF92F94-377B-46E4-B9A0-0B7AC5366D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"840232c250b1e1458d71cfdc7fbe467b8d493361","datavalue":{"value":"critical pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630300$E852A0D3-47ED-47CF-BB48-402B9719655D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce052d0256e49f94d85045cf9e553d76ad1d9ca1","datavalue":{"value":"modular property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630300$4A5DE1D5-5BF6-48EA-918C-0A2EB334A5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15d6d69f87398f23808b6d49b1183fc9ce42ae5","datavalue":{"value":"recursive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630300$99E7CEA1-D1A2-40A1-ACE2-0389EB6D529A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0a6293485b27fc5e87a03cda15f9aa823acf6a","datavalue":{"value":"higher-order function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630300$EDE3DC44-5C38-4BF2-A20E-B05C96981E00","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":"Q4630300$2188D3B5-A587-458F-9EB5-135C6B8F7BF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bb6b6e462d213bae89739142fb0ac1c10d42a1f","datavalue":{"value":"https://doi.org/10.1007/3-540-56939-1_110","type":"string"},"datatype":"url"},"type":"statement","id":"Q4630300$BE5F4CDC-567B-4B3A-BA54-C02326505C88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19fe7debabe0bfdc97c6a72107ff1cf3a09eebbc","datavalue":{"value":"W107542622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630300$82ACEEB9-BB82-42B0-BB5B-32E1FFBB42B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$B92E2F46-EF88-412A-B936-3C4CC4739EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05270cf0a4626e7520053fa827717fcdbd2507b","datavalue":{"value":{"entity-type":"item","numeric-id":5881282,"id":"Q5881282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$01D57342-A098-4C02-89A1-287FACF0E4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c652676950bbd486cb26332dcaeac57930e0fc6e","datavalue":{"value":{"entity-type":"item","numeric-id":3358239,"id":"Q3358239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$D3C98F5F-9897-460B-AA08-5DA9DAF72251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7acd96e1fee7bf04d18a9612e6988f2281607e0d","datavalue":{"value":{"entity-type":"item","numeric-id":4281465,"id":"Q4281465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$1C5FC660-F5EC-4893-8222-2C4AD898F532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$83679D2B-B9F1-4FFA-80B0-7771E7A37AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$D916D7EB-61DF-40A6-B075-CAB6E37B7BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb96fb7fe69adf25841ec11cad0a036fedd3ca91","datavalue":{"value":{"entity-type":"item","numeric-id":1176244,"id":"Q1176244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$9F8FA365-E533-4EA2-85E3-D556C13CB4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aed163fa47586d6760e996c78b547299a8e45c4","datavalue":{"value":{"entity-type":"item","numeric-id":1336046,"id":"Q1336046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$371FF200-63EE-46F2-83B7-2E65F38547AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$8933C171-BEA1-40EB-87A0-B45BC9DC5C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad80344fc1eac9869a64dbac310f2d1dda233df0","datavalue":{"value":{"entity-type":"item","numeric-id":4939698,"id":"Q4939698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$F30330DA-7C83-4A29-9B18-703946A94F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$FA939DA1-2E3E-4EB6-B43A-2A50CCCDC9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$3C61535C-4773-45D0-B3A9-A3A762871550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6b1d15dbc2412bd2d097ea4c4b2ce5e2ecdcac","datavalue":{"value":{"entity-type":"item","numeric-id":5881304,"id":"Q5881304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$1CE90560-BCA8-4F77-AEBB-67F15D042A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8c39dcf1cd87a28b508e3c9832adf61306c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$63B41D6D-3007-44D2-9B57-2FD58A4AEB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$7C01F3D3-5D12-45B2-9B73-10E5394766BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630300$302EEFD5-8931-436D-9A97-B358A4D4879C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692fce0a8752d40a3a1d33c7db98775f0cfa6240","datavalue":{"value":{"entity-type":"item","numeric-id":5881181,"id":"Q5881181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a705481aabf4674b1bfd0dcb5c58f2f58794f48","datavalue":{"value":{"amount":"+0.8533445000648499","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":"Q4630300$90BAEF9D-7DA6-4878-A200-C6F0A9100D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae75205f2f2fff0491c7fa831b88025350a0e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4537514,"id":"Q4537514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddce350ec74e791eda03f4aa29269a45950fd6ce","datavalue":{"value":{"amount":"+0.8329655528068542","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":"Q4630300$3A927381-182F-43CC-839C-F4F6F40215E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7121f07416fb4ad7acc1c8f55fde6f8ae46de3f7","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24238606958596adbbb0878aa3fa4697e4a04b6","datavalue":{"value":{"amount":"+0.8262211680412292","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":"Q4630300$B1500076-2D8D-4F5C-B295-00E6C95A439A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aeb88ab38bd1c4489f931db24b5ceb8234f4d7e","datavalue":{"value":{"entity-type":"item","numeric-id":4490728,"id":"Q4490728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114eb613655c7e02f4c146a99bdef01739296626","datavalue":{"value":{"amount":"+0.8258432745933533","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":"Q4630300$B1AFB031-6B40-4089-9ABE-75AB6256BB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9722bd7704edd49a7b67aecb295ea086ac06ff74","datavalue":{"value":{"entity-type":"item","numeric-id":1349693,"id":"Q1349693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b991afb98c882c6ea948fdfd8e55f5eacc6b4c","datavalue":{"value":{"amount":"+0.8238540887832642","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":"Q4630300$4844124E-9A85-412A-B8AF-F96285DE711D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modularity of termination and confluence in combinations of rewrite systems with \\(\\lambda \\omega\\)","badges":[]}}}}}