{"entities":{"Q1199539":{"pageid":1210288,"ns":120,"title":"Item:Q1199539","lastrevid":66465018,"modified":"2026-04-12T10:15:39Z","type":"item","id":"Q1199539","labels":{"en":{"language":"en","value":"Modularity of simple termination of term rewriting systems with shared constructors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 94461"}},"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":"Q1199539$15652043-CE9B-42FC-BE2C-A15C40C21110","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e992d534761e3b82d278994a20a53ee6506e9250","datavalue":{"value":{"text":"Modularity of simple termination of term rewriting systems with shared constructors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199539$958B7F2D-C764-4CE3-A0DA-B46F4F26CF5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08989f9b2faa9aa05e3309e68ebc52ecfd6079a7","datavalue":{"value":"0753.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199539$CE0AF921-A898-4249-B530-D99F747BCE34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11cf422a7c6509b470c3b8469e3c341e623ae9df","datavalue":{"value":"10.1016/0304-3975(92)90015-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199539$CB39EE6F-0FD7-4AE4-83DA-B855C8D818E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90280e2e9ed9c2da332555686dd4a20a6df5797a","datavalue":{"value":{"entity-type":"item","numeric-id":352955,"id":"Q352955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199539$AE9BA615-D71D-4BE8-A36C-8866A37445F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbdb7bc792ef895f99260c21b4ab1607d10b9d91","datavalue":{"value":{"entity-type":"item","numeric-id":673185,"id":"Q673185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199539$C7B0FF06-41FD-44E4-8B96-CD852F53AC76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199539$C9C71BF6-10F5-4794-B224-D9A97BAB10C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199539$0E8C1D74-3EF1-4E1B-B665-F26963F16103","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199539$7F3E3A3A-1D74-495B-AE2E-784774872262","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fb337277960b6e9fe10fdb0f279d68c72e04bcc","datavalue":{"value":"94461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199539$F401253E-56B8-4723-95CE-75EC7E67C02F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199539$26D54B04-7162-459D-95FE-1F467E97B85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199539$471C46AD-3692-4816-BA48-205F8E32CF86","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":"Q1199539$711D1186-42FD-4E79-800B-38C2FE9416C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1afd94f53dabaa306561aa968a28f06c90f2b3e8","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90015-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199539$9A9A4235-A2DE-4A6F-BB5F-07233E238363","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38f311515a056c52afd06ba6aac46b238acb856b","datavalue":{"value":"W2004551119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199539$48E94E15-912F-48F6-8758-9AEF1D6AD7F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e68522e480793ad08c3035e092f5d824e5fae6d","datavalue":{"value":{"entity-type":"item","numeric-id":3783521,"id":"Q3783521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199539$D7782E35-DC1D-44CF-B358-0088983BC750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a5a19332cdd7c221673f31522d65352fc9bc422","datavalue":{"value":{"entity-type":"item","numeric-id":3917482,"id":"Q3917482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199539$0F9CC7C0-FB8A-4B34-BEB0-A3E79735AF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199539$7874DF31-8E3C-4BFD-873C-3B2227B471AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199539$C453D974-4205-4B91-A92D-3DF3E236D76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199539$2D45D4D3-AA82-4966-8F2B-D0396F8B98A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1de7a41a5c09d0b7d2c0b459018288964db062","datavalue":{"value":{"entity-type":"item","numeric-id":3805891,"id":"Q3805891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199539$ED76C938-467A-4F89-AC2D-992ABA1D91B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f28b0751a7d60f0d11ffebcb02ee26333307dd","datavalue":{"value":{"entity-type":"item","numeric-id":910207,"id":"Q910207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199539$94AB1673-B47F-4D8B-A4F4-C1D1E46613F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5e8b14e33ce5508a37941b203d2419e8ded357","datavalue":{"value":{"entity-type":"item","numeric-id":5055726,"id":"Q5055726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199539$71275D82-C771-4348-AF75-974271975287","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":"Q1199539$BC65B381-15A6-43C1-99B9-FFA6701D7D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fcdf09b2e5e83a2568ad6dfe66132bd375837a","datavalue":{"value":{"entity-type":"item","numeric-id":5055759,"id":"Q5055759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199539$4199921F-A6CF-42D2-B442-227BC2903A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a085668ad82a7353414002d9e0cf4392ac37dd","datavalue":{"value":{"entity-type":"item","numeric-id":3783524,"id":"Q3783524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199539$9B15668B-2356-4B29-B27A-A6BC0950ECB3","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":"Q1199539$0D3BB7AA-9A50-4E69-8103-0C9A49DB8F41","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":"Q1199539$0C844123-AC3C-4BA8-A1D5-C8BA03B4D52E","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":"Q1199539$DF5FE811-1F16-4785-9930-E6E834BC696F","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":"Q1199539$23E0A1FD-DD6E-4193-A53F-783ABE18F622","rank":"normal"}],"P1643":[{"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":"030af6a598030bbc9656a7ee0fac212f2e62c08b","datavalue":{"value":{"amount":"+0.899379312992096","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":"Q1199539$E1DC61FB-C3FB-4A21-A975-7F99527DF09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087d8839362eedbb7d75fe0d5a6466eb3e953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3994202,"id":"Q3994202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1308b996d4cca82e596c4ca48756380feef1834e","datavalue":{"value":{"amount":"+0.8852994441986084","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":"Q1199539$6EC7E41C-119C-47CD-A048-4078086FCED5","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":"ca771e7b453ff458de2980e0690988d5dde8579c","datavalue":{"value":{"amount":"+0.8511065244674683","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":"Q1199539$89BE1CB8-0142-4EC7-A319-140269B5786D","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":"00006617c0db46347553f105a629c948d3fc5654","datavalue":{"value":{"amount":"+0.8411803245544434","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":"Q1199539$1892E906-5215-499C-BA9B-555FA2CD83E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e398622807fc23703a52d71147468fe98588f5e","datavalue":{"value":{"entity-type":"item","numeric-id":671506,"id":"Q671506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db398f496672a750acdb21f57981de4b77d93a8c","datavalue":{"value":{"amount":"+0.8392676711082458","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":"Q1199539$AB89C935-433F-4D09-AC20-13519B74FD94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modularity of simple termination of term rewriting systems with shared constructors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modularity_of_simple_termination_of_term_rewriting_systems_with_shared_constructors"}}}}}