{"entities":{"Q3623927":{"pageid":5653833,"ns":120,"title":"Item:Q3623927","lastrevid":50640824,"modified":"2026-01-14T16:06:45Z","type":"item","id":"Q3623927","labels":{"en":{"language":"en","value":"Opaque Predicates Detection by Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547646"}},"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":"Q3623927$423D6A5E-023D-4D0A-8345-AFD2339B1267","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9448e483a4796f2905085606253dc241475b187","datavalue":{"value":{"text":"Opaque Predicates Detection by Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623927$D458674F-CCAC-44F7-B583-F9BA811659E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f3bb759cbc6dd8259b135adc7757557300d5e0f","datavalue":{"value":"1236.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623927$9F7EBD96-13C8-4BDC-8919-52054FE85A1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fccbcfe0297e6072734aef3336e7cb677b6aa69f","datavalue":{"value":"10.1007/11784180_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623927$FF4B35A7-7FE2-4962-BEDC-166FBA64B2BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e76c641e2f7ec275b3b7b0b7efa47b9a5a9b8e4","datavalue":{"value":{"entity-type":"item","numeric-id":511012,"id":"Q511012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623927$98F0D1C1-8BE0-4819-8180-EFAE643E55C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"382a1541dc64453ec6e32f82c022a0717fc317ff","datavalue":{"value":{"entity-type":"item","numeric-id":3623926,"id":"Q3623926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623927$15599217-F4A2-4E99-A0A5-6DA00447C84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bec93bc72b8e10aec977cc6a76594d310ee7b8da","datavalue":{"value":{"entity-type":"item","numeric-id":169892,"id":"Q169892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623927$08800CB1-38D6-4A8D-BCF5-DDA4698BF083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623927$E9282091-C67D-4725-9F82-9B0AFF210044","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623927$ED718DA1-0147-474D-B8D2-78EC0C439C5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623927$355A4D39-51D7-4D7C-AFFA-899ADBBA5598","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e59577c6311477c3b3873c8d3821020d568ba5bd","datavalue":{"value":"http://hdl.handle.net/1854/LU-374672","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623927$7CB41584-69E8-43B6-ADDD-C1D7B0A8544F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623927$C74BAD12-3F64-4EA1-B529-67BCB1F21D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623927$80CF85FD-F244-4B76-BAF4-36D58E836926","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fbd011c270d21cb10aeb28e914ed606e42635c3","datavalue":{"value":"5547646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623927$E7F23E58-872A-4676-AA2F-45225120EA47","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623927$26984BFD-5553-4E15-B8AC-6975F0DD9E17","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":"Q3623927$F3FEE5A9-BF83-424A-AFFC-CAB87CD745D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03314f4bb94320638bccd191bf34f8113cc6925a","datavalue":{"value":"W1534474245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623927$8584979B-1A4C-4113-B05A-275E56992B14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e5892d7d2cd5f1c3349ce8fdc094e2f3a7e1f18","datavalue":{"value":{"entity-type":"item","numeric-id":5716756,"id":"Q5716756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5785e06ce9495d204e10e904a98f6c76c7a27d3","datavalue":{"value":{"amount":"+0.7602302432060242","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":"Q3623927$97D992F5-4526-4F3E-AEDA-8E98BAEECB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d1940d3be4c6c5f9c18c054594aeaecb1d67636","datavalue":{"value":{"entity-type":"item","numeric-id":4611201,"id":"Q4611201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790a46529f0cd32ae4147d64c74a881655e97a30","datavalue":{"value":{"amount":"+0.7457595467567444","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":"Q3623927$AEE3BEC5-412B-498B-A3C0-49072EC362E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1c0d17f44112d9c90b540f42faa730ebf3cb3f","datavalue":{"value":{"entity-type":"item","numeric-id":1624593,"id":"Q1624593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c204316c7bc3e23ce396761adc79868878b3dfec","datavalue":{"value":{"amount":"+0.7401003241539001","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":"Q3623927$CEB29F5F-926B-41AE-A5B6-5DD11BA8AAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead59e1dab393dd683725fc8c6a37edfd1ee6179","datavalue":{"value":{"entity-type":"item","numeric-id":3296324,"id":"Q3296324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45a35de86460024690ab24e86fea095cbead701","datavalue":{"value":{"amount":"+0.7364964485168457","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":"Q3623927$BE7C83A1-A8D2-4C1F-83B9-5458FBBA65B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10bc4ad0bc65fa8d8dffe53839050655e6b0a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3452259,"id":"Q3452259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0f421c1541cbd8501bb3d6315c91386d83cdc1","datavalue":{"value":{"amount":"+0.7357049584388733","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":"Q3623927$7B4683AB-1470-4E6A-A84C-2A8D0918A738","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3623927","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3623927"}}}}}