{"entities":{"Q5881178":{"pageid":7910729,"ns":120,"title":"Item:Q5881178","lastrevid":47823742,"modified":"2026-01-02T19:22:25Z","type":"item","id":"Q5881178","labels":{"en":{"language":"en","value":"Collapsed tree rewriting: Completeness, confluence, and modularity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661541"}},"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":"Q5881178$973B002E-F369-4C59-A896-24FF54DE0D3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63a6b4730305e766cac1a4b953f57f368f3e2e02","datavalue":{"value":{"text":"Collapsed tree rewriting: Completeness, confluence, and modularity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881178$0E88602F-D655-454F-9CB5-B58B7A671BEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d92ecdf32394eaf35c1debfe6508624653da2f4d","datavalue":{"value":"10.1007/3-540-56393-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881178$665D8D68-A500-4E12-B626-7366EB195038","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cd591e7b6049802668eb29da136468a116bf893","datavalue":{"value":{"entity-type":"item","numeric-id":516037,"id":"Q516037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881178$9796D9AD-E2D0-415D-BD24-DAAB843336B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00eb62236e33a5483cf4681f1956ae601238d263","datavalue":{"value":{"entity-type":"item","numeric-id":5881171,"id":"Q5881171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881178$A8C91302-1651-42C5-878A-BB30B22B738C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881178$C41235D0-A59B-4C62-9F6E-B73F531CED53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881178$F18ADC8D-55AE-4740-BDF4-8AFB3DB1C6C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e604dbacd038b3c6653ffa015d88d0565ad9e9bd","datavalue":{"value":"7661541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881178$F94D4794-069B-448C-9964-70357CD2A5BD","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":"Q5881178$0445060A-CA64-4AE6-B1B7-A93716F627E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cfd65338838c76b9058b5e9ffb858daeb6dee15","datavalue":{"value":"https://doi.org/10.1007/3-540-56393-8_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881178$9509E67F-D617-4A86-989A-A678F1275EEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e676175a683b807bb765c25a7505033774aedc3","datavalue":{"value":"W1515738989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881178$F1A75CA0-FD7F-44FB-AD00-A65ADBF464DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d60c16ce12dfb2b7801e9859ff9da5737abcde2","datavalue":{"value":{"entity-type":"item","numeric-id":5055761,"id":"Q5055761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881178$0251E45F-73A6-48AA-A7DB-A6E42B3744A6","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":"Q5881178$B08C6FA9-DA52-4DE8-84A1-C0F775BA73CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36d7d97026cd553890bf8bf659121a9c590144","datavalue":{"value":{"entity-type":"item","numeric-id":4122833,"id":"Q4122833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881178$18CACE3F-EA59-4CA0-8F8B-73658546E6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cdbb0d9ff37af3af5110351f6007f31db92ffb5","datavalue":{"value":{"entity-type":"item","numeric-id":5055745,"id":"Q5055745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881178$63696196-0400-4BDA-9DD3-AB98EF79D193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7e15b7e3b151ba1c7d5f66691114556288014a","datavalue":{"value":{"entity-type":"item","numeric-id":3486867,"id":"Q3486867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881178$72CE1CAB-AF82-4B51-A986-92D2A409B02F","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":"Q5881178$AC7826B7-7ED1-4294-A7FF-EBE550435306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577c16d7219eebe17d5c59e5734b8d6c26ea7c26","datavalue":{"value":{"entity-type":"item","numeric-id":4038704,"id":"Q4038704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881178$536A2151-F41B-4E60-9933-0476A0BEDEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881178$CBB6002B-6211-4FB9-B788-5EEA812FD73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a728fcba7c305276041bc972343dd1d2f4397f3","datavalue":{"value":{"entity-type":"item","numeric-id":5881286,"id":"Q5881286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881178$D79C0304-CFA6-4AE3-847C-785A912525C6","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":"Q5881178$21D8A845-371F-4C86-A534-64F9B99C995F","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":"0883f75c0b0c6d5ee2ed4631f10b9d0386cf8c5c","datavalue":{"value":{"amount":"+0.7576343417167664","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":"Q5881178$3A0BFD0F-F72A-41FD-9B9F-84862680B6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb1381a96e8da1a08884c3f8662a6d7238d0fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4222908,"id":"Q4222908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae46e494f49d259c53c45439d718c6c3c1165077","datavalue":{"value":{"amount":"+0.7562667727470398","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":"Q5881178$7375548E-F7ED-427B-969D-9D4B9F6179A6","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":"7161c39ad29a6c61057805b8249b3081bc7c895b","datavalue":{"value":{"amount":"+0.7471691370010376","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":"Q5881178$E0641BD4-6F90-484E-92C6-51786F5C6841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdeee46e504a55acd7bccfff46c1219fa96e652","datavalue":{"value":{"entity-type":"item","numeric-id":4842538,"id":"Q4842538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d16f30b25e25b26c6272bf9b86fdc3f27e4e327","datavalue":{"value":{"amount":"+0.741856575012207","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":"Q5881178$0D37B764-FC17-457D-8363-F8FA0D08B020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8227cf4743df0f3de932014666005d21644d8a59","datavalue":{"value":{"entity-type":"item","numeric-id":4923548,"id":"Q4923548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"223c163d6a057831ac67ba5fcd19cfbb511a344a","datavalue":{"value":{"amount":"+0.7406171560287476","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":"Q5881178$11A1E89E-9E10-46C1-A32F-23BAAA28F624","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881178"}}}}}