{"entities":{"Q3780428":{"pageid":5810334,"ns":120,"title":"Item:Q3780428","lastrevid":52426544,"modified":"2026-01-22T15:12:31Z","type":"item","id":"Q3780428","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4043234"}},"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":"Q3780428$4708F7D6-F27D-4323-A8B2-DA761D7CA236","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3aa11dfcb9805da4773b76e2dcc8920c6af17f8f","datavalue":{"value":"0639.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780428$BD42EF03-6B48-4D61-9488-52A24533D6CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aaa311639138311fd1b05b391edacbd7b79ae63","datavalue":{"value":{"entity-type":"item","numeric-id":3026377,"id":"Q3026377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3780428$43B47503-929A-4D74-B72D-773E063A3F42","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":"Q3780428$0A106303-F53B-463A-A6B9-13C80B58A0C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780428$CCAF42C9-8F90-4824-B47B-7B5A2346E188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780428$A380C8FA-9B23-4701-B54F-80D0E49D0BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780428$53418958-1E1E-48F2-B68A-3ED07AE652F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780428$8676DBB7-036B-4D08-B165-758B0AE7BE97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f692326ac975d98627fc95a1c431ce48ba0d9589","datavalue":{"value":"4043234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3780428$925D90C2-45BA-4264-9E5D-A038C0D0626F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ab1893e1116844067419d466ded01050a1d2510","datavalue":{"value":"Knuth-Bendix algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780428$90EE2C28-67EA-4762-98AE-18CF0CA1B43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98b795a8237f1d8b1d1b000250a8f3c20a5a4f08","datavalue":{"value":"confluent term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780428$7C3472E2-0C72-414A-B246-02C500AB2D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780428$37891377-1C8F-4138-9FD7-18885D73A6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664cca0310c7b759b7f6d34ceaab799cc3897c1c","datavalue":{"value":"ground confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3780428$EAE92076-F130-4141-9A3C-C08C7BE972A5","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":"Q3780428$9753CD8C-1F14-4475-BF78-5566248E3F90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3f45eea40d80ccd249df454e6f68e1181ab9b6","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5618eac7d8880c20ef73ecfad6d54e5cdc64a828","datavalue":{"value":{"amount":"+0.8075026869773865","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":"Q3780428$947E27F8-9048-4D3A-98A3-7CB1565737E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2183833d3a25badb3439440a8ec02ed0a3cad633","datavalue":{"value":{"entity-type":"item","numeric-id":5369498,"id":"Q5369498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4982c32a9c7528c480cfe7e7c58cab7cba9eb99a","datavalue":{"value":{"amount":"+0.8069232106208801","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":"Q3780428$C8862623-E51C-471E-8D20-DBEEAB0EEA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26beb7d978a000922c3b45bfc5d117e96e06d354","datavalue":{"value":{"entity-type":"item","numeric-id":4033833,"id":"Q4033833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"533fcce572e36558b615338933e2f96f6218fd23","datavalue":{"value":{"amount":"+0.8026769757270813","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":"Q3780428$8731780D-4F1B-4152-A294-DEEB959F95CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222158515bffeb1abac7cd545866251b2aad6530","datavalue":{"value":{"entity-type":"item","numeric-id":3696494,"id":"Q3696494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e6c96c2befcbea5d056b78c8d05427841c4f4a","datavalue":{"value":{"amount":"+0.7998764514923096","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":"Q3780428$59A8B54B-D4B0-44EA-B76F-6DE94A83777F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4880fc917ad3791a0a20c9e3e087ac5ae77bfce","datavalue":{"value":{"entity-type":"item","numeric-id":913496,"id":"Q913496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fff02ca4001c58db81b5e2aae9fa99fa1c6f828","datavalue":{"value":{"amount":"+0.7921724319458008","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":"Q3780428$B0F3691C-CCF9-490E-8738-EEE5B4257F5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3780428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3780428"}}}}}