{"entities":{"Q4225071":{"pageid":6254672,"ns":120,"title":"Item:Q4225071","lastrevid":46631625,"modified":"2025-12-25T07:21:29Z","type":"item","id":"Q4225071","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1241632"}},"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":"Q4225071$96090A52-FC9A-471D-9211-0C4A45F782B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e980367cfa74e49438b4c4679844250884ba1f7","datavalue":{"value":"0915.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225071$6AB36570-633E-40FD-9215-8464A14D1EC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b216f7cd20a758d5e4c86da39241133aec091bdd","datavalue":{"value":{"entity-type":"item","numeric-id":4225070,"id":"Q4225070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4225071$5EF21777-5076-48AB-A540-4730A3F16FAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"99d4d1a3aff65186180c0994df736b3510e17f6f","datavalue":{"value":{"time":"+1999-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4225071$56C8BB1A-A246-4E4B-9C2D-1FD124F93BC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225071$C6F3063E-0C13-4BD8-BA2A-D992A54DEA59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2e094bd81553b6823d5572afce9be925f6bd35e","datavalue":{"value":"1241632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225071$9303DDFF-C9BD-4720-8C43-732889B977AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"481815163701791b963eaa4b035fc822f4cd6368","datavalue":{"value":"Knuth-Bendix completion procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225071$C3248614-B8A1-4695-8E1C-5E1C29CFB5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcfb0301bb17cb416489e95a0d2e3c5b1efbac9","datavalue":{"value":"rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225071$C22630B9-20E9-4E3E-A5BA-0E54BB792A5E","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":"Q4225071$C4248196-9690-422D-BC73-A7C72FD41655","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9016960222b429758ae0a8e9a2f54996b65cc413","datavalue":{"value":{"entity-type":"item","numeric-id":1916428,"id":"Q1916428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3fb2d0982cffd2499d139b813dc6e91b3cc91b6","datavalue":{"value":{"amount":"+0.8025684952735901","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":"Q4225071$2984E0E8-AEE6-4C37-BDA8-705A68D44BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6729d66343e4bbbf7ccd0f8dfdfb9d841969f8","datavalue":{"value":{"entity-type":"item","numeric-id":1610670,"id":"Q1610670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76803d69f70aa166697164911358e004d3329edf","datavalue":{"value":{"amount":"+0.8005880117416382","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":"Q4225071$5A78B460-AD66-4347-8E87-ECF85FA25280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c051d649f1e57734cde958866fb69252e698c2","datavalue":{"value":{"entity-type":"item","numeric-id":4384697,"id":"Q4384697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f297f4efd5b573d4aebd6cfd8bcb9451ee3207d6","datavalue":{"value":{"amount":"+0.7946204543113708","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":"Q4225071$CB63CA26-B313-40CB-A3FF-08560659A6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860be1274ca125a498fdb60edd3c7f899abede90","datavalue":{"value":{"entity-type":"item","numeric-id":4447251,"id":"Q4447251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37944a711f1516598956a914b5549565de172daa","datavalue":{"value":{"amount":"+0.7931046485900879","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":"Q4225071$98EDBE5C-EBF6-4343-A675-765834F7E48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d40a0c33d596ef550790a4417431e3667babacc","datavalue":{"value":{"entity-type":"item","numeric-id":4036570,"id":"Q4036570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a603dd7293da78430aba82f517c92da87c9e26e","datavalue":{"value":{"amount":"+0.79020094871521","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":"Q4225071$146FD7F3-79C1-4BE5-887A-88187350053E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4225071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4225071"}}}}}