{"entities":{"Q974112":{"pageid":975960,"ns":120,"title":"Item:Q974112","lastrevid":50994737,"modified":"2026-01-16T03:19:57Z","type":"item","id":"Q974112","labels":{"en":{"language":"en","value":"Using abstract interpretation to add type checking for interfaces in Java bytecode verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5712822"}},"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":"Q974112$D8F31192-F265-4998-8D2A-B509BDED58D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b855bf875b5f3f0b91242030f7501890b5c5641","datavalue":{"value":{"text":"Using abstract interpretation to add type checking for interfaces in Java bytecode verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q974112$BBEB98A8-CD68-4717-9E93-888FACF708F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"296e4d458865bc37f2e7052745771c37f9797157","datavalue":{"value":"1209.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974112$457C1D72-2718-44D8-A732-499A47009C3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb545dd071ada186081d03f5b04cb64129e05756","datavalue":{"value":{"entity-type":"item","numeric-id":428907,"id":"Q428907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$6B1A74A2-707B-4306-AC2F-C3294A65EC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"194c32ec64a50ed46ab94430fff7c0a84b36143d","datavalue":{"value":{"entity-type":"item","numeric-id":974111,"id":"Q974111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$CE680E8E-151D-4808-B47B-1985A8914132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b47e2687c339099320ed3ae6a6e7a67c0e7c742","datavalue":{"value":{"entity-type":"item","numeric-id":816204,"id":"Q816204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$2398363D-D2A2-4161-A245-9965EC90F4FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$50910C92-3B3E-46C2-9651-F02A39FBE1CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2fe2a9116b611a4e0cd03f6e91b5254a2aef5ed","datavalue":{"value":{"time":"+2010-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q974112$9CB54299-A011-4826-8085-8EEC06280232","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974112$826BE0F6-6F00-4111-8B19-66615021460F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974112$46A015BF-E854-4BBB-9965-1B883AFBB36B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2224a9cb8bef9aeeef2287bcc70a7a826bdc1262","datavalue":{"value":"5712822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974112$88F1830F-2389-40D5-80FF-54DF231EA4CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2142f7b8ed09bf741df0b2311d5ef509818c0660","datavalue":{"value":"bytecode verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q974112$4ECFD36C-C5E9-4F62-8FE4-8D459BC719C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q974112$0761746A-8BD5-4A21-A5A3-CA17D213C872","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7aa9e55fdd0c22a5571f5e7649529bf3617d3898","datavalue":{"value":{"entity-type":"item","numeric-id":19900,"id":"Q19900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$A0B59C14-6A38-4F25-88C1-9CF7AB2F1282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f0a4de35a39860c900019be657f53241dbec2ea1","datavalue":{"value":{"entity-type":"item","numeric-id":19266,"id":"Q19266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$DBA78859-F3BB-4F2F-988D-B26979585647","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":"Q974112$0EBC3B8E-6D00-4E9F-9314-9ED75FBB2B7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6024114c5ac0ed51a3512e7f926397b6a7c401c9","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.01.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q974112$A22CFE63-C493-4BCA-83B1-57C476DF0745","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f57ac6c66a3f82b0d620a0d057aaa3d7f9daf153","datavalue":{"value":"W2137822268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974112$3514DDEF-AEC4-400E-9049-F5F599F8336C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce920cf6c2d579e337ffa8128807f6e07212705","datavalue":{"value":{"entity-type":"item","numeric-id":4794727,"id":"Q4794727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$57CB446F-3495-4775-998E-974A4F5725BD","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":"Q974112$148E7D86-5072-4311-AF6B-2F364521789F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$FA0A8A09-31CA-444C-B8ED-42875CA67A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$BB7108F8-4B08-426F-A748-94B474AFABAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$2EFAD58A-0F66-443A-9EF6-91A4CAA0CD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$6FA2F59A-B4DF-4D18-9644-AEDAF6D1980A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$17CAD5B4-48E9-469C-8F86-E4F2D0B7D50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c712a96d4104da9c19127a73e33abfee7834195b","datavalue":{"value":{"entity-type":"item","numeric-id":5178855,"id":"Q5178855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$CE2A485B-D77F-466E-B64C-15D7AE9C9AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d2ab9f0aa08410bdd345b97017d0badb3c2976","datavalue":{"value":{"entity-type":"item","numeric-id":4791013,"id":"Q4791013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$077B8DAF-886F-4F1B-BC4B-FD17876B1486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d17992b371850be6b5e2985000a37a1fdccdda0","datavalue":{"value":{"entity-type":"item","numeric-id":1405988,"id":"Q1405988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$08D7900F-775E-4B76-8CCA-5428F28A4318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a024547fb4d0341c835704caf71031c47946df","datavalue":{"value":{"entity-type":"item","numeric-id":1826470,"id":"Q1826470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974112$9FC7A624-4737-4F45-BBB8-0A504E219EE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fc3d56dedfe45b6df936ad5b06e439e7f88724a","datavalue":{"value":"10.1016/J.TCS.2010.01.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974112$9E5EBBC1-F4F6-4AF7-A0EA-0402847F0D04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692eaa62c6daba5ff22022792cbfeba82e9bdf42","datavalue":{"value":{"entity-type":"item","numeric-id":1405989,"id":"Q1405989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a60ca7d6edf316e57a8a6403c2b2a29c7838f7d9","datavalue":{"value":{"amount":"+0.7693178653717041","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":"Q974112$6087912E-D1DB-400B-A455-890CF432D9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c33c5459aee600cf4d4743005ca61ff60fbdcc2","datavalue":{"value":{"entity-type":"item","numeric-id":1405996,"id":"Q1405996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9148fedfba5fd89a2a5f3d6e730638781862d12","datavalue":{"value":{"amount":"+0.7417130470275879","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":"Q974112$A8F3CAC6-1CAD-4ABF-B91B-BADC0FCA279F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4c57aa0ee60c757fb7af46499eda4a2f6bc9c4","datavalue":{"value":{"entity-type":"item","numeric-id":4738465,"id":"Q4738465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8facb820cb89b1809e527f64a5506b87c2491e87","datavalue":{"value":{"amount":"+0.7403277158737183","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":"Q974112$956526C6-5298-4957-B90E-FD6382F15CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfcee1337228d2b832d0586dc81ccf3907a10efa","datavalue":{"value":{"entity-type":"item","numeric-id":5716545,"id":"Q5716545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b22228c1a00f12a181b3c4b837f84927cd2afbf","datavalue":{"value":{"amount":"+0.7189961671829224","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":"Q974112$B8C1B9D5-082C-40F3-BA75-AAAC994AE07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee1833f55b170433e7d137ae0af71e3dbe73d712","datavalue":{"value":{"entity-type":"item","numeric-id":4222945,"id":"Q4222945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da5788b7a62aa0db776f51f261abbd4d0c7e9a2","datavalue":{"value":{"amount":"+0.7147759199142456","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":"Q974112$0334E82E-42E7-48AD-8A54-B797E253350E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:974112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:974112"}}}}}