{"entities":{"Q1892141":{"pageid":1902883,"ns":120,"title":"Item:Q1892141","lastrevid":71079696,"modified":"2026-04-13T19:20:38Z","type":"item","id":"Q1892141","labels":{"en":{"language":"en","value":"Tree automata help one to solve equational formulae in AC-theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 762063"}},"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":"Q1892141$26E8B724-2BE5-40C0-B01C-7E6C3A5C28B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f92b6efe929fecc680fd1fe6e359c9cfe27829c8","datavalue":{"value":{"text":"Tree automata help one to solve equational formulae in AC-theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892141$BD38E00A-4607-4F8A-B0D4-DF444872A359","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b75441be4f9bc816b31f2e976884be8e99354a7","datavalue":{"value":"0827.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892141$625EEEAE-B973-445A-86A2-E78F67F34B7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60be4490a790d53b1b7f5ef26cb70860647ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":862560,"id":"Q862560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892141$6A69A3E2-52FE-4CCC-82F9-51251BC5ECCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b637e066a87dedaf97eba229657dba5770c716e9","datavalue":{"value":{"entity-type":"item","numeric-id":1892140,"id":"Q1892140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892141$115BC745-6528-494E-A9C0-421C9754274C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892141$0177F7AA-AD4F-41A3-83C3-C07C6035C8F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"475c462458f5897ccd369a31c0985317076f3863","datavalue":{"value":{"time":"+1995-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892141$15B21B29-6FA5-4E39-B3C0-9B09DDEFDD1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f607752b64f172dbf9645552fe6fb2951dbb593","datavalue":{"value":"https://semanticscholar.org/paper/3c07a6f8260adfc0956af6042321e4aac84e92c0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1892141$A2EE6ACF-F914-4C5A-83BD-D96A70422765","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892141$A79049FB-6C97-4125-B3B7-6BA5FAB6CA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892141$2F828D68-C0F1-480D-B068-B00CB8D6AADB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c663064e13d1a48343be2a33e01ea1616d367705","datavalue":{"value":"762063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892141$3A1C1B27-907F-483B-9793-4C6A43BFB9AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892141$0D40B2E7-4E90-45BE-8D03-89D67ADF1D4A","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":"Q1892141$17873B70-A19D-45A0-BB24-1F3CC0E6ED75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec3f6bd60a373a436341b8be3dc356f8e9e18645","datavalue":{"value":"W2063655645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892141$295E4A8F-C18A-419E-9652-D029F080F66B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43d20fb57fa2f0ae9293c78b100e66b275d2c334","datavalue":{"value":"10.1006/JSCO.1994.1049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892141$B62C4000-4CDE-416B-9489-A4CAC0F810A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a935eb10fdaf45c11479748e45752fc581ff8b6","datavalue":{"value":{"entity-type":"item","numeric-id":4281554,"id":"Q4281554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36906f927a854c9ba67d31ee822f3bbd04eb38a6","datavalue":{"value":{"amount":"+0.9101358652114868","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":"Q1892141$770EEDD0-1871-4BCF-AB68-F1BDE0F820C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b425c3e4dab01f82193da589f7dcd6aeb50e97","datavalue":{"value":{"entity-type":"item","numeric-id":3522015,"id":"Q3522015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7c33b3266ba65f58468eacc424c75a7f74f048","datavalue":{"value":{"amount":"+0.9095229506492616","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":"Q1892141$083F5692-EDAA-4A26-9EBA-88847F59B09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ebb6500c524e85c3fee5c6d11e51174aa61e87","datavalue":{"value":{"entity-type":"item","numeric-id":4035251,"id":"Q4035251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0c3f7a7d01d3992a0da749081639ef1b625101","datavalue":{"value":{"amount":"+0.829456090927124","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":"Q1892141$7F88EACD-D855-4619-8638-5C1CE0E79D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b90bc359e0977dd983319677c3ac765c6f1c25e","datavalue":{"value":{"entity-type":"item","numeric-id":3522025,"id":"Q3522025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0523097699794609d3d656afe13c720e06e6b4d7","datavalue":{"value":{"amount":"+0.809463381767273","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":"Q1892141$7A75EE32-6128-4C21-B04E-FAD203B65E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddd9187e860f35ae4c8342049064b3607ff2e46","datavalue":{"value":{"entity-type":"item","numeric-id":4266522,"id":"Q4266522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e65585002d37c16700e4e5474a0c206bbf569a","datavalue":{"value":{"amount":"+0.8067920804023743","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":"Q1892141$6A7D3FF6-1F1E-42AF-8BA7-EC6B648E04B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tree automata help one to solve equational formulae in AC-theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tree_automata_help_one_to_solve_equational_formulae_in_AC-theories"}}}}}