{"entities":{"Q5940920":{"pageid":8117722,"ns":120,"title":"Item:Q5940920","lastrevid":97643930,"modified":"2026-06-05T15:09:31Z","type":"item","id":"Q5940920","labels":{"en":{"language":"en","value":"Automata-driven efficient subterm unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635071"}},"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":"Q5940920$FE2C87F9-B9DA-4D08-8B1B-E4ABDD47747E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32d58790bf7d9453a0674ce2abcd98ad111fd393","datavalue":{"value":{"text":"Automata-driven efficient subterm unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5940920$E4ABF646-38AC-4918-958A-DDD460A3C044","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bc2e7162ae8c6f78ecbcc40c8e95681b4af5575","datavalue":{"value":"0972.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940920$DFA157DD-2F7A-4131-BEEB-EDA5B30F5E63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10af8c40aa5b4b8e3192d055a806108638b0206d","datavalue":{"value":"10.1016/S0304-3975(99)00131-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940920$9189FA5E-A8FE-4308-95E1-555D5B53FCA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940920$EB8401AA-6DA5-43E5-87D5-35B8E045A1DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5940920$8DD42501-6914-435F-BC2E-FDC15A84B57A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940920$EE3428CF-3270-45EB-BFBB-1422CE3F8E03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f964d52b45a34b9d6ba9fa61cb352080b37cdcf5","datavalue":{"value":"1635071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940920$4A6B8C82-C3DD-42D3-9BFC-478326D6BF82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c549778489854ab49f778320e2df100929e4a32e","datavalue":{"value":"syntactic unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940920$56B0A0D6-AF61-428E-B213-83C1D6703B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efcec36611daf74ac93be31b6305314c63291d03","datavalue":{"value":"subterm unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940920$5F44EC86-8BC3-41FF-AEE4-B619D9637AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c53ed78bc37954d21dd12ff2b34db2e5c6092683","datavalue":{"value":"string-matching automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940920$FBF8C190-3C01-424C-ABDF-6797786B3D2B","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":"Q5940920$BD6D2788-25BE-4489-94B9-7C7625C4D306","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e884892508373839ae801c95d241a499a8aaf0a5","datavalue":{"value":{"entity-type":"item","numeric-id":4055184,"id":"Q4055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940920$F3418327-6E40-4712-A255-17F04770A40E","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":"Q5940920$7C42741E-7083-49B1-BC91-5D520309C091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da27a4326fd8fa70eedf4043be0b333c57e46e5c","datavalue":{"value":{"entity-type":"item","numeric-id":3933760,"id":"Q3933760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940920$CF317F40-620C-4F8B-8464-2150EA47151C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940920$9C5C16FC-12BB-4A95-8A03-8E1CE4E06533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940920$E5CDB93F-B228-41DC-8702-B1BFD0C01E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940920$8AC344E7-B0EA-4EE4-B80F-F83438CAFC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940920$FC5BC44C-3B04-4C76-A9FB-44D2F1BBC132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e780b758d552dd297aa3ca20902a5dd582cf8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4302812,"id":"Q4302812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940920$95ED79B7-7D3E-4E77-88A7-B6355641FB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940920$57D21DAC-9522-4A6A-8019-74DA64C0B8B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a3d6e16cf031953d304245cb024fea4fa828e5","datavalue":{"value":{"entity-type":"item","numeric-id":4647067,"id":"Q4647067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940920$0BD1DCE5-851B-45A4-A747-46436FCC072C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"778fa1065527b41117b384448e05e152064c441b","datavalue":{"value":{"entity-type":"item","numeric-id":689095,"id":"Q689095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940920$801A9D68-6D45-419E-8DF2-0F641FDB2280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d868a6653ce7573f7ca7b61211a204aaa987411","datavalue":{"value":{"entity-type":"item","numeric-id":668509,"id":"Q668509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940920$0AD980FF-07E7-4B02-B1FC-2FD218AF05DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4289440add1a175ac3f205d633a1585bbe7aa6","datavalue":{"value":{"entity-type":"item","numeric-id":3716320,"id":"Q3716320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2073201ef76a0a4baf04a7ffd11c1f0935ce5c","datavalue":{"value":{"amount":"+0.7788383364677429","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":"Q5940920$9AE7B6A4-8E11-4811-A098-9FDB76D7933D","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":"04fa3d877b3f6713b2e42d09ad6fe690cf7b1d5f","datavalue":{"value":{"amount":"+0.770270049571991","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":"Q5940920$88101236-6788-45F1-9E7E-F3204F6D06C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8074c1975bd09abeafde4674061df377001e043","datavalue":{"value":{"entity-type":"item","numeric-id":1262757,"id":"Q1262757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dcf7620132b39f9d895a9c7e07937813f098c78","datavalue":{"value":{"amount":"+0.7695032954216003","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":"Q5940920$2E692B48-43C0-49FE-9F33-508A3D322643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf1bab982c15339270d4ab049304d1e2ff7e6d9","datavalue":{"value":{"entity-type":"item","numeric-id":1105360,"id":"Q1105360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96492dba6287e01fc034aecc310d4ce1d936a72","datavalue":{"value":{"amount":"+0.7674096822738647","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":"Q5940920$37A4141A-69DF-4810-A1B3-32EB53ECA64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e7913433f44e2a9c01500474b33479b53d6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3786019,"id":"Q3786019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abaa236b55f6e1dfe282a13f53075a56bfa07b89","datavalue":{"value":{"amount":"+0.7554759383201599","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":"Q5940920$48D12165-7391-4D79-85F3-BDC31E388A88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata-driven efficient subterm unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata-driven_efficient_subterm_unification"}}}}}