{"entities":{"Q2141298":{"pageid":2152041,"ns":120,"title":"Item:Q2141298","lastrevid":55409722,"modified":"2026-02-17T15:49:01Z","type":"item","id":"Q2141298","labels":{"en":{"language":"en","value":"Transforming orthogonal inductive definition sets into confluent term rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7531446"}},"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":"Q2141298$45DFE22A-88BA-4C9A-9287-FDE6B46FEA8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"439dbb5d7c4e0c55812ca5dfe6d87a1836a4aa45","datavalue":{"value":{"text":"Transforming orthogonal inductive definition sets into confluent term rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2141298$612B1309-5809-4100-A5EF-5ED596ABD2FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb2ba1096ba397e146ca587df30ea3f4c1bd598c","datavalue":{"value":{"entity-type":"item","numeric-id":1632780,"id":"Q1632780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$E15F325F-4B0A-404F-A295-D0141F500795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fab14ad221e511a68105cfd43aaa9a4a54c3b820","datavalue":{"value":{"entity-type":"item","numeric-id":969618,"id":"Q969618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$B0D85658-2AED-4D4C-9765-E4BC6FCD4A2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$9F29C226-AB12-4DD0-9BD4-DEFC879D4262","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ef1e2e38c147b52c379a6993b1283d5267f8ef","datavalue":{"value":{"time":"+2022-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2141298$E07141D1-19D9-4C18-9F43-B6D393088D9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2141298$54AE8634-3AD3-4D59-8E09-45BF40C57487","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85b7d8c4d91fd7aeed8d57aecb2f6b9ea756d4b5","datavalue":{"value":"7531446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2141298$DFA9BFD6-DEE0-4AF3-B0A0-DF034E8A0E46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2141298$D13AD360-1FEA-478D-A28A-785B018ABD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2141298$FCD07E13-A6B7-44BF-95D0-B171AC3BB724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2141298$ECA3DCFC-BE25-4A26-99B8-0E37A55AFEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5759f2407d64cfd8d47b25b63a899b7888ea1d7","datavalue":{"value":"inductive theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2141298$314E3168-76D4-4761-AD11-98C14FC82AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2141298$05A4500F-A3DD-4E7F-B74C-C34F10ED697F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338be0a54d5517286768661e66fda74e0ecff5d3","datavalue":{"value":"dependency pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q2141298$AD5AAD39-3325-4108-B127-BCEED7E1722A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f7cbd45ecb73cef1c098eba204d848b9a2d6639","datavalue":{"value":{"entity-type":"item","numeric-id":30358,"id":"Q30358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$DB0BE179-AD90-4EC3-86AA-3C3920EB74CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$C12789AE-3EB3-41DF-AE7A-ED7F8DE7E06D","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":"Q2141298$54D1B4EA-30E1-4006-B725-FB6C54303B1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c223adcb7e1aead03ac641e21792c6cabace30c0","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2022.100779","type":"string"},"datatype":"url"},"type":"statement","id":"Q2141298$1C08751F-CAC2-4C37-9AE8-2B6E15948158","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e643043cbdc61e08945755d94c94879185e9ced6","datavalue":{"value":"W4229038222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2141298$11697A1C-6B43-4746-99C4-1D53262FD230","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2867379881a9fad1d7058ee036fa7796030eccda","datavalue":{"value":{"entity-type":"item","numeric-id":2849501,"id":"Q2849501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$BBBC026A-DB50-44F0-A641-7438EA29F646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d51aca6beb1a70c4f7a03278c2c88c76364cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5278212,"id":"Q5278212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$385E5695-1872-40FE-9224-48E98D2CC60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdb95959b57456fca08b117071e35f64c5d31a6","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$79DFECE2-7186-4EC7-B5C1-2C3F6C1BA4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57cb7ce19da7a8c3d5223412ed1f311d14ff605c","datavalue":{"value":{"entity-type":"item","numeric-id":582891,"id":"Q582891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$248DA681-3A44-4A33-B08C-9D826BAD39EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33aec71d7892c2f75b0e41aaeb3a78fc9bf9be2e","datavalue":{"value":{"entity-type":"item","numeric-id":5278394,"id":"Q5278394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$92858CBD-2113-42DE-AD8A-977034C67F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876f8e9697a35a1fa4e631a25500a97f4e320208","datavalue":{"value":{"entity-type":"item","numeric-id":876042,"id":"Q876042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$18476F5D-3A0F-4F49-A1B7-C691E1D3C22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$A9B69658-16BC-4D6E-BB43-F11B3B408A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2832e3c2b29276ade6ad5a52d97fd1d53a9ae20","datavalue":{"value":{"entity-type":"item","numeric-id":625290,"id":"Q625290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$88ABD63F-B3B7-4ED1-BC03-B9087CA8F004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$82A6B55B-36ED-4B36-81C0-CE0A5832E07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a4e89dfed482c45fe70c45a9cf5ab82c1b4a6e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$A03179EF-AE34-4032-8FB7-6BDF8B5CC340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e7025b242d2e0b571a0a74c4db8bdb30375fe0","datavalue":{"value":{"entity-type":"item","numeric-id":3591084,"id":"Q3591084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$7295EB3D-728E-4156-9609-86451DF026C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d49ab163f1f16305d44fd2dbcea1b2c6c47b9d3","datavalue":{"value":{"entity-type":"item","numeric-id":2946588,"id":"Q2946588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$0A587847-8A92-4C62-B58E-F62C7668778D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9b5196a22fbb287ea0d893577e0a54523feae9","datavalue":{"value":{"entity-type":"item","numeric-id":2628299,"id":"Q2628299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$48F74D85-4EC5-48DD-A147-976A0664A036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4098701b77640969d6c5a6c2843a41c1bc5c5110","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141298$340A403E-43C3-4B7A-8D52-5D48BD93CFF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d633da8e444977ab68a73cd8d1aa486483c3adf5","datavalue":{"value":"10.1016/J.JLAMP.2022.100779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2141298$D1BE0FF8-2D8A-42D6-9C9D-74820AAEA87E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ea7c93edaa58c009afa0f45c768035fa8c2e4b","datavalue":{"value":{"entity-type":"item","numeric-id":3490953,"id":"Q3490953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65320bb1fd5a7960ab363b1336388672c3afa0ac","datavalue":{"value":{"amount":"+0.7590773701667786","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":"Q2141298$BEA50CD6-36F9-44A6-9A86-504E617196FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f71201f0b6a3d1ac6dd9dbcf7bd5a1262cf8dd","datavalue":{"value":{"entity-type":"item","numeric-id":2163179,"id":"Q2163179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea7d08d8b6e25f67fbe9c6f71d7d4203b7157a0","datavalue":{"value":{"amount":"+0.7548322081565857","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":"Q2141298$FD9EEA79-3813-440E-8F1F-7D353FE38568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465d83c2f93a0d9a9000be6438c023e72de69b18","datavalue":{"value":{"entity-type":"item","numeric-id":672232,"id":"Q672232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f95631b736417437f3a10ef9e48c0d6ab6bb56e","datavalue":{"value":{"amount":"+0.7432778477668762","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":"Q2141298$D4B568DC-8B8F-4997-A5FC-E3D6C47ADC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecba8fd5eba8c85bbd4bcc43c5b043c49cb11fd","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd31778695c8bd3a1438f8570d0683f85a5b5b9","datavalue":{"value":{"amount":"+0.7252626419067383","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":"Q2141298$E7E56784-B365-4A3E-9D1C-AD2FE74FF95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237588a6fe4edd6b90ac6a947a7aeb658914a7b6","datavalue":{"value":{"entity-type":"item","numeric-id":4281481,"id":"Q4281481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ed0809197462f0695717179379a68932666e16","datavalue":{"value":{"amount":"+0.7206078767776489","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":"Q2141298$2C6E50DC-7294-4D5C-941D-5B8532953AC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2141298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2141298"}}}}}