{"entities":{"Q3348896":{"pageid":3359605,"ns":120,"title":"Item:Q3348896","lastrevid":49498192,"modified":"2026-01-07T08:16:06Z","type":"item","id":"Q3348896","labels":{"en":{"language":"en","value":"Abstract Interpretation, Logical Relations, and Kan Extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4200179"}},"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":"Q3348896$9CFA73AF-7973-49CE-B562-67D556F5530A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfa4b940cab812b4464df20ba73ad36f2633b961","datavalue":{"value":{"text":"Abstract Interpretation, Logical Relations, and Kan Extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3348896$155CC9FC-8878-43C5-ADED-E4DE17B82229","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"572077981673c1242f1578e186877dc6d056959a","datavalue":{"value":"0727.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348896$1E988997-7F96-42D3-87D1-431686D39366","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52c91827c5a18fc450af4cec489c4fb0e8f46e0","datavalue":{"value":{"entity-type":"item","numeric-id":320191,"id":"Q320191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3348896$2A53E996-776E-434F-B7AE-4AC6EDE23FF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3348896$10A2BF80-1228-4C3E-9C27-533B647DC9AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348896$DCFA241D-EED5-4CF7-83E8-8E249179B2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348896$B27C9DCE-2D50-4D3D-9B36-77836FA6DE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348896$AA533C40-B433-45D9-B818-7873EB8D0FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348896$BD4A6201-E593-48EE-BD56-A43A5C7722F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348896$AF322C61-717B-4AD1-9FD0-D517BCAB7D28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fed26f2f65d766fdffb6038841c9e1742974ab3b","datavalue":{"value":"4200179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348896$D8B19ACD-5494-4CAA-8629-AC20D6F12925","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348896$1451F148-59E4-42A8-A4ED-3F1AC77157A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348896$391E87DC-A1AF-43D9-BA76-84D0902D3F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348896$1E96FBBB-CC78-4C13-B245-127091C79BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348896$6600C46C-4C92-49AD-A75B-1F85C018B519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a54bfe4160c4136119f69df3dba514b7baad5f","datavalue":{"value":"strictness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348896$0332B13D-292C-4F09-B32B-6AF67FDF2187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348896$2F14D8B1-C1A0-4107-9E89-DCAA5F265FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348896$48E274E2-96E5-4E12-B918-B65B2365160B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348896$A5731003-365C-4B21-9621-321C98429FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac1ce803710cd429bbbab40c00db73a7de5bf569","datavalue":{"value":"Kan extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348896$C207F0A1-0C6F-4A5E-AE4A-3E95205298AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ccc4b88a8724899ad3e4825443f43ce1329224","datavalue":{"value":"powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348896$5BA6AFD3-418E-4672-B54C-D77260A62C60","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":"Q3348896$BE989225-FE4E-4E49-BB28-4C016D342C3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e47e4094b2cf58ee69a816c6ed8f582c69855688","datavalue":{"value":"https://doi.org/10.1093/logcom/1.1.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3348896$8D5142A4-9941-453E-87B2-348EFC92FC49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"447ab3f52fecff846aa29788cb43e6ced660c3a9","datavalue":{"value":"W2059221460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348896$0848EB81-24FB-45B0-BD20-71CB03084A9B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e09a9953d25f517f8c4846b128638704503b2aa5","datavalue":{"value":"Q57006940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348896$539D5089-43FD-476C-8B91-F9EC021037D6","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a79e61db3de4861f6854573b8f523c55b312d1c0","datavalue":{"value":"journals/logcom/Abramsky90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348896$8F98AA89-02F1-48E7-AB4B-072584A949D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7e53132cc14a2683abbc02cc138a6aea0735e50","datavalue":{"value":"10.1093/LOGCOM/1.1.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348896$C737DB6F-4094-415A-B4F3-840DF64A3C7D","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":"Q3348896$588638F5-9B3B-4057-89DD-30EF767364BC","rank":"normal"}],"P1643":[{"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":"db41b5de23f67810c7e3cd49e540f141a6c42d78","datavalue":{"value":{"amount":"+0.81227707862854","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":"Q3348896$775616C7-20AC-463D-8CC8-EDD1D882EB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e99ac8ae7008d6bda0b3e33b5d83bb88c0e089","datavalue":{"value":{"entity-type":"item","numeric-id":1881270,"id":"Q1881270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec34c81f782a5d383d3506ec1b8d4861a89ec3b2","datavalue":{"value":{"amount":"+0.7945844531059265","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":"Q3348896$C1374EB9-C1C6-4C48-84B0-312C7DF2B1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c1e3143baadacd9de757995dab24bd4d4030a4","datavalue":{"value":{"entity-type":"item","numeric-id":3142281,"id":"Q3142281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01fc505712986450fe5beccaa29c89bb5b2ed2f1","datavalue":{"value":{"amount":"+0.7791790962219238","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":"Q3348896$795F9546-0F5D-4DDB-BEF6-4B34FC0CED82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d6ce15a31d3c635a504d28c4ffe50d024b84e83","datavalue":{"value":{"entity-type":"item","numeric-id":4808686,"id":"Q4808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc91e94177acadc38175efc0b64aa2b658b88b0","datavalue":{"value":{"amount":"+0.774789035320282","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":"Q3348896$2FF6DD1D-BDCA-437B-8161-77614772625F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aacf6d8245f297808ba85b2f1dc6e5b75fe1dd62","datavalue":{"value":{"entity-type":"item","numeric-id":3709872,"id":"Q3709872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ebc738f9f697398c1aeb177e6cb2f1076d723fa","datavalue":{"value":{"amount":"+0.7720720171928406","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":"Q3348896$B72BD155-A6BB-4797-9060-03BE50B60219","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3348896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3348896"}}}}}