{"entities":{"Q3325075":{"pageid":3335783,"ns":120,"title":"Item:Q3325075","lastrevid":48706240,"modified":"2026-01-05T16:24:17Z","type":"item","id":"Q3325075","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3856444"}},"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":"Q3325075$9021361A-6E90-41C2-B47F-A0D70D6CB637","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cd3ecabe20a20922b4366bc02eb850339ad2954","datavalue":{"value":"0538.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325075$6213593D-AA17-4609-9870-B6E63C4C2A93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a36e2775790aea339f51177a635c0eb1b20a260","datavalue":{"value":{"entity-type":"item","numeric-id":1389630,"id":"Q1389630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3325075$D12EB616-2608-4093-9040-B570400203FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3325075$5CAE5DC6-E278-46AD-90F0-71FEAD40BA38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325075$AE09CFDA-F39C-4C4F-9F47-88CD8A36A114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325075$2373971D-1AA9-4243-BA33-28C97CCD22EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8ca3134dcfde76a8c0f8be2011aa46ab4665a86","datavalue":{"value":"3856444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325075$5CB327DA-D2DD-4504-A2DB-FDF615DE6CF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e1f1f6c653d5e8b830778112368cc2ffd6db3c6","datavalue":{"value":"algebraic abstract data type completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325075$8DB0D0EC-F16D-4E8C-885D-D9C9B9942903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dd6b621cc3ca4d35314d2fe3efe9b7afcd17181","datavalue":{"value":"resolution theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325075$163D4F65-CD61-49CD-B3BA-5C8C2D2E8ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbec5c2b93e66e86aa0d97f1c5c6e6aacaff7fc6","datavalue":{"value":"computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325075$1E94629A-A3EF-441A-A7B7-E78C63B1C288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ab1893e1116844067419d466ded01050a1d2510","datavalue":{"value":"Knuth-Bendix algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325075$3B6FB4E1-750A-4E44-9865-B23BD94645C8","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":"Q3325075$55933CD0-573E-4417-9DD3-67AD5240B800","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44b80ae72552fe355c6d62c8e6e6500eb145a21","datavalue":{"value":{"entity-type":"item","numeric-id":3806800,"id":"Q3806800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6b3cce12434cfdd8fc4ec8cf8d45c93e60b1b1","datavalue":{"value":{"amount":"+0.8210976123809814","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":"Q3325075$E4F746C3-45FC-48CA-BB6F-A01A063B5F3D","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":"fab4f721bd03e89a32b3a11450c3dd1e0328480a","datavalue":{"value":{"amount":"+0.8202846050262451","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":"Q3325075$642AC9C6-D78A-43CE-B9BD-1D1B1C2BCE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f347b68470cf5fad9a8712e244de42e18d5f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3702509,"id":"Q3702509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058e69b46cf72bca245009f43bcee2d3c10a85d1","datavalue":{"value":{"amount":"+0.8095067739486694","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":"Q3325075$BD7C1B45-63C8-4F2F-A903-22BEF6D6C579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bbbf9d95ec6e484d6cec7feb284558813a56cd","datavalue":{"value":{"entity-type":"item","numeric-id":5881277,"id":"Q5881277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9345e496d99f45ca9cae90994edf1cf2821370a4","datavalue":{"value":{"amount":"+0.7964432835578918","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":"Q3325075$5EE4241E-2B35-46B2-AE1A-8143ED3081CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117f0f0c21341a5205408d76d47441cbf8c61ace","datavalue":{"value":{"entity-type":"item","numeric-id":1186705,"id":"Q1186705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3a489665a528d92fae4b633caba6f0c7ad5bb2","datavalue":{"value":{"amount":"+0.793002724647522","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":"Q3325075$2F409A15-83A0-4001-928E-4C525DE99DC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3325075","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3325075"}}}}}