{"entities":{"Q3172897":{"pageid":3183607,"ns":120,"title":"Item:Q3172897","lastrevid":86594519,"modified":"2026-06-04T02:35:45Z","type":"item","id":"Q3172897","labels":{"en":{"language":"en","value":"Congruence closure of compressed terms in polynomial time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954772"}},"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":"Q3172897$4C142BC4-AE47-4937-A017-2F22A8B97BCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98e20461f2abb5ac4d6a3aba92848e9b9525dc52","datavalue":{"value":{"text":"Congruence Closure of Compressed Terms in Polynomial Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172897$6BE84007-E87C-4226-9032-6BF0696440A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9aeb1e9731369eaea4382ddf7c87bbbb8a56f04","datavalue":{"value":"1348.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172897$0DFA6979-7143-4285-A3DD-738B5261FBAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"965158d76d460297e21a93861f2e5cf9caf07129","datavalue":{"value":"10.1007/978-3-642-24364-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172897$C1051BB2-E5FE-4DFE-97DD-831318A38B65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$CA044C77-B12F-4101-B06F-AC114CDD5280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc7dcf6c24443fef5c6bfafb94d9e1698e40861","datavalue":{"value":{"entity-type":"item","numeric-id":3172896,"id":"Q3172896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$8BEE0D34-B1A2-4DC0-901C-84F5A1BEEB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$06FA842A-72E8-4771-9B53-2CA3655AE836","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$A459BB32-5128-49A2-8AAB-75E1D47D6865","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172897$909C03A1-15EE-476B-BECE-55EA84D3414A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172897$98F9B04B-2CF3-4816-B5D7-E1AC978479E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172897$8CEDE8F8-9230-4111-B1D9-7A79DAB45401","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83fcc3fadfabf174cf04bfb980375989af6c37b9","datavalue":{"value":"5954772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172897$B714C406-D10D-4829-9A9E-D239719EBD45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172897$8BE76E22-B5D0-4581-81F5-9F0F6A64F401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f09b5231d1500a63c98fde88b36502be9956a155","datavalue":{"value":"grammar-based compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172897$7F13D6D9-35E4-4956-B07D-01F72834604A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5e97ebc1137963dda0010b31d0efab4425490b7","datavalue":{"value":"singleton tree grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172897$3EBDC0E5-B96D-4CEE-8C7E-3A9BA0305208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f840ce5119480b895ac664a10de6f0a19316ae","datavalue":{"value":"congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3172897$983C4891-D6DB-4695-899E-A5690E2B5431","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$367C243F-DD23-4AF9-A8F3-8A541E4D9EB0","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":"Q3172897$4FB39D95-C54C-4CCE-9B22-8702A98B3AD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d0fb55477795ac4868439043d63870719ae7877","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24364-6_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172897$A592A0BB-1D8E-4FCB-A7A2-AF3FC0F06578","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36b5c5b4a43f736955e30646c9fc75a35fa37859","datavalue":{"value":"W85844715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172897$4CE43C29-1101-4007-9EEE-F3BF2606B5C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$F26E95FF-9F64-4651-B963-CB18B438193C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af774ea8826a333bbeaf3a720010a02a2b0b0eb","datavalue":{"value":{"entity-type":"item","numeric-id":5493341,"id":"Q5493341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$7ABB6C16-CE34-4409-BF86-833AA068095B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$3535B9DD-1E01-41CB-AC87-078A540944ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9741e06ce9f548b05466c57084eff41a74813bc1","datavalue":{"value":{"entity-type":"item","numeric-id":4033833,"id":"Q4033833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$6EEBF025-95E6-4DEC-85F0-C68C2C636120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$7CA4E83D-AD57-4F30-825E-C4CF064CFFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d83b7b9c3f445987bfc557b22259359bb4d327a","datavalue":{"value":{"entity-type":"item","numeric-id":2946645,"id":"Q2946645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$1E80F7EE-B683-4E4B-BADD-EBE78D145DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69dd4a5ebbf21f825eb82b048cd77c8b77528ce","datavalue":{"value":{"entity-type":"item","numeric-id":5389071,"id":"Q5389071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$E558D3EF-D61C-4055-996F-C5D71667F48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a32581b92b00a4866227fd1ad0241c4d71392a","datavalue":{"value":{"entity-type":"item","numeric-id":3527311,"id":"Q3527311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$F4A9765C-278F-4DB7-8A12-49F462C127E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0de9d0e6e5093b9e7d657efc5348ca37391a3096","datavalue":{"value":{"entity-type":"item","numeric-id":3613402,"id":"Q3613402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$553A5C90-49D2-4DC3-AC11-E8EC9811DF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201515c175540662bd3d9ce2907b8e8548279799","datavalue":{"value":{"entity-type":"item","numeric-id":2889573,"id":"Q2889573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$423CBD65-050F-42EB-B336-0E98F660ED16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90d0777849a94de122d696ad5d535fcd2dd25ee","datavalue":{"value":{"entity-type":"item","numeric-id":3506925,"id":"Q3506925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$7138E199-5A5C-4210-B5D5-C730AD30E4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a740e3eba096955a9486a0b07298edcc60a48d5","datavalue":{"value":{"entity-type":"item","numeric-id":5470731,"id":"Q5470731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$A36FAB16-73ED-4F79-B4CE-FB7E33C1AF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b486927bfa79ca1b5f3eacbbaaf6387dc2a690a","datavalue":{"value":{"entity-type":"item","numeric-id":3617731,"id":"Q3617731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$DEAA858F-1CBF-4E6F-9DB5-37E9EE441BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$6F804467-D641-4A86-8354-03771E302066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$9F6C9229-9EB3-48A5-AE41-23B541321987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b454bd771fb543dac4dc7d039e03112834347cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4941166,"id":"Q4941166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$50D4D0F2-B34B-44E0-ABBC-30E3A6CC362A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09db88e7db8de8a699f35dd014c509760be4233","datavalue":{"value":{"entity-type":"item","numeric-id":4157961,"id":"Q4157961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$D5A0C490-272F-456B-B7F6-E787D024D214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5ac5e87b7bb20051a97cb3e5d95d9b6576112f","datavalue":{"value":{"entity-type":"item","numeric-id":689111,"id":"Q689111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$22A51284-E0BB-4061-B501-AFE41B42C230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d206d4cbc8d8e320cb9ec4bf8947ea28927767","datavalue":{"value":{"entity-type":"item","numeric-id":4158937,"id":"Q4158937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172897$A8F450AA-67FA-49F6-B672-18386CEB00AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a69148a98bb8be578ebffce87b8b01398d403a2","datavalue":{"value":{"entity-type":"item","numeric-id":4005178,"id":"Q4005178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b602130f7e2f4f8d444d91a603a54dcd66f6fbad","datavalue":{"value":{"amount":"+0.8076122999191284","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":"Q3172897$2F4EC4C6-EECA-4089-B3A6-B1C545F3527B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be9d1962f2eb6901a257b7fd0ff230f97979239","datavalue":{"value":{"entity-type":"item","numeric-id":5300826,"id":"Q5300826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c794ef99ea5fe2a599f97f4618d52c0048d4cd2","datavalue":{"value":{"amount":"+0.8062671422958374","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":"Q3172897$E94A8485-229C-495D-8361-5B0C103B58F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff310a3108965e5add010dffedf484ea3fd53d5b","datavalue":{"value":{"entity-type":"item","numeric-id":4585011,"id":"Q4585011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9d4886394e7064833a74c612e972935077ae53","datavalue":{"value":{"amount":"+0.7983489036560059","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":"Q3172897$35C414BA-91C7-4C17-A40C-3FAE092A01AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f05f5c493fdebe1b7bc2cdaa8678a9ddf10f03","datavalue":{"value":{"entity-type":"item","numeric-id":2946645,"id":"Q2946645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484f11caf012406f6ab51b191493f012d7676561","datavalue":{"value":{"amount":"+0.7949476838111877","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":"Q3172897$E5E51AAA-28D0-4153-AA6E-A33DC2EAB1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f4f3f3d8a994148c85de5f4c98496d3e742378","datavalue":{"value":{"entity-type":"item","numeric-id":3388524,"id":"Q3388524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d66ce61a73515e84a909bc1ff49a5a52d325cb33","datavalue":{"value":{"amount":"+0.7826224565505981","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":"Q3172897$BCEC4A0B-6ECD-44AB-98AD-BF69D8F99914","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence closure of compressed terms in polynomial time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_closure_of_compressed_terms_in_polynomial_time"}}}}}