{"entities":{"Q3454087":{"pageid":5233487,"ns":120,"title":"Item:Q3454087","lastrevid":52405919,"modified":"2026-01-22T14:06:09Z","type":"item","id":"Q3454087","labels":{"en":{"language":"en","value":"CoLL: a confluence tool for left-linear term rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515502"}},"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":"Q3454087$67C1D4BE-D736-4062-AFC7-47595D0CE6D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd88009335e9f509414ea2182349535a84599c6d","datavalue":{"value":{"text":"CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454087$A9CB7B7A-37DF-4C00-B178-F89F58E80527","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b3a4e75c0c412ebc01e8f8602d579d796a24645","datavalue":{"value":"1465.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454087$619E1874-F87A-49D2-A09B-C21E9937F116","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1b8ddceccf3984d240e55abce806ee8b2b6dea1","datavalue":{"value":"10.1007/978-3-319-21401-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454087$35551830-E6C0-4690-9D40-6904A9B8A05B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e30a5b704bb8bdb1ba6cda60d6242141e7b99eb","datavalue":{"value":{"entity-type":"item","numeric-id":3454086,"id":"Q3454086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$29D3AB48-EC70-4B00-AC90-95744849FCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbf80f7e67c864eea20bacda65f1ad6545214beb","datavalue":{"value":{"entity-type":"item","numeric-id":352957,"id":"Q352957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$7B90DA6E-7EEB-471C-A721-95618E716168","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$B0B1D222-C1FA-4D71-B8D3-267D2AABDEA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454087$FECD7391-05F3-41FC-89A0-CCE9387CFC59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454087$794ED51D-37C6-449B-AE34-540DA8391063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454087$899C0E07-4F9F-4F3E-9C5B-FE27DD5EFE98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2b857bd880daff25f101276a43e33c2190e52cc","datavalue":{"value":"6515502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454087$8CCC9C42-2D48-44BC-874C-1F9A1EDE988A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bbb745e5682c56c3ac55ea94384cf87e1743f67","datavalue":{"value":{"entity-type":"item","numeric-id":21746,"id":"Q21746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$AFD10CC2-062E-4685-9CAC-A3D6CC89A67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a28d96c60ccb1156ef0d94d14c5814678632b54","datavalue":{"value":{"entity-type":"item","numeric-id":21761,"id":"Q21761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$17AA5F6E-1D46-4D60-9CAB-E3BEA74AC961","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":"Q3454087$F8770A58-DA32-4990-9E03-612C4B511E1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c8087ffd7c91af37a6e98e4bb9b5b7202154c82","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21401-6_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454087$E64F3A71-9F09-45E1-B2CD-29A6E0DB75E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ac3fb5cf0a92d4a89ab080152f80e41fb75f455","datavalue":{"value":"W1468454629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454087$3E84F04B-2136-4DF6-8173-EECB968D224C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6754c136834445e5f7a88076f464c538f8a6402","datavalue":{"value":{"entity-type":"item","numeric-id":3084198,"id":"Q3084198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$6755DDFE-1676-4725-B3FB-F40F83507538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1399d85040ecbfbd989e12fc58a50c94b5c35675","datavalue":{"value":{"entity-type":"item","numeric-id":1400715,"id":"Q1400715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$5586A521-B963-462F-9A9E-6BBE654BA189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$D1F4A695-5F47-4556-9ED5-3A0C2CDB7EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df35ce1b7337c29049f0a548437d0ab4aae7981","datavalue":{"value":{"entity-type":"item","numeric-id":4266515,"id":"Q4266515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$1035E500-07D2-4E60-8E70-F2AA43414451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a25774b48dfc22ddad460ee460d46d941d1a1fd","datavalue":{"value":{"entity-type":"item","numeric-id":3838764,"id":"Q3838764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$5F3A9BF7-96F7-42C0-923C-027F4841501A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a3692cdfc585abf2051a3a7b81ab6c7595ab3ed","datavalue":{"value":{"entity-type":"item","numeric-id":4377526,"id":"Q4377526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$2F0C4AEC-4720-4673-87F7-8FF79D6746E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a2bbb5b4d44285ce61bd44fd533431301032d9","datavalue":{"value":{"entity-type":"item","numeric-id":3636821,"id":"Q3636821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$43C95E98-27D6-409B-976F-5E6F779F60AC","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":"Q3454087$DEF6BAED-622F-4BF9-A0BD-5507ED564B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00912eec06d4f9baae512236a9b80f68a52ee40b","datavalue":{"value":{"entity-type":"item","numeric-id":3830525,"id":"Q3830525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$D1B78140-2B59-4048-B206-1B08C520C781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4935ad48e4266d08c483ec2131b1e0a201050d","datavalue":{"value":{"entity-type":"item","numeric-id":1392147,"id":"Q1392147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$9B805D6B-3F8E-400A-8A62-ECE5515DAAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cba28b68fd268a3fda8a1750f4b6808bf5f1090","datavalue":{"value":{"entity-type":"item","numeric-id":3522026,"id":"Q3522026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$EC45BDF1-D977-4C0F-9324-38A4DDCCA2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35102db1b7e7b090a79e18e4df0f2b0bccb432b9","datavalue":{"value":{"entity-type":"item","numeric-id":5389131,"id":"Q5389131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$172D8733-9C67-4BFF-832A-10EBE66FF619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22181873dfbb996a0b605daf51c75714bfc3ef9e","datavalue":{"value":{"entity-type":"item","numeric-id":5055757,"id":"Q5055757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$957DDEC7-C82D-4B93-8278-11963254FFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dafa9463b7aae27917c87d2d898e60c5e87e766","datavalue":{"value":{"entity-type":"item","numeric-id":1911401,"id":"Q1911401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$4B0DEE30-074E-41B1-B2A4-B06BDF2B4EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da843fc35ebe015907494c69b23b63fc0a14ce3","datavalue":{"value":{"entity-type":"item","numeric-id":5200045,"id":"Q5200045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$0D4615F7-E5DF-458F-8A3E-8727B5F4C4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c227478d93e0b870e0c78c09c2776f3a08c57d","datavalue":{"value":{"entity-type":"item","numeric-id":438562,"id":"Q438562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$72DDD14F-43D0-4609-860D-96C890E8F49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78051514151aca4804c29b73bf87a3e4855334e9","datavalue":{"value":{"entity-type":"item","numeric-id":4933279,"id":"Q4933279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$F497973E-C613-408A-AD2C-22C84395BCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae536b1f867ac59cb5d8b81fc02ae274f1b3bf9","datavalue":{"value":{"entity-type":"item","numeric-id":2881099,"id":"Q2881099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454087$DEACE9A4-259A-4D54-8CEA-9FA3B9BDE365","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":"Q3454087$D19F3D61-235F-4DCC-B203-804556B03063","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38a8414d75b9cbdbfd4299eea2c181bbc7d6e35","datavalue":{"value":{"entity-type":"item","numeric-id":5200045,"id":"Q5200045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e7119ae51a15176cb3a96ecbd6dac0809d5f6c","datavalue":{"value":{"amount":"+0.8563318848609924","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":"Q3454087$7BCD1D87-393C-47C8-B401-22B4BC6BB663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20f59570fb168c4a547f8f3a2c4a911241dfb60","datavalue":{"value":{"entity-type":"item","numeric-id":5170836,"id":"Q5170836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f899c32af9b0e87e0d89f3df46f9c183a9fa8a4","datavalue":{"value":{"amount":"+0.8192344307899475","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":"Q3454087$7D53EB5C-DD7D-4FB3-A194-3962D4AFDD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a102b7150f502c9629443c8aa80dd29f9919740","datavalue":{"value":{"entity-type":"item","numeric-id":2829264,"id":"Q2829264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67bb8c055bc846d9a984060d5862599afe5d7f61","datavalue":{"value":{"amount":"+0.8047211766242981","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":"Q3454087$35E16E8D-EB27-4CA1-890F-026F5AE94A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd892a143356a3b3320749c2404bfc8f84955e3","datavalue":{"value":{"entity-type":"item","numeric-id":3636821,"id":"Q3636821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b54cb28e92b0dbcd343c27eb76758bca6d11bf","datavalue":{"value":{"amount":"+0.7845408320426941","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":"Q3454087$4DBC11B7-5AD3-47A8-AA8A-93449ACEB77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217f54b6c3935910f43ccc6f844514028ca0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5703842,"id":"Q5703842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d6f69a518563da325a3a26ffd949c1a15699f1","datavalue":{"value":{"amount":"+0.7843688130378723","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":"Q3454087$B562F027-A401-4372-A891-1ED250D7597C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454087","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454087"}}}}}