{"entities":{"Q2841246":{"pageid":2851966,"ns":120,"title":"Item:Q2841246","lastrevid":51779978,"modified":"2026-01-20T00:07:15Z","type":"item","id":"Q2841246","labels":{"en":{"language":"en","value":"Interpreting abstract interpretations in membership equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190939"}},"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":"Q2841246$72C1E6FE-79B1-4D6E-A6A5-F3B5B8A05825","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b96337d74ae585bdb4407806e90189ffcd46f952","datavalue":{"value":"1268.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841246$E7E6EC1E-36E8-49C7-B625-0F6E018CC7C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c83c523a255c5b1045976b8b072df55777a378ac","datavalue":{"value":"10.1016/S1571-0661(04)00292-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841246$D270C045-41BD-4E44-8C07-A45D0F0C0BAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde2c5eea43d2c87cb219f7a9655949243a5a22a","datavalue":{"value":{"entity-type":"item","numeric-id":1994366,"id":"Q1994366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841246$CDEFE109-E957-4D04-98AB-2DB2D71B08EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841246$AB46D9B3-E459-45F7-AF8F-F12433BFBA05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841246$54DF56FE-E8FE-473C-8E53-3BD45D3ECDA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841246$EB6BC200-0D32-4D97-AEC1-3113E023F099","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841246$5CB739C0-64D0-40C4-8A7F-53163D803A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841246$1941D36E-88AE-476F-9171-EAC4D37182B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74f5bffa35b4e920c96e37c10744da0c0c7424e6","datavalue":{"value":"6190939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841246$CBF9EF84-8108-4FF6-8627-333996BC569D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"acd7ad5706b54148a07f6b02640e1ed15b7e13d3","datavalue":{"value":"Q57658846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841246$A3F0FB27-D6D2-414F-B1A3-2ED7353AC062","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841246$7DC052CB-5509-4217-9D13-5EB12BD9EA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841246$22524F91-5B45-4A85-8753-E56318F9A67B","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":"Q2841246$62099ADB-E950-44F7-BB0B-4AD44F8F6F61","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841246$1330C76C-4147-4BBD-8C7E-3E9B290A3F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841246$99C28D10-FA09-40D5-8C22-7CC2E419020C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841246$D80A43B4-335B-4DF9-AABF-694B42C1A77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423decdb0b9a16f9bebf8c539694391a6b1f9cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4472546,"id":"Q4472546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841246$CB4F81F5-77EC-4C3F-9A7F-6912CFA0D9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae532117f641c6cd3699efe68107bbec082a054","datavalue":{"value":{"entity-type":"item","numeric-id":4322433,"id":"Q4322433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841246$84AD0C8F-ACDC-43FC-95CE-27D3E92518FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17381064ecefec5ad5ec8699a3a8d3cf543b73fa","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841246$9A219AAF-88B7-4D60-B007-D9D5155D5EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841246$A60F6D40-A7B4-4EEC-B02B-0BC29DD22265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841246$251551E2-0322-4275-B42A-62F032068C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd37a31c5ce9eb3310a3d2861b39c852af91e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":1149799,"id":"Q1149799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841246$A900DF6B-EFE0-4997-8C70-C0C8409FAB3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e965bae60a7c9fd9c2e5059522d517644d9ab4dc","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00292-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2841246$9B623E05-A400-459E-9E53-E0CFD24E7ED6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ba69645fb33b149756cb43cfe73e67ffe4e891a","datavalue":{"value":"W2030148110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841246$01DB4A1A-5D7B-4764-80E1-B373F9645390","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"48dbb44ad80935205a8c8424024693cae5b6d3f2","datavalue":{"value":"journals/tcs/FischerR01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841246$8CB0F8F5-8465-4A76-92A3-2D1502096DB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e13d94bb8d1a478a058676bd29b9fd9e1ef1026","datavalue":{"value":{"text":"Interpreting abstract interpretations in membership equational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841246$BBE39CB2-79A3-4D30-949D-C82A3768FA37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee768f64fa9c3ae09f1f99206e7b8e02161aa13c","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2525966e620de60edc18f22830d7001d03a939c7","datavalue":{"value":{"amount":"+0.7698870301246643","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":"Q2841246$967359CD-D39E-4BA5-951F-8133C42A47B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2afa134d7470aaccb08587d7bdc0d041f87c1fb","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aad7635c4779063cc6760d50a4ed89e3001172a","datavalue":{"value":{"amount":"+0.7672404646873474","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":"Q2841246$F6637E30-730E-48FF-B8BD-2563E8093401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bdb30f2210c203b63358eacadbbe03c10c614e9","datavalue":{"value":{"entity-type":"item","numeric-id":2797862,"id":"Q2797862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628fa1acd70a6862e1501713e5f2d812b7d3a1fb","datavalue":{"value":{"amount":"+0.756572425365448","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":"Q2841246$CE87BDF9-F690-4DE7-99A2-E0A245DA75A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4b0a3ababa485c9cf0294eea465760ae4b7bff2","datavalue":{"value":{"entity-type":"item","numeric-id":5452722,"id":"Q5452722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b071b3d6b9fffe08565df7f8e17f98a7ae09d3b5","datavalue":{"value":{"amount":"+0.7478960156440735","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":"Q2841246$1B2D7F38-AB5E-4C59-9207-7064DA402B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60838d350036cfd4f4e4bf593a666dc1ab1dc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087d71ac57d6f514ddcd25d604c15be02cf5caa0","datavalue":{"value":{"amount":"+0.7442092895507812","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":"Q2841246$9E5979A0-664C-4555-9503-27C57EAE6900","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2841246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2841246"}}}}}