{"entities":{"Q3336737":{"pageid":3347445,"ns":120,"title":"Item:Q3336737","lastrevid":48738013,"modified":"2026-01-05T18:14:37Z","type":"item","id":"Q3336737","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3870641"}},"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":"Q3336737$E668DD65-FD5C-468E-85F6-16DEDFB215A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c591334a4487a172978d723a6440220317311204","datavalue":{"value":"0546.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336737$7E7C0344-1BB9-4F7A-A6CA-783A7BC94933","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"586ab04ae742da0d5be5693eb9382676e10f577c","datavalue":{"value":{"entity-type":"item","numeric-id":1101258,"id":"Q1101258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336737$8406C0FB-B896-4F5C-9304-7BE4EDB20519","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3336737$3BAF88E2-66E4-41AE-BB8A-80444BC28698","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336737$975D088C-4B37-4709-BFCD-D71E53ACC51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f7f43158b42f0a7240ceb9aa177f89dce451dc7","datavalue":{"value":"13-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336737$9B9E2D22-C97F-40E5-A978-487A2B1B7004","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb294a9a56f1ed4833874d1bcad56822d6cf83ba","datavalue":{"value":"3870641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336737$490E5DB8-44FC-48E4-B4F5-21751A8CCABC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744b7834b13603f6ba267882b569e05129115702","datavalue":{"value":"automata proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336737$E0300210-FFE3-49D8-9D3B-4A5900D003F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6473b4bdd03fe873b63f3e384834ac2c1ecc158d","datavalue":{"value":"ring commutativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336737$9A4D3E7F-8273-4A3B-9B4F-26C3B6225759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d387478678296268878a68270ad5e91e346ffdba","datavalue":{"value":"Knuth-Bendix completion method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336737$FD813107-127E-440C-B76A-9A47785DDC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336737$5E37BA2F-46F3-417B-8185-B0910E50BC2F","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":"Q3336737$E631421C-3C61-4FAC-9533-0C06E034CB63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cde5befdfa96f0f2cfbf0c90a1796fbc3ee97c","datavalue":{"value":{"entity-type":"item","numeric-id":912612,"id":"Q912612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1565bfb5bbea3fb5363d06f4b5250a7abd5a4e12","datavalue":{"value":{"amount":"+0.8195112347602844","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":"Q3336737$FDEB4CCD-4B87-4432-8CB5-83D560D16656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08e0a772023d667374bab287560d72b81890980d","datavalue":{"value":{"entity-type":"item","numeric-id":844197,"id":"Q844197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa6fcea61973f0bd2ef7b52d7bc406d1b83532e1","datavalue":{"value":{"amount":"+0.7612301707267761","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":"Q3336737$2885F2B3-C1D9-43BB-B413-9091F51E1FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019d0327bb7dca4c99d31463e9204e7854252bfc","datavalue":{"value":{"entity-type":"item","numeric-id":2819201,"id":"Q2819201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b49cdbea091ea50fdebf08df3c4792723ce4aa3","datavalue":{"value":{"amount":"+0.7602918148040771","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":"Q3336737$4A71963B-8142-4174-A63D-647FC11D679F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728bd551386f1194d07cd2ccb6a6265cbb5fd152","datavalue":{"value":{"entity-type":"item","numeric-id":1102357,"id":"Q1102357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd8e0a65756bc2a0415b3dae9bee61bd883ad5f","datavalue":{"value":{"amount":"+0.7561727166175842","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":"Q3336737$9D005196-3C55-435C-A537-C8A972BCEA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36b72f6dc3274dfc09a0a8e36169523d6f41acc","datavalue":{"value":{"entity-type":"item","numeric-id":912653,"id":"Q912653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4aa63ae0e0d55019dd122c187dbec6c5d04f41","datavalue":{"value":{"amount":"+0.746715247631073","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":"Q3336737$E3C85A05-D695-4A96-96AC-2EAF07DE10E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3336737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3336737"}}}}}