{"entities":{"Q3636826":{"pageid":5666732,"ns":120,"title":"Item:Q3636826","lastrevid":88830932,"modified":"2026-06-04T15:35:23Z","type":"item","id":"Q3636826","labels":{"en":{"language":"en","value":"Modularity of Convergence in Infinitary Rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571844"}},"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":"Q3636826$CC3DFCD4-769F-4B5F-8CB3-C33E943052C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27caada9db191eb2916a0e29d0345ca7f4e811a6","datavalue":{"value":{"text":"Modularity of Convergence in Infinitary Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636826$9FE324C4-72D5-46A5-A2C6-877C4EB534EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e2f2dd3847f3dbff05e22a8d80ff2d41c789064","datavalue":{"value":"1242.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636826$B3887B1D-54F3-4C41-9F43-535D9F7C237E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32a22864c3f6ff08b6ac4864f4ace542714f6b78","datavalue":{"value":"10.1007/978-3-642-02348-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636826$7AD15745-3C50-4A9E-8714-CDE3F8F7B4EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd081b6310e0fec087b3fd5ca1ae34286145f6ae","datavalue":{"value":{"entity-type":"item","numeric-id":820945,"id":"Q820945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636826$030F4730-F1FF-4F3C-92C1-3134F9A28C4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636826$B6995977-C7A5-4D20-95D1-ED582AC89C2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636826$6D5E77BA-FA3C-48F4-BF00-14C88065E709","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636826$31D50AAE-B591-4FAE-AA1C-ADA344D4FA49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdc9cf021f0f1515e9b3f73346dd75139db658da","datavalue":{"value":"5571844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636826$F7F86CF6-E2CA-4E8F-AE41-42F77721BD12","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":"Q3636826$43350ED0-8F99-41D9-AF34-CC6DBFF58675","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"954e18083e13d029a1c6eb0961f4bc8d9dea494d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02348-4_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636826$E19139B8-B386-4B83-9563-B0701F6C51A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f3d804c073dc8db7b47e611efe226de59d6d952","datavalue":{"value":"W1501324300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636826$5B7093C7-1A24-424B-93B3-8D170F066048","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13637c329a859369d956f00d5ad44bbfb24c2365","datavalue":{"value":{"entity-type":"item","numeric-id":1136494,"id":"Q1136494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636826$2B5D2828-0BFB-457E-8311-A06D6B49596D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79479be3f78950fdebc8d6458730d52e0552f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636826$6D960B03-3379-4597-BD3E-488460F2A674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86811f0352a589d87de2dd39deec192b5dde415a","datavalue":{"value":{"entity-type":"item","numeric-id":4933740,"id":"Q4933740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636826$E378E416-DB5A-4DAC-B2ED-2CEE291C2B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cdaaba88d8dfc7d9ef7b73cd9bafb86c7a4c07","datavalue":{"value":{"entity-type":"item","numeric-id":884993,"id":"Q884993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636826$8A9AA917-4C89-40C3-9E26-6686EF1A0602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd18787782015b7e4cdfec4f80eec7185d2f979","datavalue":{"value":{"entity-type":"item","numeric-id":5901571,"id":"Q5901571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636826$A5C7B358-E7ED-4ADC-B09F-4FB4269045BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9ff0a17d8bc37cd70a007f798b7537e431c126","datavalue":{"value":{"entity-type":"item","numeric-id":3997475,"id":"Q3997475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636826$F5AEDF93-3C51-49B7-B342-28553DD7B06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d548caf08e0e70d79f048b4cfdf9f5cd423531b","datavalue":{"value":{"entity-type":"item","numeric-id":5340125,"id":"Q5340125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636826$C4565EAA-1154-4A63-898F-97541F7DA5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b3d0fb48e37eaf47648033b59a1e10b100c957","datavalue":{"value":{"entity-type":"item","numeric-id":2496298,"id":"Q2496298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636826$4E649C1A-48B0-432C-94A7-7EF923138B49","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":"Q3636826$D40335A5-46DD-4C5C-A152-4EE81B768F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a395bac006d421d28c3833c1f367fbbcb32420ca","datavalue":{"value":{"entity-type":"item","numeric-id":3522036,"id":"Q3522036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636826$FC83F1F6-60AB-49F1-8051-2C326C4ADE19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f903dd453f1c898b09d1650b25ff2418459d8012","datavalue":{"value":{"entity-type":"item","numeric-id":2786135,"id":"Q2786135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"568d103ecd29dda0d1d4ac72610dd82b320364e3","datavalue":{"value":{"amount":"+0.9759142398834229","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":"Q3636826$F7845736-A46E-40B7-9529-07B854DB7D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa435edefb50e75e46962ef2429e735f4f67e468","datavalue":{"value":{"entity-type":"item","numeric-id":2496298,"id":"Q2496298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08394bf8104ddff7a4d2b7eebd8b9f36be37a501","datavalue":{"value":{"amount":"+0.917427897453308","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":"Q3636826$8DF4D81A-9F48-4D33-82A4-0C701E4AA846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f7f0a7478dce861b8090bac57a12bfb55d16785","datavalue":{"value":{"entity-type":"item","numeric-id":5901569,"id":"Q5901569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a05792afc5a747c3b10ee328cb7d5d943e7d35","datavalue":{"value":{"amount":"+0.9162461757659912","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":"Q3636826$29482CFE-0B9A-41A4-A782-979DE6DB6676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b088c4659552d05ef6d890b942365a1fdcc9452","datavalue":{"value":{"entity-type":"item","numeric-id":1929227,"id":"Q1929227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e481eb458ee0c0789dcba0f8c6fe75d34ebf4091","datavalue":{"value":{"amount":"+0.8476577401161194","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":"Q3636826$D4BEABBE-41F8-42A5-9717-30207BBF9553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae75205f2f2fff0491c7fa831b88025350a0e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4537514,"id":"Q4537514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b9b6ffc6c45d8265f522876fd994d750a69dce","datavalue":{"value":{"amount":"+0.8427498936653137","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":"Q3636826$B68553AC-8BB8-4FC7-8450-D0920D6D7646","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modularity of Convergence in Infinitary Rewriting","badges":[]}}}}}