{"entities":{"Q1349693":{"pageid":1360432,"ns":120,"title":"Item:Q1349693","lastrevid":67205100,"modified":"2026-04-12T16:01:50Z","type":"item","id":"Q1349693","labels":{"en":{"language":"en","value":"On the modularity of termination of term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983735"}},"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":"Q1349693$0A531E74-A400-4F7B-9AED-66327FAFD1EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"220fd63118ff5bc915ac00d130a1312de4069c57","datavalue":{"value":{"text":"On the modularity of termination of term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1349693$613306BD-6044-41A1-9B5E-D6681432EA8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39a89a0a5f17bb8604e7d0a27a62faccd8da4441","datavalue":{"value":"0874.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349693$AD64EBAF-64ED-43B3-BE8A-093C8212DA19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0111fb4c86026229b05d32ee8dc66abef9909d36","datavalue":{"value":"10.1016/0304-3975(94)00039-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349693$C4747BA7-2F03-4680-A0FD-6CE4BA8BF126","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89308d8329e6af4e1581f47421754e097f447cbb","datavalue":{"value":{"entity-type":"item","numeric-id":199245,"id":"Q199245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$66380D4B-9776-47EB-AC60-129E99551433","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":"Q1349693$4C5CA971-9DF3-4CB0-89D7-DC3087D3DD8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-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":"Q1349693$F31BA52A-BB1A-4326-99BF-7A5BDB22D12A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349693$44F359A3-2F86-40AD-BC87-3D238E9E7266","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75957d75c179dbe19ac3733b4c030c85b78e67b7","datavalue":{"value":"983735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349693$13A0DBD0-9F38-4FF9-9B35-055D6CF02D68","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":"Q1349693$CB85DBF4-34C1-4E91-BDB9-999B9FA07CAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f4147474a7e5a4baf84f193c7501316743b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":1139374,"id":"Q1139374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$7CB32202-8B95-4E36-B392-2146A0EE1279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878d0cf3806a5845f931422b646e88e6f9f50943","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$E37BB6F5-304A-403C-A864-C00DCEEA92C6","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":"Q1349693$0A72A0A5-32A1-447F-9F4C-BB1E145D5587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$C24DF9C1-5A76-480A-953E-DB59B1E8605E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047ce2d6a06e1b5fad6f5127301a6dc996f08010","datavalue":{"value":{"entity-type":"item","numeric-id":4692463,"id":"Q4692463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$E5B70FBE-B56D-4C96-A42D-D4BAE74DD45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fde8a68f7ac705939927db78446d9cd7abd767","datavalue":{"value":{"entity-type":"item","numeric-id":1182475,"id":"Q1182475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$FF9CEDE4-E24E-4A88-B1D1-F0C3298D2E17","rank":"normal"},{"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":"Q1349693$4BDBB641-45EE-455A-9AAE-71466100AE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68991946954da8e80a39121f5eebd144a9a19aee","datavalue":{"value":{"entity-type":"item","numeric-id":5881180,"id":"Q5881180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$A0F52DA3-E83F-46D8-B7AF-74E6A84B8B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$7117A325-67EF-4097-9B5F-59155109C49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ad55ec6996d82cc8ad24121af9535ee98d1393","datavalue":{"value":{"entity-type":"item","numeric-id":4268467,"id":"Q4268467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$707E2472-CDC5-4789-84E0-80EF49A2DF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57df5e3dc4736ec9eecd241151dac382ff6d6b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4490728,"id":"Q4490728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$456D57B2-7ED4-473C-BDEC-B80FA9C15451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8c08d244a6b275b719f350bd2ac35e88e48bd9","datavalue":{"value":{"entity-type":"item","numeric-id":1199539,"id":"Q1199539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$E4C9ED51-306A-440E-A3E2-CE2968A47229","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":"Q1349693$42B59CA2-6A65-4DA5-838A-2655DB8E81BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73082194760b2ca2ddf549af4f20d67097ed3f50","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$0950F5EA-5CD9-4506-8B3B-5D6FF06EF4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f617bbdd809e6cca900a04eb2bca20125de142a4","datavalue":{"value":{"entity-type":"item","numeric-id":1343111,"id":"Q1343111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$FF06708B-E1A1-49EE-914D-2CE19A7FDE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c44b9b936face2dfc4d4635051b2920e843d73","datavalue":{"value":{"entity-type":"item","numeric-id":2368072,"id":"Q2368072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$02C9BA7B-9F0E-462C-B87A-26064F8A947A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0886a8dd91d4ae52bec7708776d936737ac8fe","datavalue":{"value":{"entity-type":"item","numeric-id":4431370,"id":"Q4431370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$334B1345-D85E-4FAD-B0F1-A640F0AEFE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145643b6dd779c4b753d6ad431b0e968ca802037","datavalue":{"value":{"entity-type":"item","numeric-id":5881179,"id":"Q5881179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$A7F71EAD-6987-41C6-ADB8-C641A7753BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9644ac28092b644983d185b8afe7296e04f31a4e","datavalue":{"value":{"entity-type":"item","numeric-id":674186,"id":"Q674186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$1485B2DD-2E98-4969-AFA5-F094B73BDBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033dcd0736cb42469f6e374b902230aefb1fddc4","datavalue":{"value":{"entity-type":"item","numeric-id":4954455,"id":"Q4954455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$BA8EA3EB-C3C9-47BE-B3DE-338233478650","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":"Q1349693$76292E10-A3CE-42F5-A62B-B3F0CC4AE5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f29b3c236e91c30852d16d4ed27cc41f72168feb","datavalue":{"value":{"entity-type":"item","numeric-id":5055737,"id":"Q5055737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$FC9890F2-87EA-44E4-83F8-4A14F7F1728D","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":"Q1349693$4FE24BF6-DEC1-47F3-A6EA-C587DC5E7CC5","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":"Q1349693$2A1206F8-7EA7-468C-BD1F-080E6ADE17D7","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":"Q1349693$9E40CE02-6242-4283-8642-442A1FD38228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8faf48a99f51163fdc38a3831b24785025ff0a66","datavalue":{"value":{"entity-type":"item","numeric-id":5881183,"id":"Q5881183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349693$CCE80751-854E-44EC-BE75-175A0EE2FEAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"530e14bb1330bc984dd9cc58f839e497bdb04a48","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00039-l","type":"string"},"datatype":"url"},"type":"statement","id":"Q1349693$BEACA2C6-AF0F-4256-9A41-78A032608898","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c38585ee0e7971929be3c9ad0e6095086833be1","datavalue":{"value":"W2031948276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349693$2B7DBE2F-999F-45B3-B6D1-240A1090B670","rank":"normal"}],"P1643":[{"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":"0e24e05efc20592187f1005f4deadf939da64aa3","datavalue":{"value":{"amount":"+0.924005389213562","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":"Q1349693$B08B5C58-FE06-4938-8DB8-21DE703A9618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33225b0bf1ed21b78026a1644d51eb19daf285cd","datavalue":{"value":{"entity-type":"item","numeric-id":4954455,"id":"Q4954455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b672fe4a436ef43b3eee35308bd85307757202","datavalue":{"value":{"amount":"+0.9237452745437622","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":"Q1349693$580C49B9-6679-411B-93D3-D03CE60B6FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da63c79f302a7f363a260477b2be0c116758766","datavalue":{"value":{"entity-type":"item","numeric-id":1199539,"id":"Q1199539"},"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":"Q1349693$73822757-A4F2-4052-8627-6B3BEFF54843","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":"8c0f7b49c9cbe585a6fb3f77c8d9f9ed66a2646f","datavalue":{"value":{"amount":"+0.8951519131660461","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":"Q1349693$97599805-E482-4889-B20D-EE0C153F20C0","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":"0a623154fbf8526eef9d06f3b63435615c0ea35a","datavalue":{"value":{"amount":"+0.8943575620651245","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":"Q1349693$76647B81-4F94-4CE2-9D6E-A73DB991F79F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the modularity of termination of term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_modularity_of_termination_of_term_rewriting_systems"}}}}}