{"entities":{"Q4524788":{"pageid":6554380,"ns":120,"title":"Item:Q4524788","lastrevid":47558977,"modified":"2026-01-02T02:05:26Z","type":"item","id":"Q4524788","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1552528"}},"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":"Q4524788$18DB0682-340C-4CB0-BEB9-228E488827AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b1aec650f12d09c8df1ea3610c1e615d8aa89af","datavalue":{"value":"0970.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524788$5471E19A-AF7C-485E-8816-7C2A2EB98FC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524788$BA5F4B29-2F29-4EB0-A485-A9BF98BC8742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdef74c3015c2eb47207605c5cffbe54af2df392","datavalue":{"value":{"entity-type":"item","numeric-id":533877,"id":"Q533877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524788$4D0551EF-84A1-4497-9E0E-46C302F89A73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df6a2e2d83cd24c9e72d2bfe0bf7d46179db7fd5","datavalue":{"value":{"time":"+2001-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4524788$C8F6366D-EC47-433D-92A9-6955740B70B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524788$76633288-C6D4-4777-A431-EE47D2214BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524788$DFE19257-B317-46E0-8807-351DDD2D13F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc753df84109ff3947d6862c5002a2f59b583f99","datavalue":{"value":"1552528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524788$92AEC4B7-FDA0-49D9-BE9B-976E343B89C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a24053463d3d09db0bb37e1821671cf0c98e2fe7","datavalue":{"value":"equational unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524788$A7292FFB-3ECF-4BF5-B8CC-14729EEC81BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524788$ABDBE428-C0C2-4741-B3C0-83C552EEDCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524788$9840ED8E-3DF8-42C2-BFFA-7DE244903A7B","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":"Q4524788$E6EA6162-08E1-45FC-BA5E-B89009531922","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a1831a202152cc69b8bc97f4e1fd18e57d7e52","datavalue":{"value":{"entity-type":"item","numeric-id":6169561,"id":"Q6169561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecdeea3cadafbdb5e2f7bc3a65fd8b1d1f5a287a","datavalue":{"value":{"amount":"+0.887330174446106","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":"Q4524788$936EB96B-58CF-4227-B148-BBA31682E40D","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":"d50f0d7466cb91c57fa3390b3aa79aa885efe7cd","datavalue":{"value":{"amount":"+0.8780252933502197","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":"Q4524788$565598B2-F8B1-4502-936C-600E7B6FBE61","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":"d579c6432972e66a80c684af4364e4cc294464f1","datavalue":{"value":{"amount":"+0.8763421773910522","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":"Q4524788$A14EA7FF-E94B-490C-A51C-5ADF364174B8","rank":"normal"},{"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":"0298de5a94b9f74bf98bd43a9d1e2c2d78fba09b","datavalue":{"value":{"amount":"+0.8677448034286499","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":"Q4524788$9A7C8A43-D25E-4B0E-B2DD-BEB8695F2FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf96db696e749d4afe3c1cfb30f2132f3a57c145","datavalue":{"value":{"entity-type":"item","numeric-id":4266518,"id":"Q4266518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c6ebd481d2c0da00252092c181ca12d70a1a59","datavalue":{"value":{"amount":"+0.8642404079437256","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":"Q4524788$88A9FDD4-B786-44CF-9FDF-7C1C8EC99712","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4524788","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4524788"}}}}}