{"entities":{"Q3066121":{"pageid":3076837,"ns":120,"title":"Item:Q3066121","lastrevid":58104444,"modified":"2026-04-03T19:57:39Z","type":"item","id":"Q3066121","labels":{"en":{"language":"en","value":"Abstract Certification of Global Non-interference in Rewriting Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834063"}},"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":"Q3066121$282E902D-91D7-41F7-8B8A-7C6E7DA04310","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cb7830ce86497374d184be2f5433b64dc34df6b","datavalue":{"value":{"text":"Abstract Certification of Global Non-interference in Rewriting Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066121$25CE08B8-BE42-4AF9-9C1C-7965D26935DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86a60fdc97fe04187b38364610c52c03815ac2ef","datavalue":{"value":"1312.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066121$CF050614-75CF-4D12-96CC-CD5085BDF673","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5237707a812ce92141a6c9a5e5207a2ffaa1b3d","datavalue":{"value":"10.1007/978-3-642-17071-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066121$CDA36B4E-A7B2-4AC3-BE58-DA31E644AE0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"080ac605eb7bda8ae466aca0c2139f4be1ef0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3066120,"id":"Q3066120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066121$C753B4AA-2637-4C5C-9752-3C242DF76C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066121$1918D5F0-C959-42E2-92E8-99BBF0C63708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066121$7AF284E8-A2C0-4446-A7C9-5CF612919B04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6983a432596ad956b25cf3f430f5c969b7c5bd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066117,"id":"Q3066117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066121$28E11933-9F3B-40AD-A597-7140AF56D88B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfc4d72861f87eedff7571d3d2c66f2c280fe7f5","datavalue":{"value":{"time":"+2011-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066121$620F4EEE-DB80-4DAA-B60A-B10B26F1F283","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87a3d5a0bd34f34decfd7690b03d51429875aeca","datavalue":{"value":"https://arxiv.org/abs/1006.4304","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066121$30239E0E-C890-4D3B-B59C-7C117C950581","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066121$F951B7BB-D799-44C5-A635-8B0A2DA5508F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d773f76431576a60956c507279ad959a5687181","datavalue":{"value":"5834063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066121$BE738982-A4CC-432C-887D-5358B2B11F4B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cbf573935dae40a67403b07edb96fcb4385bffeb","datavalue":{"value":"Q57978163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066121$D23DA020-E28F-495C-AC27-4EEA1351C339","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":"Q3066121$A4D0A66E-B1F9-47FF-9BB9-00DC9EEC0862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066121$4B0B743D-7F6C-424A-BA52-27BE85ABE2DE","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":"Q3066121$BA8658B6-26C3-4DA7-B51E-B6B5BF9CA097","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf9d50db515baaeaaec3794c5d5a3322549907b3","datavalue":{"value":"W1862673629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066121$9497C9C6-6CA1-43A5-B695-9D012CCFEB28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ed56ca71244e05aaac2bba4f51079d01410063","datavalue":{"value":{"entity-type":"item","numeric-id":5348916,"id":"Q5348916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066121$3BCB5F0C-114F-4EB5-8258-4FC6F193D67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d63ab7380943f273be6b1c80cdfa28a0e51b4e5","datavalue":{"value":{"entity-type":"item","numeric-id":1853040,"id":"Q1853040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066121$7B910142-FA29-48DA-A4CA-E18C99E20FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4187ec3ea62727137c93df33a1a765212354fa36","datavalue":{"value":{"entity-type":"item","numeric-id":3585058,"id":"Q3585058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066121$B790E670-1AD3-43AB-9EA2-81F277608667","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":"Q3066121$8DC293F8-2700-4595-8993-02163433E483","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":"Q3066121$A2D8BB06-2BAA-415B-9AFD-0C265AF4B3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9971a8b9ead8fccd2d646b5dfe136f3be07427a","datavalue":{"value":{"entity-type":"item","numeric-id":4134927,"id":"Q4134927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066121$08FF6681-B18C-45C1-8DCC-F99F934FE96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ca75cd59633b8517d6b4af78e4f4c9d0d07742","datavalue":{"value":{"entity-type":"item","numeric-id":5348914,"id":"Q5348914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066121$88CE91D2-1664-4D9A-A04B-540E15DCDA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9476ac1a83fef954224ee7cb1285ac824e5ebfbd","datavalue":{"value":{"entity-type":"item","numeric-id":877024,"id":"Q877024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066121$B814B649-7574-46C0-80A9-2252B5CC252C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1f1eb9c27a55d1816cdfd346942dc00242cc03","datavalue":{"value":{"entity-type":"item","numeric-id":4411972,"id":"Q4411972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066121$BAD4D2D6-F2FE-4E54-899C-1F512EE831C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983cd21deef8e8804b56013c2e7cdcc132ea1307","datavalue":{"value":{"entity-type":"item","numeric-id":2722043,"id":"Q2722043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f581df46fd199e31b3ddccd48858bcad43aea21","datavalue":{"value":{"amount":"+0.8761108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066121$22FB6121-BCAD-44B1-8108-36EC5E2B23CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c627fee83162a10b7f15ae07d2cce803aaaeed7","datavalue":{"value":{"entity-type":"item","numeric-id":3553917,"id":"Q3553917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63a4a7a70543c5bdaeb6e44c07a9158a6d502d0","datavalue":{"value":{"amount":"+0.8701363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066121$ACA5795E-44A3-41DC-97FA-0C6841E33761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca0bcb65b5468bbb13bd98ff48bab2b186bc3f0","datavalue":{"value":{"entity-type":"item","numeric-id":2703694,"id":"Q2703694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd06d46b9ad1a5d49b5fa2b09f755e5368a041f","datavalue":{"value":{"amount":"+0.8697442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066121$4BC2A0E1-F6B0-42BA-A282-66EEAE4CC022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953f8808924d93ce3881083fdfc321e5ccc4d9dc","datavalue":{"value":{"entity-type":"item","numeric-id":3025340,"id":"Q3025340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50821f4097b7f115e28878ce0611d2bcc154d901","datavalue":{"value":{"amount":"+0.8673322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066121$E84A7D34-963C-4BE9-A0A0-6114A970A9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e29f2fd55f70b23450ed98479c53a683b1ea6d","datavalue":{"value":{"entity-type":"item","numeric-id":2233502,"id":"Q2233502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419e21e50b1cd730b247923523fb091771cad620","datavalue":{"value":{"amount":"+0.86624944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066121$6469255A-5D6B-4F29-96FC-A7B0AEAC837A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62914308c0631b8c8027cd93d5a4c76e0e98147","datavalue":{"value":{"entity-type":"item","numeric-id":2945720,"id":"Q2945720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e99d1f675f552cd75d146cb0867fe61174fa27b","datavalue":{"value":{"amount":"+0.86160415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066121$7BA78982-CB99-47A9-8BA1-5C9955C08BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78211e0705ffe64b85409cb8e2f0ac3e274a403","datavalue":{"value":{"entity-type":"item","numeric-id":3452260,"id":"Q3452260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d88b1356955acbf96d892a345b87e8a662d19a","datavalue":{"value":{"amount":"+0.8591786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066121$98B54F43-CA08-4431-A908-DB660001FFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c81f8ebb2cb1f154c18d248aba470585b50f90a","datavalue":{"value":{"entity-type":"item","numeric-id":5195249,"id":"Q5195249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b509ed5af9becf384fd9c6cd778debca316418d","datavalue":{"value":{"amount":"+0.85375416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066121$9A312EBD-9960-49C2-B9C6-FF0B836ED867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1628ec72dc1491fd2d719d90b3f2daa94f9f79b9","datavalue":{"value":{"entity-type":"item","numeric-id":439858,"id":"Q439858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06acdffb4ff08a4e719be7ba48d60409695456f7","datavalue":{"value":{"amount":"+0.84826165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3066121$6B524755-84C1-410C-AC89-72A20CB27454","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3066121","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3066121"}}}}}