{"entities":{"Q4369898":{"pageid":6399497,"ns":120,"title":"Item:Q4369898","lastrevid":46983969,"modified":"2025-12-26T00:05:19Z","type":"item","id":"Q4369898","labels":{"en":{"language":"en","value":"Termination for direct sums of left-linear complete term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1103562"}},"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":"Q4369898$35A61C7D-188D-4FD2-80BF-CE5E4C07D0C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f971ddef473b79d120ea883d7c158f445df2175","datavalue":{"value":{"text":"Termination for direct sums of left-linear complete term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4369898$55610B61-0404-4306-9585-9A6D9839F003","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f7eaa88e1dacba2226010c9097ecbfcbbfc5df1","datavalue":{"value":"0885.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369898$A0B65FAA-7F41-4467-8288-2A68A559B160","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3327de36136784ae5865372089a0955a3a305299","datavalue":{"value":"10.1145/227683.227689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369898$6C05EB84-B2DB-46EE-A36B-8ADB2CCBC153","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bdfe0bd308aff5406204a71a8f73fb22d157ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1107974,"id":"Q1107974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369898$91117B6D-5C12-44E0-BC08-8ECF7BA8B4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369898$E971DD93-4547-48AC-8A5E-2D34ECFB08C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369898$A1BACF75-B6FD-4983-BD52-482C6EBD5631","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369898$AC3A4181-C576-4C5E-9B2A-DF2CB080999E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a0b49252c47513608a2024e704aeac58803f16a","datavalue":{"value":{"time":"+1998-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4369898$DEF2FECC-050B-4978-BDEE-F0A92DD5338C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e16ff878ae0f23ad6060e0066f2b7c905300113c","datavalue":{"value":"https://ir.cwi.nl/pub/1380","type":"string"},"datatype":"url"},"type":"statement","id":"Q4369898$A58244FA-7E79-4B9A-81E8-6C999C28CC52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369898$FD2C6701-94D2-473D-BEA2-3355C3F75257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd223545f80d0ceb31f0159a4babab950bda7163","datavalue":{"value":"1103562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369898$4C23959A-BB89-4D5E-8278-AB136FE0A1C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369898$E294B3D9-D64A-4226-B016-7B7046C55D89","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":"Q4369898$75C0B577-6288-4C7E-8CE0-F1D893F1C0D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"960af1d5bcecee3b7ddcfc564c814085be86a209","datavalue":{"value":"W2122267814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369898$84745827-3DA7-4C67-9496-1CC6A218514E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae05816eb13af9f286450af69119e3ac667fb33a","datavalue":{"value":{"entity-type":"item","numeric-id":5055740,"id":"Q5055740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a03f90f1ce70bb20f2ce6b8f40ed81c324a09f","datavalue":{"value":{"amount":"+0.9117765426635742","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":"Q4369898$758C4834-DE7B-43BB-9C08-43AE0FD22502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6f8f4ec66eccd7dc7e8be168a2f0425bdd313b","datavalue":{"value":{"entity-type":"item","numeric-id":3125168,"id":"Q3125168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ada81e6613df1c20b3c245a87e58be4eae48e29","datavalue":{"value":{"amount":"+0.8719770908355713","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":"Q4369898$67693F45-C8E0-4299-B024-D4AB924A7B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac12c37842370b92aa3a790a4cfac45812cfe55","datavalue":{"value":{"entity-type":"item","numeric-id":5055759,"id":"Q5055759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e621761b2290f22f87cf35ced1b8bff2fb33e15","datavalue":{"value":{"amount":"+0.8712860941886902","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":"Q4369898$6D198E58-79A1-4995-8F08-0FF9EFB227A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f707dddfd1b49d57e3b6ce35f6039f80f955b01","datavalue":{"value":{"entity-type":"item","numeric-id":2368072,"id":"Q2368072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"080317556ad8e5e50b913fe0111bc7e7235c07f1","datavalue":{"value":{"amount":"+0.8585500121116638","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":"Q4369898$DBDFBC0D-8AA7-4B95-A01B-A861301A47E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4369898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4369898"}}}}}