{"entities":{"Q3789062":{"pageid":5818968,"ns":120,"title":"Item:Q3789062","lastrevid":52764419,"modified":"2026-01-23T11:10:55Z","type":"item","id":"Q3789062","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053009"}},"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":"Q3789062$C69CB321-3F07-4448-BE2A-7E76CE313B04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dbe8307263c956fa7ea9beae020481c5b30e38a","datavalue":{"value":"0645.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789062$344D20FB-F29E-44C3-B182-BBA286167F0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59de4dec21386ca0323d0bc61658e95d7735b0ff","datavalue":{"value":{"entity-type":"item","numeric-id":912604,"id":"Q912604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789062$0E7D4A7D-53A8-4DEA-AB34-A50359824ACC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3789062$7DCED522-DDE4-4777-8D14-C7A0383A8E2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789062$23BB9D20-F68B-4D3B-ADDA-C6F5BE903150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789062$1B3C6080-7E39-4873-9EDA-E70F0CEE02FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e739467091e4e408b1af9e8b87f170705292c70","datavalue":{"value":"4053009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789062$840D8240-7C81-4209-91B7-86AE0BC64121","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789062$646E0208-1FD7-4BDF-A0CB-146E7AB0C149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0964c782f1e0abfea85a1e2e4c0eaaadcf410982","datavalue":{"value":"completeness of narrowing strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789062$55C53257-9214-4BE2-BE55-8BC282DFC6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789062$9225ADA6-4F7A-4E0E-B413-F10E053302BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"493db88428e2323d518849e917346e13a51fc768","datavalue":{"value":"E-unifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789062$CC7C85B7-0D95-4DF6-B32D-B999A82DF850","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":"Q3789062$6F72CFFD-7834-4A73-96AF-0EAD793097DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95e9bfe8246f71f9322bfde1ba407e81536efd60","datavalue":{"value":{"entity-type":"item","numeric-id":3774997,"id":"Q3774997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6ec858ab93ad5e52f1f7c6d96171feb24e1cd6","datavalue":{"value":{"amount":"+0.8329548835754395","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":"Q3789062$85C6DCC8-2DC3-463A-A661-E2020AA9FFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54e28824109f01f7965f7310800ab27dc3003d16","datavalue":{"value":{"entity-type":"item","numeric-id":4941932,"id":"Q4941932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d639e4933aa9907f030d89a46741cfa3e0cabd","datavalue":{"value":{"amount":"+0.8271681070327759","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":"Q3789062$43160AA8-D7F5-49A7-94B2-2A642C5B79F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba60eb1d7405e8770f9351ff5f9a62aaf910c7f","datavalue":{"value":{"entity-type":"item","numeric-id":1328184,"id":"Q1328184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d44dc1f450aca2888478097c75a023b4375c35ec","datavalue":{"value":{"amount":"+0.8268597722053528","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":"Q3789062$53DA1D86-DFEA-4BAF-8D58-FC7F71AB6FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f5e0fe0c4b06342484f1e8b7900801f58a952a","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2453c7729e8305b86afed4492b9cf804357679","datavalue":{"value":{"amount":"+0.8073962330818176","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":"Q3789062$90149C8A-BF16-4C30-BF27-36D470B624F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4278061c5d764839af533bc6cbc8d2ba88823fa4","datavalue":{"value":{"entity-type":"item","numeric-id":1931909,"id":"Q1931909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d42c0950b738ddd3ed635b00c8f10baddfe216","datavalue":{"value":{"amount":"+0.8052927255630493","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":"Q3789062$235C21A7-01F3-406B-9F6C-DC0C5B7AC13C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3789062","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3789062"}}}}}