{"entities":{"Q3338225":{"pageid":3348933,"ns":120,"title":"Item:Q3338225","lastrevid":48739759,"modified":"2026-01-05T18:21:12Z","type":"item","id":"Q3338225","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871334"}},"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":"Q3338225$8191F549-178E-4D55-8D0B-3BDDD72417A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fb2fd59fb0292eb74c4bbc63400aaa46874df34","datavalue":{"value":"0547.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338225$750D7B4A-C34F-45E3-95D2-03B046AC4F08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67de4dcf41337233b478a60d1d06381752453e30","datavalue":{"value":{"entity-type":"item","numeric-id":857912,"id":"Q857912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338225$6B4A25F0-E3F3-4E43-AFF2-1B23BEAF692C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3338225$F6210F38-2883-47D3-9C13-EE1DB1AC1EA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338225$52D958D6-0EAC-4575-8C75-F6CBA62557FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338225$E903C44F-EE85-4579-B62C-5D00B4C5046B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338225$F486C593-71E4-4FA3-90D1-88B61F8FA398","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"000536ddd1cc3b82da42043d02c46e84fc25d8a7","datavalue":{"value":"3871334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338225$E376708B-7096-4AD3-9363-B310005CDBEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fe14137166e2eef9ab43af054a90dfcc5c7dd4a","datavalue":{"value":"equational classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338225$36318936-8E39-4565-A314-139C0D08A633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06823799aab60744489168d12758929ce235b9df","datavalue":{"value":"equational unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338225$83E3A506-87AE-435D-A4F9-0D42EEAC477A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5984c29e2465349b05967454db6182fad400bc95","datavalue":{"value":"decomposable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338225$27C05101-FA6F-43C9-A553-2C914C55128D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d342f27d7db873f19d6b8b7067d9639558aa6778","datavalue":{"value":"decomposition-merging-normalization process","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338225$CDDF7AC0-CDB9-4880-8F44-3F1F06731D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9cb720952532eaa8df3e361e4b4c4afaeedb6ba","datavalue":{"value":"MINUS theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338225$404D2A9E-EA1A-4812-B856-65E61DDDC95B","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":"Q3338225$67286D4D-2B2B-4F72-8448-D6329FD54BF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d678e70dc732aaed13466171f68f9279e9c9aa87","datavalue":{"value":{"entity-type":"item","numeric-id":1329186,"id":"Q1329186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d259192212225e7345b4d4ef5454e8fef5a2a772","datavalue":{"value":{"amount":"+0.8181930184364319","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":"Q3338225$3C01C7B6-CA21-4C45-8EA4-64383E1806DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61208d93249e3c543236daccbab8527fdf4aaa7e","datavalue":{"value":{"entity-type":"item","numeric-id":3835440,"id":"Q3835440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c95a522bc933edf8367d812b055b77a89b5d8f76","datavalue":{"value":{"amount":"+0.8178988099098206","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":"Q3338225$EFAAA397-CFC8-42AA-AD05-B1CAB960ED61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c1eb1ffde9e79dc7f92eb852b2d0955fb64145","datavalue":{"value":{"entity-type":"item","numeric-id":1260765,"id":"Q1260765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d6d5cabfb42f8b33c37a859857f6322433c2cb","datavalue":{"value":{"amount":"+0.8125763535499573","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":"Q3338225$0F1931A7-E200-4266-82D9-E749CFCDBCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97dc31ab08766faa6d598e4aa48f7f0fcebf8bf4","datavalue":{"value":{"entity-type":"item","numeric-id":6488538,"id":"Q6488538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05aeda63747d5d9be33e5dfb635e8b50aa707d82","datavalue":{"value":{"amount":"+0.8062663078308105","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":"Q3338225$C2261910-50AC-4372-A8E5-7D88E4C0F3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e7913433f44e2a9c01500474b33479b53d6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3786019,"id":"Q3786019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63cc722106bd2087cf762c0c0c621447c9e60b2f","datavalue":{"value":{"amount":"+0.8019772171974182","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":"Q3338225$ECED9A7C-6C7B-4551-96FA-FD54F3C57973","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3338225","badges":[]}}}}}