{"entities":{"Q4847376":{"pageid":6876956,"ns":120,"title":"Item:Q4847376","lastrevid":47355868,"modified":"2026-01-01T12:05:28Z","type":"item","id":"Q4847376","labels":{"en":{"language":"en","value":"Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 798905"}},"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":"Q4847376$954DEA62-B4A5-4645-9C15-41C398981C93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81af1402ab147d6c2265eb9b3a64f08b926a769f","datavalue":{"value":{"text":"Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4847376$8BB523E7-04FA-4F96-A653-44D8D1369093","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dd92dd0b5a98b5d8248d28ddfcd704d4e76938d","datavalue":{"value":"0833.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847376$158376CC-580D-435A-AEB8-DBE66B9F91CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"227c5371761dcbdafbc69daa6a90de25777d0416","datavalue":{"value":{"entity-type":"item","numeric-id":418130,"id":"Q418130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847376$22F33363-35D2-48AB-897A-F4ABECD0160F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39befa412b6f184069f2e562a37f7fe841b3f444","datavalue":{"value":{"time":"+1995-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4847376$666F0433-293D-4AE6-BDDA-BBBE6CB1E617","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847376$BDAB157B-7616-4559-953A-CF135C9B3B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847376$F31D5DCC-84AB-42F1-A54B-4737EFC58A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847376$7FA15B93-7FEB-4937-A56C-6B973B37D272","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"720c81262de4c7aff5cc16f4fc23072c177b4196","datavalue":{"value":"798905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847376$6B5DBD29-1DDF-4470-8D4B-755E1DCD96FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847376$DCC1897F-8C08-4E13-8994-FE46940EA872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847376$00DFD42C-F341-4D95-913F-CBA6D016241D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561c5651cfff884ba20aac2a45016ca309cb583b","datavalue":{"value":"strictness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847376$FFA15FB5-B1E2-4D70-9671-2A3603024CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847376$802A9391-DA85-4AF6-8874-E4E926B9E887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13f53ea29690baf3720e70ec6d90b81edf970844","datavalue":{"value":"binding-time analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847376$F6E83D7C-AD01-4D96-9762-530F8ECD2B2D","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":"Q4847376$0A7DCC85-2EC6-4F0C-8805-B84DD5B24DA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41992f7a558ead08f74bbd9073dddbb5bf01fa4b","datavalue":{"value":"https://doi.org/10.1093/logcom/5.4.397","type":"string"},"datatype":"url"},"type":"statement","id":"Q4847376$27D72E25-CBA5-4BF3-81D6-658B68CA3EEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52ffca2cd419c3b1c34e20cd9ec11588a59a41f8","datavalue":{"value":"W2018759403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847376$0C5BE953-B029-42E7-B431-C05BDCF95AB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d67b8c1c7ea9459a827052cabe33d47e283de08e","datavalue":{"value":"10.1093/LOGCOM/5.4.397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847376$B54FE4EC-C775-48F3-97A5-572F49BB1B31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847376$5C6BD172-5A70-43E6-9AB7-2EA8FDA6328D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1470a6428dea58786e3326dabe82a40602537838","datavalue":{"value":{"entity-type":"item","numeric-id":5958293,"id":"Q5958293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b87b3b5583f0fadc36b0f5c86874def1c41685","datavalue":{"value":{"amount":"+0.8099255561828613","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":"Q4847376$84CB62D4-7B41-4A3B-A1E7-7EA6C3C5B424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f26c5e9f784f203a0e32d1dd0b41cae62ca78c8","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ea0b5ed61c99492721710fbca340e2e5edc038","datavalue":{"value":{"amount":"+0.8087540864944458","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":"Q4847376$520371E5-30B2-4867-97F8-D4B79FAAAE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c93726bbf21201bb55d99d242daabf4a96a4709e","datavalue":{"value":{"entity-type":"item","numeric-id":4414731,"id":"Q4414731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fafaf2beccab138378a94ef37c21494acb20ef76","datavalue":{"value":{"amount":"+0.7899340391159058","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":"Q4847376$841472B4-3BFD-4939-B1E7-37B8480CB148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e4f483a450f14c52b124bd2de4d610514091e2","datavalue":{"value":{"entity-type":"item","numeric-id":1193597,"id":"Q1193597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd9bd2560efa69c1e1b60c080ba2f792f9757997","datavalue":{"value":{"amount":"+0.7855889797210693","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":"Q4847376$C8C93F43-5AD3-4865-B70C-DD849781D25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe83d322ad211062f70bfa17e17d146ea2fbd91","datavalue":{"value":{"entity-type":"item","numeric-id":1314350,"id":"Q1314350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e96783b79aed57433033d2d17cc08c7d8e5889","datavalue":{"value":{"amount":"+0.7799411416053772","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":"Q4847376$9535F21C-5514-4849-82BC-9D2AD4ED9CE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4847376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4847376"}}}}}