{"entities":{"Q3079916":{"pageid":3090631,"ns":120,"title":"Item:Q3079916","lastrevid":51200072,"modified":"2026-01-17T05:12:47Z","type":"item","id":"Q3079916","labels":{"en":{"language":"en","value":"Abstract diagnosis of functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5860253"}},"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":"Q3079916$D38E3D44-080B-482C-8088-C4CB154EC185","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc83d742b9ec1876a5a857cfebef2aad3855ae27","datavalue":{"value":{"text":"Abstract Diagnosis of Functional Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3079916$0C2C080B-468B-4D7A-8463-75689EC153E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a68899808ff5fa87a37aaf7337a37df699d5f8d7","datavalue":{"value":"1278.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079916$5AF94B03-5893-4942-B40F-AFCB813F6BE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"539400cc5e2eccedef2b39819c0609e150c9d346","datavalue":{"value":"10.1007/3-540-45013-0_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079916$5CDF6B84-C5D5-412F-A2D2-A2C7D886103A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079916$9C1BB3B6-D44B-4523-8D44-90F4EAE7DF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079916$85C8133A-CF6A-4508-84B9-A571B0548F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079916$2EF2E76E-138C-44E5-B5CF-FBF0B5E93204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04735811f5f70f629ba4342ebdac125a1959371","datavalue":{"value":{"entity-type":"item","numeric-id":1274453,"id":"Q1274453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079916$B20F1A34-8C24-4DF7-8C78-76FC9F817ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b09c97087e59f31d60466ac7a1052c11eb3805b","datavalue":{"value":{"entity-type":"item","numeric-id":671508,"id":"Q671508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079916$3A316F2A-66C2-4065-A19A-8C0399D63E1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b30e253b497c9ae83eb323a9f6b0623853ce927","datavalue":{"value":{"entity-type":"item","numeric-id":3079910,"id":"Q3079910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079916$46CF531A-4252-4FA2-BCB8-40309D1C1786","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaeaed951fddecc25ccb3e6e454be3a7c14119bf","datavalue":{"value":{"time":"+2011-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3079916$BC961527-BD0F-418C-91C5-A81CCCF9A667","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079916$54BD0DCF-B18D-4FBF-885C-BA18E010194D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079916$1FC90802-2E7D-44F9-9E95-83CE08785324","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc4bca6fbfa10e063c1cb4a61e1fc6fdea979d9e","datavalue":{"value":"5860253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079916$FA7C6C99-1A15-4C46-937B-E387FE3EBF91","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079916$20CE4546-B65A-474F-9460-EDD863E2D63C","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":"Q3079916$59C59D1D-50EC-4508-AD5A-21A656932D7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b2d2af7772f8b49362ea29f275c6a40c3ea330e","datavalue":{"value":"https://doi.org/10.1007/3-540-45013-0_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3079916$F271B9A8-AB64-4484-909D-2A448BB375B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c44ddbafe1b9845ff918bfdf1402cfe40180b308","datavalue":{"value":"W1818509088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079916$AA4C9504-9168-4B13-9883-B3CB1271DC46","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6a29fbc54b54510ffa8bd88b9341426173a6df57","datavalue":{"value":"Q57978273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079916$246D1D25-AD03-40B6-A199-F8F0744B849A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a9157143edb82790bcc28fc656bb0433750c57","datavalue":{"value":{"entity-type":"item","numeric-id":3003495,"id":"Q3003495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aafc9a104308f07fd47f51d76459e6b68992e79a","datavalue":{"value":{"amount":"+0.9199827313423156","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":"Q3079916$E76A22A2-C942-4B51-A3C5-3F2D9786A75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1963487ed0f1b0b68ccef19a06922ec03f01bf","datavalue":{"value":{"entity-type":"item","numeric-id":2841284,"id":"Q2841284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e85af6f785c68c37b4ce15e99df0fe3a7a9954fc","datavalue":{"value":{"amount":"+0.882255494594574","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":"Q3079916$0C60AFB5-620F-4658-BC4A-895D63D2FCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a9c2bdd803889739e2d67e5769e4e2790a6baf","datavalue":{"value":{"entity-type":"item","numeric-id":2841221,"id":"Q2841221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1fb19e3d0658a0ace5599f7aab523dc9cd7f895","datavalue":{"value":{"amount":"+0.8816387057304382","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":"Q3079916$8195AA11-61E2-49DD-8043-D3780D9B46A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfd802c3388facbb5fb8c5948b671bb5d61f8be","datavalue":{"value":{"entity-type":"item","numeric-id":3557101,"id":"Q3557101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9e1277b76527206bcee549bb00cf716feca1f2","datavalue":{"value":{"amount":"+0.8527005314826965","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":"Q3079916$3A22EEF9-AFA0-4843-AADC-70C751541E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb22db27e05aaa3b9d3ff65ac9a12f3f6b80c48c","datavalue":{"value":{"entity-type":"item","numeric-id":604477,"id":"Q604477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d510f9a93e6d8ae3a642442554ee0b3044e70b6","datavalue":{"value":{"amount":"+0.8306108117103577","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":"Q3079916$D3CDC58C-F00E-4B2F-A170-95C902AB24E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3079916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3079916"}}}}}