{"entities":{"Q3437262":{"pageid":3447965,"ns":120,"title":"Item:Q3437262","lastrevid":88224536,"modified":"2026-06-04T13:58:00Z","type":"item","id":"Q3437262","labels":{"en":{"language":"en","value":"Generalized Strong Preservation by Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5152652"}},"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":"Q3437262$D99814F6-600B-44DE-9111-9461FE99BBC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"091b7319a697a4f08c39817e573f02501596981d","datavalue":{"value":{"text":"Generalized Strong Preservation by Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3437262$D26F903F-51E5-4464-8A3F-63692F77B3BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8613885943fd1318f973f0dffddfaef00906bc7c","datavalue":{"value":"1120.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437262$E8D41118-3BC3-4B26-9B29-C4BC7DB2301D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b8ee6d7487469fb10537f323a2ee630480c1ff1","datavalue":{"value":{"entity-type":"item","numeric-id":924725,"id":"Q924725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437262$F27F1503-A206-4078-92EF-BF3EAFA8BEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437262$61DC41FE-657F-4B5A-BB04-0A30CBBE80A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a2af428023bb1f64e3e9e7c392bd08e7b812892","datavalue":{"value":{"time":"+2007-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3437262$0EF38CFA-B3D3-4ACD-B211-353A4249BBFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"329598ce9b6d7b5941f4be68cd7192b03f6781fd","datavalue":{"value":"https://arxiv.org/abs/cs/0401016","type":"string"},"datatype":"url"},"type":"statement","id":"Q3437262$0CC97A1A-40DE-4C3E-9B8F-E7D0ECA3B649","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437262$1E406363-3D51-4FD8-9637-AEA72E12E6F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e1ac5131933c2f27c5e8a5a6452e1f4b0a0f9fb","datavalue":{"value":"5152652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437262$3572E6AB-2EB4-4492-8D7A-AE2FABE21F4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437262$14EAD3C5-27BE-4989-B498-4BEB27078FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f54eb7168988785d0d362dd4be520187126e607","datavalue":{"value":"abstract model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437262$18A9063A-D588-4A5D-A6EF-917DC777B2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8979edf54305f1f95cca5d87d52e4cbc194cc8da","datavalue":{"value":"strong preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437262$594D0459-E9BE-4D84-9F56-66BE26EB94EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437262$ABE932D7-1C04-4426-9F52-E1BDB16F55AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437262$58442B58-B69D-4474-85E2-D8FE42C02BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437262$F65848E1-8912-4E26-9B7E-DD98A439893F","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":"Q3437262$7679FE50-4121-4F84-9691-EBA84A850474","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28e86fd3a421efd3469ef611a2c5c123889ccd45","datavalue":{"value":"W2069150132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437262$DCCA2AF8-AB24-49CF-B4D3-C65C4917D9F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"436b13a9125d5b68aced79eab05a13d5c9549fd7","datavalue":{"value":"10.1093/LOGCOM/EXL035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437262$037CF50F-E728-4DB1-8C2F-7B3D6CD5F97D","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":"Q3437262$6AAB126B-5260-46AB-AC2A-FCEC2A8F89F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc2f7151fa342070d509b9ab1f5b6debd4904a22","datavalue":{"value":{"entity-type":"item","numeric-id":5308686,"id":"Q5308686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c977077335e3d41c4321543017b5d01552c0a6","datavalue":{"value":{"amount":"+0.944747030735016","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":"Q3437262$8B53908E-1698-4DAF-8990-BD34871EBB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf55ad778d5220e73625a2e0dbb604798fac56e","datavalue":{"value":{"entity-type":"item","numeric-id":4411975,"id":"Q4411975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e7a11d112e3a11fba1fcbf64d35f4207d3d685","datavalue":{"value":{"amount":"+0.924329936504364","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":"Q3437262$CF1CFE74-AFB1-4B6A-85B7-D8322B4B5436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7cbb885ac5da6d73469cdedb60713bce65a32d8","datavalue":{"value":{"entity-type":"item","numeric-id":5898627,"id":"Q5898627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbefea1c86cc59cd94103da6f10b6947cb18bfeb","datavalue":{"value":{"amount":"+0.9058995246887208","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":"Q3437262$275ECA90-56ED-4414-B669-A1675B4A38A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb7914bdc7fe26af3b5a4b9c5b9c02fe117f6b9b","datavalue":{"value":{"entity-type":"item","numeric-id":5703755,"id":"Q5703755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4660842b06aa29fc78bfa85b0ef767e6176d1226","datavalue":{"value":{"amount":"+0.866116464138031","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":"Q3437262$54705BBD-B6F1-4640-8838-4D6E9AE1E3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce5cfd9f03d9a0ba61f291e4026b26bede70abc","datavalue":{"value":{"entity-type":"item","numeric-id":4823139,"id":"Q4823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a9614a022acbb1818c8d1f402e815fa0becb5a","datavalue":{"value":{"amount":"+0.8270885348320007","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":"Q3437262$7C669BAC-27C3-4EBC-9B3D-DC8409ABD0D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized Strong Preservation by Abstract Interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_Strong_Preservation_by_Abstract_Interpretation"}}}}}