{"entities":{"Q3028369":{"pageid":3039085,"ns":120,"title":"Item:Q3028369","lastrevid":49091212,"modified":"2026-01-06T14:15:28Z","type":"item","id":"Q3028369","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016226"}},"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":"Q3028369$2F6B5FD1-275C-4C87-9C58-5F5B832C05F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc68584ac980087449a31e4f5ecedc426d46e3ca","datavalue":{"value":"0625.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028369$77382893-C35A-4A84-9A6A-7F2A3E387632","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5584b61080269b096f785173ffd49061cb7d63a9","datavalue":{"value":{"entity-type":"item","numeric-id":673133,"id":"Q673133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028369$8C7DC9F7-54FF-4910-AD19-C17AD2B47930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028369$8711AB2E-2468-415F-A0B9-C851E25C78BE","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":"Q3028369$AC965D5B-6157-4D65-B237-30DE515EF6DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028369$F37BCADC-7272-4B7B-A658-44956E8D8354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028369$391571EC-5008-4097-8DE7-87D62BAD77A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028369$0D67ACBC-0252-4ACE-813B-8C70308B9539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5813f152128a9d360e3f98c451a5d907da1a3d7","datavalue":{"value":"4016226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028369$A9BC60CD-D185-447C-8010-E47D4E9E9C39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0f3e66d0c05c393bbc596d169abb55b93f3e0f1","datavalue":{"value":"Knuth-Bendix procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028369$F7371DB5-543F-4910-9194-1A3A72517B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba259c5c06af63100955fccf8bc8b370e89eaee","datavalue":{"value":"word problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028369$2F1F8CA7-1C51-4C0C-8E56-9393C48307E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028369$155F27BC-1EF1-441F-B80D-A5525D9624B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee9fbc1b20464b258204b81eb9a09d4c6cf67621","datavalue":{"value":"semi-decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028369$92D49237-AAC4-4B8D-9B7E-AF9201CF3610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028369$0EE98B2B-6D8D-418D-84DB-24B6A51020BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028369$E79CFE48-FAAC-4ACE-A354-BD487F0BE70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eef7f586def24f3cdd9e8587f1cc13ec8cce693f","datavalue":{"value":"transfinite semantic trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028369$FB476102-CB26-47BF-B61C-1F3F011FA7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028369$B43E89A2-AB2A-4E3C-86B5-08DE18B049E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028369$0C6B2313-4FC5-45AA-A11D-632EC43CE11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028369$4BDBFC59-663B-4372-9A3A-586BBC08E173","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":"Q3028369$354F0308-8F58-4AF2-91D0-1D8B17AB22CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8292a31f65bee2161c1f8159178bbf8a81f105","datavalue":{"value":{"entity-type":"item","numeric-id":3745825,"id":"Q3745825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67132d88157caea5fda5e4c39b77ef14206c97f7","datavalue":{"value":{"amount":"+0.8564879298210144","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":"Q3028369$F03BB39D-0D65-4F32-AE9B-B0BE8E72437A","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":"61c125372f8972156e2c46cd3ae4c8014de67533","datavalue":{"value":{"amount":"+0.8280447125434875","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":"Q3028369$D0FEDF9A-C25F-4D51-A57D-AC86E777BA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63c02defeaa31668522323b4ba019905904dc1d","datavalue":{"value":{"entity-type":"item","numeric-id":3334107,"id":"Q3334107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42da890175eca5671c53bf8fd9cd070f2aab2afa","datavalue":{"value":{"amount":"+0.8267776966094971","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":"Q3028369$7E7486FD-1CF5-43AE-8A68-33CC7BA72E17","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":"0bdbe06b4100eeeb22d2b2f35841c978ab654c40","datavalue":{"value":{"amount":"+0.8230172991752625","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":"Q3028369$3D4ECFC8-CFC7-4B3E-8F05-F5E429EB1ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e109b9f11344699638ca9094255f165a26ccefe1","datavalue":{"value":{"entity-type":"item","numeric-id":1187660,"id":"Q1187660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd18485dbe7a2d01f42a0d3fa6f4eaf34fec1cb","datavalue":{"value":{"amount":"+0.8225638270378113","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":"Q3028369$A610E226-79E8-46E9-A9A8-2CF435355CC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3028369","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3028369"}}}}}