{"entities":{"Q3408138":{"pageid":3418841,"ns":120,"title":"Item:Q3408138","lastrevid":50913503,"modified":"2026-01-15T17:42:04Z","type":"item","id":"Q3408138","labels":{"en":{"language":"en","value":"On closure under complementation of equational tree automata for theories extending AC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5674828"}},"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":"Q3408138$A08A40E0-EFAF-4CC8-8CE8-298735C49B0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b74eeb804e69a825baada347b1987b79caa3b3d","datavalue":{"value":"1273.03138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408138$B1697910-0032-4E6E-96B7-7528B5E941C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5e19b9844a7dd66a028eac52049aa31d9f05c37","datavalue":{"value":{"entity-type":"item","numeric-id":2373698,"id":"Q2373698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3408138$55FE52FA-ECE5-4D7C-9C1A-D2C56F280A05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cd58fa7916be1dadd68e97310e9b33bd528be1d","datavalue":{"value":{"time":"+2010-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3408138$136C286F-0AD7-4DDD-A270-639408AB6ADA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408138$96FE46EE-B9FF-49D8-A416-40C325C23753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408138$F55F3556-D07C-4EFA-A86F-558BBE07E0A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b77718235f6734a892b65596814d574ec0029c0","datavalue":{"value":"5674828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3408138$CCB20DCA-C27A-4EA4-B864-57DEA35ABD37","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":"Q3408138$201A84F8-A66B-402C-979A-F8B3206581DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2588fdbf8953a2801a6499bd1f1e0c97a2ca2370","datavalue":{"value":{"entity-type":"item","numeric-id":4447233,"id":"Q4447233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97498078f7c293afd407bfabe9789c328c22062a","datavalue":{"value":{"amount":"+0.8996223211288452","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":"Q3408138$3689FE31-54EA-424C-A404-467A6C55EB2E","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":"7cb06857e3b6b660dfc2e248bca28c5c64c30e89","datavalue":{"value":{"amount":"+0.8475403189659119","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":"Q3408138$A1A95DD4-FBFE-4443-B2DD-A05ED78B9FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88b9dc1d7b4d56e035a107b9321e74242b8dcc1f","datavalue":{"value":{"entity-type":"item","numeric-id":5387849,"id":"Q5387849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561d7e27f03d116ef5ee4b533159c922455d4df1","datavalue":{"value":{"amount":"+0.8244979381561279","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":"Q3408138$1BDDC43A-72F1-4965-8A52-D4D005502360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c414acc7529226c80b7ae638029da616bbbe03","datavalue":{"value":{"entity-type":"item","numeric-id":4808742,"id":"Q4808742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505f18c822b404914cad7dfd7e31af9834be1f2b","datavalue":{"value":{"amount":"+0.8170183300971985","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":"Q3408138$570E0EDE-4E67-4B6A-B358-06E0F632B6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e4f3d28dceb02074030462770fd0e213d53a976","datavalue":{"value":{"entity-type":"item","numeric-id":4783330,"id":"Q4783330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a494beb23f312931137421e13d903a3b5f0b2b","datavalue":{"value":{"amount":"+0.8115794658660889","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":"Q3408138$AAED2057-42ED-47BD-8E20-017FA9D8E073","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3408138","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3408138"}}}}}