{"entities":{"Q860842":{"pageid":862690,"ns":120,"title":"Item:Q860842","lastrevid":64899699,"modified":"2026-04-11T22:58:27Z","type":"item","id":"Q860842","labels":{"en":{"language":"en","value":"Proof-carrying code from certified abstract interpretation and fixpoint compression"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083498"}},"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":"Q860842$BA005F9A-2811-4B6E-874C-8D8548EF35CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ff9ce4cdd7f0431e8ff26959373ff42b6051b7b","datavalue":{"value":{"text":"Proof-carrying code from certified abstract interpretation and fixpoint compression","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860842$8718AE2D-8D8F-48E0-98CE-462CCFD5034E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fd0934a97305ec7cc71f934729f35a7557c9bea","datavalue":{"value":"1153.68354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860842$E5AF0B7C-A529-4A49-A6D0-AEF014A09397","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$57F99069-2B4A-40E2-8AFF-105EF92A7905","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":"Q860842$AF9A27F8-C7B5-47B3-A875-CF4FA3C672AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860842$7A91704C-5670-453A-93F4-4AD34BE09115","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860842$CF21680F-A8CC-47E4-B6F6-5DDE4DB45AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860842$D3192996-CC03-4159-B6AF-AFC404A5E672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860842$F831C54D-306A-4C88-990E-E88924BEE290","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db02b996239c94967e94e10857650de63a446a1c","datavalue":{"value":"5083498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860842$10BE955A-C676-482B-A239-8B95374D4158","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q860842$D46ADF83-683A-4B4F-BCF4-4F1144242189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fcccf1938b111ca67ad4fbff787bb36915f4850","datavalue":{"value":"data flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q860842$E5BA6CA2-74C6-4FA6-B617-A708CCE1925A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q860842$21B0B05F-B889-402F-8FBF-03BF2A25FCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q860842$334EAF84-6041-450A-A6AD-F9468F3C471B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c35932420c57e81deee91d49171fd875f50cb478","datavalue":{"value":"computer security","type":"string"},"datatype":"string"},"type":"statement","id":"Q860842$E3C2FE3B-0649-4DCF-BAD3-0E992B5A2053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1547e8208e90e2a527453814a9c6431af41fb17","datavalue":{"value":"Java byte code","type":"string"},"datatype":"string"},"type":"statement","id":"Q860842$AEE31932-9E23-4E62-991C-A6485A505E15","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$64D58D25-6193-4D25-A263-DC7893280DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$B4FF9F7D-F8F7-4DF2-BD31-43CBF2C22FA2","rank":"normal"},{"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":"Q860842$A9007FDC-3571-4A69-80B2-A308190380E8","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":"Q860842$3DEF45C7-B232-48AF-9A49-A4AA9EAAC64C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6eb9f9ce11b4b4097abca96fa4446e564ef22448","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.08.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q860842$9C92083A-E3D4-4ED6-86BF-31659737F4B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62891d6290968e37404b5ce1471355957ae44299","datavalue":{"value":"W2016209832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860842$330FFF79-6F39-4437-B2A6-7EB268834440","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d17bced200c861b1f68e40b8ad1d6ac729ad9a","datavalue":{"value":{"entity-type":"item","numeric-id":5705936,"id":"Q5705936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$553CD965-8BAA-451C-9DB0-DC2F133D75FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd0bbfef0b03503f595e7be9f566b1cbab53903","datavalue":{"value":{"entity-type":"item","numeric-id":5178856,"id":"Q5178856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$42E9CFE9-3DC3-4EA0-8BD7-FCE9A1122EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"656b52898fb9d715cbc0ff6976b2507bbcf3085b","datavalue":{"value":{"entity-type":"item","numeric-id":5705934,"id":"Q5705934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$CFDF9A5E-71FA-49F8-984A-A33229CF3F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fc88483889b05642dd765cd87ef809c7cc5568","datavalue":{"value":{"entity-type":"item","numeric-id":5308711,"id":"Q5308711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$839E5E0B-95AD-4662-8B50-8A5EDB2FDF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ab9cec473c39d1eda43d5cb22727844c9ee500","datavalue":{"value":{"entity-type":"item","numeric-id":4934630,"id":"Q4934630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$F1955F5E-CCC9-4C36-AC08-05C5CD89E1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$20BB2E63-988F-47F5-A91D-6D5B4E14ED8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901ba45472e1a0a3be8b2e40215973355027ef09","datavalue":{"value":{"entity-type":"item","numeric-id":2949209,"id":"Q2949209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$D5A45A82-3F7F-4FBE-979C-1566FB4BEF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc948dae68d5d16ee6435dd5d9bc6e69cbc973e","datavalue":{"value":{"entity-type":"item","numeric-id":1874284,"id":"Q1874284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$AD9192E6-1E06-4A04-AC77-3146568A9F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$AE30B935-BFDA-4CC3-BC77-F9A636C8965E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa8869764d95275ff1256e74294386e198dd5f3","datavalue":{"value":{"entity-type":"item","numeric-id":4936138,"id":"Q4936138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$974DADA9-E7A8-48ED-A97E-B4EA8A01C66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fe8cac8585e29aabc7a821fa20c965a2d68e7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5178881,"id":"Q5178881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$21E2B19A-8D51-4254-ABD4-B4D8829AE140","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":"Q860842$C7683814-3BEF-45C6-9964-80ACEAC36EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb2fbbdac2e653893684dac96990df55c5094d5","datavalue":{"value":{"entity-type":"item","numeric-id":5316574,"id":"Q5316574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$88742F86-3591-486F-AA1A-EC4BC27F9330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a50c917847fe17e50a41c904e5bfccebbf9bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4673417,"id":"Q4673417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860842$0F2F4BAC-5810-4450-A2AD-E1D722E7A9A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"287ec82d5b5defbe3ffce48ecf21c7151dd8b108","datavalue":{"value":"10.1016/J.TCS.2006.08.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860842$35FDCA9D-E58A-4EA8-9D00-A20706B8DAD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8290b1cc81a5ac88134c45cedae2377723bb54f","datavalue":{"value":{"entity-type":"item","numeric-id":949170,"id":"Q949170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee46bf58db79de08f2e5442dfc34a934c57bb83","datavalue":{"value":{"amount":"+0.8909751772880554","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":"Q860842$4FDF14AF-F68C-4EED-904A-193EAF60957F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678d215209b8ff3db2f785ab3064bc31974b1ff8","datavalue":{"value":{"entity-type":"item","numeric-id":5705936,"id":"Q5705936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c917af08bfcd5e440385bb97f29320bef0229cc","datavalue":{"value":{"amount":"+0.8901892304420471","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":"Q860842$8DDF7909-AF19-4D15-AA39-500956135246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0e20e561c0a94c18d17dcbff1b8e67b357e42f","datavalue":{"value":{"entity-type":"item","numeric-id":4823138,"id":"Q4823138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32cab284342761fdd37da9d2846f54b36e30e56","datavalue":{"value":{"amount":"+0.8604064583778381","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":"Q860842$D113086C-7E5E-456F-B532-BF968DA7BE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02b1c48cfe5d78e64b8be57ce60a22acf8030c11","datavalue":{"value":{"entity-type":"item","numeric-id":5313206,"id":"Q5313206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e16d603b5b55ba7fc7e42b4f6922913db70a9107","datavalue":{"value":{"amount":"+0.8586853742599487","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":"Q860842$67DB1DC5-FE1F-4675-9382-85B4CA9EED2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dcaec69054130be72a53d68cd034f76a83ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":4809042,"id":"Q4809042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d99b962e835cce97e3df45b5816f1625cbbc1b07","datavalue":{"value":{"amount":"+0.8432871103286743","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":"Q860842$1D165530-BDA6-4453-875D-664EBADA38E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-carrying code from certified abstract interpretation and fixpoint compression","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-carrying_code_from_certified_abstract_interpretation_and_fixpoint_compression"}}}}}