{"entities":{"Q2059889":{"pageid":2070631,"ns":120,"title":"Item:Q2059889","lastrevid":72565656,"modified":"2026-04-14T05:46:30Z","type":"item","id":"Q2059889","labels":{"en":{"language":"en","value":"Modular termination of prefix-constrained term rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7444821"}},"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":"Q2059889$744718F5-4FEA-4698-B181-2A8EAC3F1617","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1af385eb3cc1b785bd25bdcaa1245357803e09f1","datavalue":{"value":{"text":"Modular termination of prefix-constrained term rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2059889$C2F72DC6-8F85-4CFC-8398-2585FAADF3D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90ad223debff2d15347d426d0720c6b050088e62","datavalue":{"value":{"entity-type":"item","numeric-id":1675157,"id":"Q1675157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2059889$27817F37-5070-4BBA-B745-226C45054934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc953e7dff7d26bdcb07d2cdf423e7bdad75f63","datavalue":{"value":{"entity-type":"item","numeric-id":1675158,"id":"Q1675158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2059889$68A1CB80-C88A-4BD4-9740-B6C951C84669","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2059889$34FD13E0-546F-4269-8947-55569312F991","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d9560a2a7c80ef145e6b9b718329e3064d365b3","datavalue":{"value":{"time":"+2021-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2059889$83DD13FF-15AE-4CE9-BA65-70CB394337CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2059889$2C2BB587-E691-4505-8C27-EB3E6BD5BB14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2728ba2a353aea44570c6b1eb9753a096af7ab2","datavalue":{"value":"7444821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2059889$FF0D0664-19AD-4FE2-814F-EF6DE4C26BB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2059889$9167E2A8-EA9B-44F4-B75B-E8FE213895F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00eaefe2254af893004b65fbfa0984a115b5b9de","datavalue":{"value":"prefix-constrained rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2059889$A6120697-A274-4ABC-B305-3EDF89BF36DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aafeceadefd0362245cdd122f57354245696f4d","datavalue":{"value":"modularity of termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2059889$2CC08192-FAD4-47B3-8BD6-337A8C8C7A48","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":"Q2059889$1FECDA62-BBFA-49C4-9984-C5B14CF69BA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d96849b8faa93b5e608f8084f26cc64d95fd592","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2021.106207","type":"string"},"datatype":"url"},"type":"statement","id":"Q2059889$081C5886-CB8E-4816-BE4A-05F5B2D0BEF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"797e8e882aa2842bfe488e454b4bc891a5312990","datavalue":{"value":"W3200853050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2059889$9F8A424B-A865-4820-8FAC-22AA1B59F471","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb45a07c249808f39b196e78cb1332eb59c84b38","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2059889$3D5072DD-2862-4B0E-8AA9-932118E7C424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad49c0e73a818ba4ceaf2b590f61e94f93060ab5","datavalue":{"value":{"entity-type":"item","numeric-id":1929227,"id":"Q1929227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2059889$2A9DD019-4D45-43B8-B7FF-D30F13CFB3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353691f96b7258724f001a646d3c16cdac1b5b05","datavalue":{"value":{"entity-type":"item","numeric-id":3454088,"id":"Q3454088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2059889$49A70815-30CF-440F-AF16-EDF047158958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a48e8830951e39fb0f54422f9a7174d85b6eee","datavalue":{"value":{"entity-type":"item","numeric-id":1854569,"id":"Q1854569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2059889$F65AC1E2-AB45-4FE2-95E2-4AB00CB4B45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399c4cdf2fc30383b927caff1ca0ff9ad8e69425","datavalue":{"value":{"entity-type":"item","numeric-id":3204048,"id":"Q3204048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2059889$DDE99AFF-975C-4FB5-B66F-97C5584645EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f24c9f0634a3b40f1d86c3af8f38a5977fa8ec2","datavalue":{"value":{"entity-type":"item","numeric-id":1349693,"id":"Q1349693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2059889$ACA8D1BD-9126-443A-A588-A61571B89278","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":"Q2059889$F8F5DB45-CEF1-48BB-A77B-28DE65677C94","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":"Q2059889$DE21AEFF-1110-4438-A92A-9F3B77919B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc336279bc6b903ae5d2dab95cf7cb212cfd164a","datavalue":{"value":{"entity-type":"item","numeric-id":4369898,"id":"Q4369898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2059889$5D68B170-0A92-48C9-A65E-04717BECB659","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":"Q2059889$9DA24EF6-C541-4D62-9861-9238C4B40F61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb347ba2c37528ab4285c49b08bf2bb911262267","datavalue":{"value":"10.1016/J.IPL.2021.106207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2059889$C6680FC8-2675-4341-8B02-3A13E579E672","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular termination of prefix-constrained term rewrite systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_termination_of_prefix-constrained_term_rewrite_systems"}}}}}