{"entities":{"Q5111906":{"pageid":7141480,"ns":120,"title":"Item:Q5111906","lastrevid":53742266,"modified":"2026-01-25T15:47:09Z","type":"item","id":"Q5111906","labels":{"en":{"language":"en","value":"Reinterpreting compression in infinitary rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205334"}},"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":"Q5111906$87F2AA07-262E-416C-AEB1-1421EC0C2ED8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fbca201a983e3f362548d5cbac024eea7c3f0a2","datavalue":{"value":"1437.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111906$3293D713-3A42-4643-BD39-084D9D07BF8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d94ad8eaca8d42a872b0ff8ed0b890de4a90c8ab","datavalue":{"value":{"entity-type":"item","numeric-id":550247,"id":"Q550247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111906$44C1F943-743A-4E07-9ACF-8343E155BA26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111906$A6050F7C-CA57-4EEE-91C3-8B3E2AF497FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111906$B7097ADD-5A7B-4A0D-AD61-73EF26BD75CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76376625c41fa4a0d730b066a98a59437466f6b2","datavalue":{"value":"7205334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111906$EB3E93FF-A3F6-499F-9D0C-9B1103D0C2DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111906$BF06369B-70F4-4CA2-99E9-634CB8098A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f56d129a8b4b3522bb15ffbeec4fec64edc5f5f","datavalue":{"value":"infinitary rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111906$BADF44E3-2219-4448-A529-7AB48340245F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f8dd5c493bcfe457a2c05cd0b9ce65be151090","datavalue":{"value":"compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111906$7E2E07F8-BE9A-4B9B-BCA4-8FFC1330E85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec0d9194a504e6434a9ea8ca87b8523a509f2555","datavalue":{"value":"standardisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111906$BB1BDADF-0CCC-449F-AA61-D89E6B8616AD","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":"Q5111906$041D5561-A279-4B4A-B41B-857702FE30E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4026f52a57db7c30fdbd6703fe6bd99f8f5aeef5","datavalue":{"value":"http://eprints.eemcs.utwente.nl/21865/01/17.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111906$389B77ED-20D3-4F30-8388-D01B1817242B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8ce7e86f438859186a1979f47ec87360186557a","datavalue":{"value":"W2136707587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111906$6F47E130-05A7-4949-9B1B-E0C384E9E39D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46b2ab6c47bd462f6d6fd96cd65ef4f9ee548b01","datavalue":{"value":{"text":"Reinterpreting Compression in Infinitary Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111906$6C91CD15-3F43-4F82-A983-F097C2C2C40B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c791d2e331f7500cbb2d293023fe6365c43af354","datavalue":{"value":"10.4230/LIPICS.RTA.2012.209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111906$A47511D3-FBA3-43AC-84DC-F4484C1BF2BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914cc90c8f5ea78b4632b47dd366756e6b31072e","datavalue":{"value":{"entity-type":"item","numeric-id":5208870,"id":"Q5208870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2412d84a517edebd4959043f731e7dd6375c44a3","datavalue":{"value":{"amount":"+0.7761120200157166","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":"Q5111906$39693219-AA10-4B2E-848B-C78CB23C6A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835de50dc45289ea8412a6074500edfb274ad666","datavalue":{"value":{"entity-type":"item","numeric-id":2958378,"id":"Q2958378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1682fbb97afa5f08c33e33cdc38d8e4bd62ccee4","datavalue":{"value":{"amount":"+0.7740746140480042","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":"Q5111906$965244A0-25C0-479A-BB4A-9A2930542C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ec33acb7b55be819500ab623c4b176570b9079","datavalue":{"value":{"entity-type":"item","numeric-id":550248,"id":"Q550248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462051cf9711acb23969b973b5b168635d62ec64","datavalue":{"value":{"amount":"+0.7512607574462891","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":"Q5111906$868DBD40-DF44-45D1-B39D-6809368E40F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0821a595469763fb5d4d0995df4c5e7a0e1616f","datavalue":{"value":{"entity-type":"item","numeric-id":5703868,"id":"Q5703868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f83a091a18ccffededf65445a5a4e6a71fae760","datavalue":{"value":{"amount":"+0.7478224039077759","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":"Q5111906$BF630F37-73A8-4D52-B38D-899EDFA47D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f4f3f3d8a994148c85de5f4c98496d3e742378","datavalue":{"value":{"entity-type":"item","numeric-id":3388524,"id":"Q3388524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd24a9ad78010ea78cceb8255338228715088955","datavalue":{"value":{"amount":"+0.7314591407775879","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":"Q5111906$71B6669E-B03A-4C74-8807-655145D0FC41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111906"}}}}}