{"entities":{"Q3805889":{"pageid":5835795,"ns":120,"title":"Item:Q3805889","lastrevid":53471585,"modified":"2026-01-25T00:32:55Z","type":"item","id":"Q3805889","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4074464"}},"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":"Q3805889$B19CD99A-68B8-4592-A947-C364D8C34C93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9140223ed6f05c74735a13d4fc2f53906f5895e","datavalue":{"value":"0657.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3805889$EE006822-A5A1-4CDC-A6DA-4CC271CBF2C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3805889$75F22540-310D-49FD-9BF2-15DA82FE75F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3805889$A61C1C68-F52C-49F8-BBC2-5E0E41A79658","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3805889$7E975246-B9F2-46B0-986F-ACBE53747C13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9adca4e81f692558a65d13d73466870ad44b3d90","datavalue":{"value":"4074464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3805889$02B12887-2AD8-46AA-AC5A-908E7F0EC84F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2323421b7f8b77555258d87741ac7c95c4d2a66f","datavalue":{"value":"divergence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3805889$FFD2CA5B-4015-42E8-9C1F-38A3E6DE5BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3805889$878EAE29-AE28-4588-BA76-403C2CF637C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019a6ed5982241abb5ad173ea9f0389406288f3d","datavalue":{"value":"Knuth-Bendix completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3805889$9E01B4F0-4FC2-45C3-81CC-D397ED087AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c521564d2b0366a9776938e593a82cc8d869d90","datavalue":{"value":"meta- rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3805889$8A108CDF-2F00-47CE-9126-F92371A4C200","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":"Q3805889$068016CC-83FA-45ED-9DAA-2BA9C055417D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b3635bb83ced5ee2506141fd1866e4ea548b6a7","datavalue":{"value":{"entity-type":"item","numeric-id":5881274,"id":"Q5881274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92f08d04076fcd4ddb25c28464a3fa34744ad9a","datavalue":{"value":{"amount":"+0.8383058905601501","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":"Q3805889$60EFD38C-697D-4D46-AC59-AE84872B7FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94413188e5ea83a8d6bf2c0591b3f51a7bd90c4e","datavalue":{"value":{"entity-type":"item","numeric-id":685379,"id":"Q685379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974b9087d91cab40bc004c2197738a314635f1e4","datavalue":{"value":{"amount":"+0.8207294940948486","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":"Q3805889$BB807CF5-6246-491E-8685-00FCBB0F4316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbc004b332a1c5c1e284820eea8899b239e53c9","datavalue":{"value":{"entity-type":"item","numeric-id":4254682,"id":"Q4254682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65be5a2e11db96ac1d4c474c8a8fa96a36d64e1","datavalue":{"value":{"amount":"+0.8130624294281006","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":"Q3805889$44E50DEC-6013-454B-BD9B-235FA0236CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7803a82838a781dc1780e66f55f2373e2978218f","datavalue":{"value":{"entity-type":"item","numeric-id":5881210,"id":"Q5881210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33519dccf5bbb31c4aca6989b09c357e33dab62","datavalue":{"value":{"amount":"+0.7738065123558044","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":"Q3805889$8959BBB1-6C5F-413F-9999-BAB2E640EB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f2cf81c71117b52c00822600c206af10849b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4255520,"id":"Q4255520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debbb39d86d4365ac676e14f4aa94ed71561048b","datavalue":{"value":{"amount":"+0.7659567594528198","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":"Q3805889$FBEA720C-E7B8-4E7E-A695-F0E6A12F656C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3805889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3805889"}}}}}