{"entities":{"Q4553285":{"pageid":6582877,"ns":120,"title":"Item:Q4553285","lastrevid":58279242,"modified":"2026-04-04T13:20:19Z","type":"item","id":"Q4553285","labels":{"en":{"language":"en","value":"Deciding confluence and normal form properties of ground term rewrite systems efficiently"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6970799"}},"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":"Q4553285$CEE5B40A-2BEA-40D0-B686-A373ED388452","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bfab7103c603455f1ed7b9ee26a2d196652fba5","datavalue":{"value":"1403.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553285$D10C20CF-F946-481F-BE1A-FB237F2C0263","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e80701c54cbb4734ca359d1f6c730a632b4fe1b","datavalue":{"value":"10.23638/LMCS-14(4:7)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553285$E0579C83-FB17-46B8-83B5-7B028B1D8B16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e621a15e62a289b8ae90fd2dd0602a0ee81e78","datavalue":{"value":{"entity-type":"item","numeric-id":515685,"id":"Q515685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$B29A9255-1FED-427D-ADCD-827029FBCBB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ceb376c62d58da4cb190e228be8e352c77702c07","datavalue":{"value":{"time":"+2018-11-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":"Q4553285$C1D5C662-40F3-44BF-97AF-E736E373FAE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf95669b56c70b65bd5a41b5fe61bf52194409b3","datavalue":{"value":"https://arxiv.org/abs/1710.10991","type":"string"},"datatype":"url"},"type":"statement","id":"Q4553285$89A7CB6E-6AD3-4F05-AB8B-FF6DABEB4882","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553285$98D36DA9-11E1-47AA-ADFB-89221C98A1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553285$D3CF186B-5FD0-46D8-A580-5C6A8932A765","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35ec01abccafb4d5d873c260395d0b9aff2cf1b3","datavalue":{"value":"6970799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553285$3E1678B6-0FA4-4CFE-880E-5100237987EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553285$6D1D7113-6C1F-44C7-8591-48C3484D08AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e3a93a9f076fe880f91d61b81570e7004e7c55e","datavalue":{"value":"unique normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553285$1A83B316-6AC2-40EE-832E-20EF3FC43526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553285$91874559-13D1-490D-8337-0A6403CFE66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553285$C7B8C3DF-E1DB-4C10-912F-E8C0DE6D66FB","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":"Q4553285$ACD59C2D-95B4-49BF-B600-9EC2CA7757F9","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":"Q4553285$A2A75C32-0D76-434A-99AE-999D241AEAE3","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":"Q4553285$A410221D-A040-4BAC-96B3-278C70478552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9132dc4fa5802adc529bd12f6d0bd4cfacf9bd","datavalue":{"value":{"entity-type":"item","numeric-id":3702507,"id":"Q3702507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$81D7CF38-9DF7-4438-BFE7-A845F195FB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$8DE41919-68FF-4E28-8CCE-E10DA02D6158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13383e45498cef4a5a562440dcef29997997a706","datavalue":{"value":{"entity-type":"item","numeric-id":5111903,"id":"Q5111903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$881F447D-7DDB-42B9-A015-117E2645C539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c67535483dcc3cca8bcfc055f3ba5dea5cdf2db","datavalue":{"value":{"entity-type":"item","numeric-id":3636819,"id":"Q3636819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$CF75CC9D-409E-48A7-9553-4A2B6D5FDC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ac4d5ab6018a1510010c37ae8dc3cec6c8ba78","datavalue":{"value":{"entity-type":"item","numeric-id":4418639,"id":"Q4418639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$3F128E04-DE6E-4640-80DE-F2778ACAC5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f41db772863009d8e137b7de3f2141fbf89f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1886319,"id":"Q1886319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$E99791AC-E0A2-4B11-9438-9BB8CFCB4BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7d65043224af4b2cf3ae668d308eedc182cf63","datavalue":{"value":{"entity-type":"item","numeric-id":1907275,"id":"Q1907275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$8EC84A64-D9B8-42BD-842A-9AAB8529A7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322ec2f67eaba65235e470de0421516c735a1b23","datavalue":{"value":{"entity-type":"item","numeric-id":1918496,"id":"Q1918496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$7983A4E3-10A7-4A0E-BE11-77CDD98BC05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5df8ad3843ed67b3ef9a07d0cb4dfa143aede39","datavalue":{"value":{"entity-type":"item","numeric-id":674762,"id":"Q674762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$AC258E2B-13B7-4E11-BC74-2EE5405365FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73082194760b2ca2ddf549af4f20d67097ed3f50","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$F01D6636-85B5-4D1D-ACCD-8AB96F43055B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f30922957fb622ffdcbc55c75cee3bb82a58abd","datavalue":{"value":{"entity-type":"item","numeric-id":2405264,"id":"Q2405264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$B3B321AE-FAAC-42F6-A58D-57C4E4EC44B3","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":"Q4553285$086EF0F8-8A6D-4DD2-A6B4-FA6EE5CC25B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09716697edb234ce77c2288fe827cd22e3a8915","datavalue":{"value":{"entity-type":"item","numeric-id":876046,"id":"Q876046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$918CBAC3-C36D-4F4D-88FA-71FF14CEDD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7973d3d612d1022e5eb1a6ff41220bf6ba123ccb","datavalue":{"value":{"entity-type":"item","numeric-id":5055810,"id":"Q5055810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$8F395858-D405-44CA-B828-33915659FE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e93f72b3578ae6d26356b068d194bb2c75d439","datavalue":{"value":{"entity-type":"item","numeric-id":5369502,"id":"Q5369502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$846A0339-7D83-42BC-A89B-1DF2959B2436","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":"Q4553285$ED429964-CFD5-42C0-98BB-48EE2560C50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0197ab64074ad868c22415bf6366ee7f517cd6","datavalue":{"value":{"entity-type":"item","numeric-id":3635996,"id":"Q3635996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$24F0C908-0451-44F1-A593-8459660C3330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c628921a243b7adae9f2b6acaa6d3b1b9fd505","datavalue":{"value":{"entity-type":"item","numeric-id":2730723,"id":"Q2730723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553285$268F67A9-73E3-41DC-911D-1968D0242DBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1375c03358adcaad0ff4a298038beef12639e4da","datavalue":{"value":{"entity-type":"item","numeric-id":5111903,"id":"Q5111903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f033d7936bc96130452c6d33a938e014f5cc4a","datavalue":{"value":{"amount":"+0.8705503940582275","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":"Q4553285$29DC7F32-1B50-4EC9-A160-14703ABA56AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68b191259e00cd0e07e2057441f0cab2918f7f2","datavalue":{"value":{"entity-type":"item","numeric-id":3635996,"id":"Q3635996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90cabba2ec4f3e64003017f69ca5260e7ad12aa6","datavalue":{"value":{"amount":"+0.8624931573867798","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":"Q4553285$CBDC3BDB-4115-4182-853C-912AA84F2E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac2d8802165c3709114d572969a52b18d87849b","datavalue":{"value":{"entity-type":"item","numeric-id":1886319,"id":"Q1886319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baae32c7bc0ae3598181057b93624d1bb6f50582","datavalue":{"value":{"amount":"+0.856350302696228","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":"Q4553285$AA8EB25A-F656-463A-92FD-F50AF351E653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df62854767ffb53976a88512f6b4cf56d67ff92","datavalue":{"value":{"entity-type":"item","numeric-id":5277717,"id":"Q5277717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90f63d40e574e5d36db6b520acb520399769eb1","datavalue":{"value":{"amount":"+0.8354851603507996","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":"Q4553285$76A66EBD-6FE1-4C14-92C3-4D5646099A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3f45eea40d80ccd249df454e6f68e1181ab9b6","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5c74e458eaf6d7d810358bce537bc96d12d66b","datavalue":{"value":{"amount":"+0.8308148384094238","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":"Q4553285$1249197D-61A3-428E-BAC6-47E1276148D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4553285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4553285"}}}}}