{"entities":{"Q3709891":{"pageid":5739797,"ns":120,"title":"Item:Q3709891","lastrevid":50524640,"modified":"2026-01-14T07:14:09Z","type":"item","id":"Q3709891","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3938563"}},"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":"Q3709891$25348C06-D79C-448F-8655-A455204589EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a23de94f877768999c6cd396b7dce3b10cc1e59f","datavalue":{"value":"0585.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709891$D021FDDA-5540-4E64-A047-B5B4EC35CEE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e1957d20bd80c77cf6d1a55847688227d4cf6ab","datavalue":{"value":{"entity-type":"item","numeric-id":914404,"id":"Q914404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3709891$7ABD0E7E-6E70-442B-AD8C-D6B4EECD9771","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3709891$A01B9585-7ECC-4589-9B53-A005C5EBC0C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709891$952FE4ED-1FE9-475E-AAFB-1AE60B44BF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709891$8575576B-AB92-45FF-AADE-94F36E0EDD4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c672eb547b6d00fab0a1a7e4eb67c117e699dead","datavalue":{"value":"3938563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709891$74726916-11B0-471C-810C-2F00B5D94158","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdcad4c7642439c39c0fb14c4b6e63d465aaab24","datavalue":{"value":"simplification ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709891$671ACF2C-C3D9-4A58-8C04-59200FABA230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d1a3021a9c724a2122e383161def1279d3c4264","datavalue":{"value":"rewriting procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709891$6543099A-AB64-4A2C-AA18-E1C881492BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ad5b617b53554ca0a584d2a1a7be40d5d54122","datavalue":{"value":"finite termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709891$617AE8D6-850D-4882-A649-EC3F494F4601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e392cfb6d367ef50a3ecd0c0995dd2dfffe7bcbb","datavalue":{"value":"unification by narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709891$E0FF05EF-3A16-41AE-B482-022CAA54DDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec056a59d15819fbf2de24c901f3b8a4388dda97","datavalue":{"value":"Knuth-Bendix-like completion procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709891$95BDCBB4-68CB-4283-AC6A-A50FD3640D17","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":"Q3709891$1C07D41A-C3A9-474F-8AAD-709EFF457CBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edcc7c43640ea2adbb8190b115c646dd196a1be2","datavalue":{"value":{"entity-type":"item","numeric-id":3696524,"id":"Q3696524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9500023e567a910f9e88975c87f6fe9f7499f9c","datavalue":{"value":{"amount":"+0.8561437726020813","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":"Q3709891$80E8DC10-5A49-4564-939C-E7592F581898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46fe65993e794ceb364f460c685272a81366462a","datavalue":{"value":{"entity-type":"item","numeric-id":1189444,"id":"Q1189444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a223a964e199a228117a90ca9c28935e5dfc4c","datavalue":{"value":{"amount":"+0.8419446349143982","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":"Q3709891$391A8000-D4CD-436F-BFE6-4B7BDA8E8EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22166a6f863f3d93e30ac50b27836a39500db44","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2742c81fc9a3c6ca856ca9c5a508ea1a9c2167e8","datavalue":{"value":{"amount":"+0.8409669995307922","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":"Q3709891$02F7759E-18F9-4F31-8C36-C119BC9EFBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"764599736dae83742547a7cc4f01e4f35b62514b","datavalue":{"value":{"entity-type":"item","numeric-id":1100891,"id":"Q1100891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67205c473a0e1a72b75ddeecc8a48a411d82817","datavalue":{"value":{"amount":"+0.8317369222640991","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":"Q3709891$423300E1-0FB1-4A29-A0F8-FA0E4D2DDAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35951a727f150325a54be2f5977faf5a9ea674ec","datavalue":{"value":{"entity-type":"item","numeric-id":3703312,"id":"Q3703312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa4bb67b0f843693f2466fb0dde880023bc056f","datavalue":{"value":{"amount":"+0.8222471475601196","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":"Q3709891$F384995F-F895-4F0A-A673-EBAFFC31FE44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3709891","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3709891"}}}}}