{"entities":{"Q3725540":{"pageid":5755446,"ns":120,"title":"Item:Q3725540","lastrevid":50761640,"modified":"2026-01-15T02:10:07Z","type":"item","id":"Q3725540","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3956434"}},"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":"Q3725540$CDE4D50B-0BD3-43B5-952E-4695EC72B551","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d1417fcf896927e87942e2d7677a4b681836381","datavalue":{"value":"0594.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725540$6CBA8F4A-0FBA-49F5-8B23-ECFDE05E0608","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3725540$1365B3AF-7F7E-4597-A196-391CA346844E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725540$85E04D9D-4510-4A0B-A5E2-D2502B0F065B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47f5bffc132e0498d1fd15ba00d67c96810fca75","datavalue":{"value":"3956434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725540$3D01C5B0-5BF3-4E80-843B-7F5B36400BEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"481815163701791b963eaa4b035fc822f4cd6368","datavalue":{"value":"Knuth-Bendix completion procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725540$58DB3F16-23B7-475E-BC5C-CEBDF4D01F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338a0fbf1321309eb519d204c050cb5e89adf9b3","datavalue":{"value":"inductionless induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725540$D7A1250C-BF8F-4B13-89D3-848B9B603326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725540$BBD2CDE8-FDA2-4D2B-B2AC-51B7CE3E9A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98c07efbfd424573fb92b2fa6a86fbee23c77fc5","datavalue":{"value":"ground-confluence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725540$F6430A57-0EB7-41DE-81A6-94649534B493","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725540$AED1D6D8-FCB4-4211-88AB-DE6DEF90DCB6","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":"Q3725540$29446F74-68CF-4918-AD6C-50B669C86617","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99aed25df6cc93ea2ca523ca9a8585bcac4deb3e","datavalue":{"value":{"entity-type":"item","numeric-id":1824381,"id":"Q1824381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1f938c199df8d2340c5a20569f3f6f62a7acc5","datavalue":{"value":{"amount":"+0.9991150498390198","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":"Q3725540$A78EAD66-F9DD-4236-A91F-C87EA68669B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7d1c79c5d9622e1eeadc1aaf2b3855954e4971","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e06c523fa20c07f4428d2609d5b809da85874be","datavalue":{"value":{"amount":"+0.8350430130958557","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":"Q3725540$E24A82C4-BC04-408E-9663-FCA69207FE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58fd391857709a1825aaf51abf8d91be995f87d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347863,"id":"Q3347863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48852a73b0550422802510525e74d996e2d0e91","datavalue":{"value":{"amount":"+0.8340963125228882","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":"Q3725540$865EE1F6-4A80-4993-B514-705D474965DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0b72cc3bd8fcce61bff4224c9291a8e03b0fa2","datavalue":{"value":{"entity-type":"item","numeric-id":5881279,"id":"Q5881279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c829ae9b94ea06a3c075c167622fc8f3b70c3c5f","datavalue":{"value":{"amount":"+0.8323361873626709","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":"Q3725540$786CA6FA-A0FC-4DB4-A253-578CA7EDBDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a38861aa8c5ba98116a45571edd8abc1a857d15","datavalue":{"value":{"entity-type":"item","numeric-id":3993260,"id":"Q3993260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b75658d3dfd9c242c72df1c0dba117d11b4fc85","datavalue":{"value":{"amount":"+0.8309665322303772","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":"Q3725540$80A682D0-E0AE-4BAC-B0E7-7D45F4605BB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3725540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3725540"}}}}}