{"entities":{"Q4778700":{"pageid":6808280,"ns":120,"title":"Item:Q4778700","lastrevid":74760921,"modified":"2026-04-15T00:12:08Z","type":"item","id":"Q4778700","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1832222"}},"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":"Q4778700$7FE8A6FD-2A93-4DAD-A421-B16B6A5B5297","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c570c048baef5cf6e7037bf4691d70eafc52b197","datavalue":{"value":"0997.68511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4778700$9094CFD2-52FB-4B20-80B8-D541D802804D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc2863c41e44fb76b9a7066a084c23d0dfbbd3f","datavalue":{"value":{"entity-type":"item","numeric-id":1426865,"id":"Q1426865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4778700$91B73928-86B2-4B57-A269-9DCA265371E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"494734e5286d1b1bb72cf3c2b2c3bd94d900e697","datavalue":{"value":{"time":"+2002-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4778700$991F59C3-436E-4DBA-BDEF-672783C42C12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b5120b6348bfc3f5151afbff7f740f81cfcfe04","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2126/21260146","type":"string"},"datatype":"url"},"type":"statement","id":"Q4778700$D0089C6A-8C74-4AF6-AD24-77F2F1DC2B9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4778700$5B2C4679-E3D7-4F58-98EF-3678063379F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43a5083ee36e57c7fa9192f6aede71627da7ea01","datavalue":{"value":"1832222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4778700$52BB8CAB-C475-456D-B796-3566855D88D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4778700$4FA3B7BF-058E-4CCE-887C-B6A6AAD6780D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4b8c49b851dc640cccc756ec42990186b2f6ade","datavalue":{"value":"groundness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4778700$C1B221B6-75EC-483F-BDAB-FD1A10A06DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4778700$2D55AF24-B4BF-4773-BB9B-BA380FDD8B57","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":"Q4778700$E5CCCE2E-21A6-4FEF-AF0D-F81EECE84155","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c14da53605bda1610f650d59b29f06659c1718","datavalue":{"value":{"entity-type":"item","numeric-id":4452593,"id":"Q4452593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c48750c2b9a596b2818192067c834e04415a547","datavalue":{"value":{"amount":"+0.7906370162963867","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":"Q4778700$52C417BC-F0C2-446D-AC77-DFB749B906E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4a6ba602ad83e1678e13e45d712548aced5497","datavalue":{"value":{"entity-type":"item","numeric-id":4736509,"id":"Q4736509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12df702f96d873021c8434fe94eb9f65ba0aca4","datavalue":{"value":{"amount":"+0.7904243469238281","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":"Q4778700$FCEB9FBF-4A5D-4398-B32F-73911B4BD678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd505f059604ca898f7fdb1f1d92177d153124c","datavalue":{"value":{"entity-type":"item","numeric-id":4507857,"id":"Q4507857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08330da6faeac72e27f53f0bdad0d60190352522","datavalue":{"value":{"amount":"+0.758816659450531","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":"Q4778700$5864EABC-6041-42E5-A413-42CF48A011BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6596405de9d1dc658ec2b2e652d1650dd0421d3","datavalue":{"value":{"entity-type":"item","numeric-id":3129500,"id":"Q3129500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b72a1a498fdf66f65e553ea526f6805aee0522","datavalue":{"value":{"amount":"+0.7538426518440247","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":"Q4778700$C2266EC0-2FA0-44A1-89C4-1E562708A0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03086b05af5c541cec39c52b433e63be32ad098","datavalue":{"value":{"entity-type":"item","numeric-id":3128619,"id":"Q3128619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3618e1c49cf38f2313ce8a65fab43bd2250d29","datavalue":{"value":{"amount":"+0.7510995268821716","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":"Q4778700$DBBD65FE-F1BF-4CA4-AB04-CEBE36032C05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1832222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1832222"}}}}}