{"entities":{"Q3400560":{"pageid":3411263,"ns":120,"title":"Item:Q3400560","lastrevid":50897354,"modified":"2026-01-15T15:39:57Z","type":"item","id":"Q3400560","labels":{"en":{"language":"en","value":"Congruences generated by extended ground term rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666768"}},"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":"Q3400560$8E583662-12B5-41A2-8C52-748B91FF6F5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de40a2a944117f976ff3e6c4b9d7fd7c26be1bfc","datavalue":{"value":{"text":"Congruences Generated by Extended Ground Term Rewrite Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3400560$D8897D70-6D70-4B97-BA54-10767AA2A644","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79280d1c2d22aeea5abbb461cd3d892f98674c69","datavalue":{"value":"1209.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400560$1548E0BA-EB21-4F48-91A9-4135142291EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"582132f973deb244bd2910dc6f36424c6c59bbfb","datavalue":{"value":"10.3233/FI-2009-155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400560$2DCE06D6-3D06-4C30-83EE-F3FDEAD95E3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1be1e97a61ec61b6b5428ec7bf911ab8a63c8c39","datavalue":{"value":{"entity-type":"item","numeric-id":389935,"id":"Q389935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400560$12AF5ED5-2813-4D0A-A168-092C1D03643A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400560$BBDD981C-993D-492B-A322-3B2B286996E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3400560$220FD8FA-477D-4BCD-9000-70B04F4128BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400560$58B5DFFD-8CE9-49E8-92E9-8F24D26140CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400560$F50EAFF5-E03B-4E3C-91A8-1D6628A3AF21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99a678676ba089f8ef4e2bc57c5fbae217f84dcd","datavalue":{"value":"5666768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400560$D63B3DCE-D57A-4F20-8D51-70DB72273CC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f500a8cc3d92dff6f40a98bc557aa4acf6f8bcb","datavalue":{"value":"extended ground term rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400560$4C64CB59-DB24-44EA-B89F-212453F15107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400560$4B552BEE-FD53-4CB1-BBD0-1B37F835FF39","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":"Q3400560$7DCAB3CA-EDE1-4DC8-8B6A-123B23D55EA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d543568c1a8a786baad8e1b303847b3fc3fd34a","datavalue":{"value":"https://doi.org/10.3233/fi-2009-155","type":"string"},"datatype":"url"},"type":"statement","id":"Q3400560$5BDCA060-341F-42FF-9BCD-72B528662B84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5699fbba14d27c99b10c7d0766126078dcf47435","datavalue":{"value":"W1486933752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400560$9D70FF12-511A-447D-A3C8-1C4B1A27A6E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0f39830eee33558440781406a2e866c88361ff","datavalue":{"value":{"entity-type":"item","numeric-id":1399965,"id":"Q1399965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9f48a2f045fb9f348323f8150e12db4ba76458","datavalue":{"value":{"amount":"+0.8580244183540344","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":"Q3400560$31356570-8F48-416A-8817-251AFF08563F","rank":"normal"},{"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":"2d6f9736bb9d2ce8afbd338a8d21a89fc6cde1d2","datavalue":{"value":{"amount":"+0.8553458452224731","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":"Q3400560$A31250C4-2746-466D-9A3C-2DF39215B378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44711d42c681a35e8d4b1ac9ad95ac0942098432","datavalue":{"value":{"entity-type":"item","numeric-id":1575250,"id":"Q1575250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8379794599ef646d814d6b79d88a85d00fca06","datavalue":{"value":{"amount":"+0.8537458181381226","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":"Q3400560$1CF6FE48-6A3F-44CC-BB9B-7B2F8C428A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e502e7d343be0687628e87e4bdc9e8d406190f31","datavalue":{"value":{"entity-type":"item","numeric-id":1401322,"id":"Q1401322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1e38b2cb20cfa467fe968224bf0ef42f44826a","datavalue":{"value":{"amount":"+0.8240129351615906","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":"Q3400560$F52445BE-889A-4988-84B3-1C9C66884ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4880fc917ad3791a0a20c9e3e087ac5ae77bfce","datavalue":{"value":{"entity-type":"item","numeric-id":913496,"id":"Q913496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d220c0a646b0c9d68cdfb886b3e058b1a0e817dd","datavalue":{"value":{"amount":"+0.8119468092918396","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":"Q3400560$10A5D7DE-CD43-42FC-AC42-641578C5B5A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3400560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3400560"}}}}}