{"entities":{"Q1749116":{"pageid":1759858,"ns":120,"title":"Item:Q1749116","lastrevid":69128445,"modified":"2026-04-13T04:57:56Z","type":"item","id":"Q1749116","labels":{"en":{"language":"en","value":"Fully abstract trace semantics for protected module architectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868741"}},"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":"Q1749116$1A71C87C-6D02-4300-84C5-2340D3CA7BF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90ab0b200b86e67b08a12678a5547ae8c6ac6d34","datavalue":{"value":{"text":"Fully abstract trace semantics for protected module architectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749116$70AF7535-3546-476E-B48B-EDA88E998212","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7b34fc33f56ab9d7b010f12244ff6dbd4c65f00","datavalue":{"value":"1387.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749116$0E40E654-71FE-4BB0-A3DF-8D3743C32318","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7877379dab3b329672de23564d8b8cf0e1abd0f","datavalue":{"value":{"entity-type":"item","numeric-id":1749115,"id":"Q1749115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$B9EE6C54-C658-4272-B220-FC25C607AF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9cc5cabec05078a7abde982478f0085b75b93b8","datavalue":{"value":{"entity-type":"item","numeric-id":436386,"id":"Q436386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$7543BA6F-BAAE-4333-B4DB-DF588999C037","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$CCEFB476-ECAB-4882-A931-3B587DA3A85D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ea136133176b0e732e96c018d3bbea7a42c842e","datavalue":{"value":{"time":"+2018-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749116$00969F32-F136-4F6C-AD8A-72030801B0B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749116$41560864-198F-4CBF-80C6-E649598309A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749116$8919EEB8-30A6-4683-9814-154D2DC11FD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"644c0ef2114e7ebb46ba3fc7bcc5efa5325dbf5a","datavalue":{"value":"6868741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749116$BB1D274E-2886-4040-88C4-DB8A673411FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d452d330abc5e5a41d60ea6b343eecb6218bb74b","datavalue":{"value":"fully abstract semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749116$622CAC64-E645-4B75-B7B6-9FEF4A88A008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749116$79E83572-C3BD-477B-8186-9E5AE2A3E027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c074c5e566188502e6ad2dbaf9bd1035c19eec69","datavalue":{"value":"untyped assembly language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749116$9DFC698A-958E-4FE8-A1E8-6232AA82F751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1acbee011609a1309cb9b65088e92cd6f5fbb012","datavalue":{"value":"protected modules architectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749116$D62CECEC-F532-4054-A429-9CACDE502ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749116$81AB67CB-C34B-41A2-A29C-6C322F8631E4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c2f2ac3057d2fa6b029c9f587ef99cf1ed36456","datavalue":{"value":{"entity-type":"item","numeric-id":30913,"id":"Q30913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$0BAC4813-EBA9-455A-8B7D-F3DFCEABF87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf7b9045e92f6ee80f122e92ac0136de70fcf2e","datavalue":{"value":{"entity-type":"item","numeric-id":36079,"id":"Q36079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$AF62A8F7-C427-467C-82E6-A05A8B453710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f57e85b69dfd6860ac1d594aa05c44eec7cf1da6","datavalue":{"value":{"entity-type":"item","numeric-id":36080,"id":"Q36080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$385DDAA9-FCDB-4B82-8051-0053CE5BBA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8400ab86b306a4378eebf43133a98098c8e98ab","datavalue":{"value":{"entity-type":"item","numeric-id":46220,"id":"Q46220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$18D40A70-7F07-4B56-8487-4DF81ED19392","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":"Q1749116$04D2780B-564A-4F11-B339-6097C7A7A4E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"939f40777ae8088ae0bc3f7e972f72c32e4e6827","datavalue":{"value":"https://doi.org/10.1016/j.cl.2015.03.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749116$EF4C4957-CB97-4DB8-98A5-7CF4BA9B1938","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1db52a9e2462b2f2cb4923cec5e9ef5ae955fb1","datavalue":{"value":"W2079755135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749116$58D21660-D1FF-4B0D-B174-32C8360EC83E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5eb51c5456ae3585313d725a7def586690a7bc9","datavalue":{"value":{"entity-type":"item","numeric-id":5176993,"id":"Q5176993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$3FB8E68F-0D7C-4274-8164-1BA2E795A990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"166b8a531ce2889c5dec5aa73b5d33bff2a71da5","datavalue":{"value":{"entity-type":"item","numeric-id":1749116,"id":"Q1749116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$5B4A7A65-DE98-4FBC-BE03-2EA3E4D7D464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ddc45ffb2c8e40e8e4acb1d93ee6d50aa952c7","datavalue":{"value":{"entity-type":"item","numeric-id":2852100,"id":"Q2852100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$075FA3D5-29CB-4CD6-9B16-FE9BE729652D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b0143bb17c3271918d22cb266df388a036cbf5a","datavalue":{"value":{"entity-type":"item","numeric-id":5316580,"id":"Q5316580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$0E9B4B80-2EBF-42D2-BFC7-EC93E1027A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d553774a7813830f89c48ae889cf479cef63769","datavalue":{"value":{"entity-type":"item","numeric-id":2864154,"id":"Q2864154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$EE4186F0-502A-4363-B69C-304D724594BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$5F53E8A7-0DCA-4A13-821A-8A1C95A93E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43eb2c43d326a029ed0ae4e6800e57491b8620dc","datavalue":{"value":{"entity-type":"item","numeric-id":2847820,"id":"Q2847820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$DED5EBA6-90FC-4B2C-A30C-9255C0E182D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$E061B897-403B-4447-A852-6EF091B8310E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb967aae2c165d79360632a25231f9a457be2572","datavalue":{"value":{"entity-type":"item","numeric-id":5705882,"id":"Q5705882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$AA42ED75-72C3-48E7-B878-A1DC21542A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57da3a4114f17ade1acb05c0e3028092ab107316","datavalue":{"value":{"entity-type":"item","numeric-id":4172907,"id":"Q4172907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$88534286-39C2-4785-BE55-FFD361C2DC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4385740d7b36e16bac5817543ff7ccba2a459b5c","datavalue":{"value":{"entity-type":"item","numeric-id":3178283,"id":"Q3178283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$BAB53C06-F04D-4645-BA8E-3B5873FB4F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$2B525DEF-97C4-42C8-BA88-747EB725B95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05417919433e4d5ed4f85fc6474f5b255b9fe668","datavalue":{"value":{"entity-type":"item","numeric-id":2936808,"id":"Q2936808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$D5E0788D-E0D8-4420-A213-6670D0B8AF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83074479990dad65c5e60818ba761a1f044aaadf","datavalue":{"value":{"entity-type":"item","numeric-id":5408538,"id":"Q5408538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$0968743F-2545-483F-AB4C-DF27725AAD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfda309eb42a5b38774d05c4351d124f0ce0084","datavalue":{"value":{"entity-type":"item","numeric-id":2942857,"id":"Q2942857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$45067579-2204-4639-A493-E8F2F70788E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf06957483d96f85ec0bb9bf6a5c5b9186a884d","datavalue":{"value":{"entity-type":"item","numeric-id":2931805,"id":"Q2931805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$4284443A-C6AA-4C9C-9513-A403019C18E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d191295c7db3831683f4225028784f92743a17","datavalue":{"value":{"entity-type":"item","numeric-id":557787,"id":"Q557787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749116$837475D2-0216-4F29-ADAD-D56A7394E907","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15a4cf832500a5a164859b52bbcf2e9a31731f4e","datavalue":{"value":"10.1016/J.CL.2015.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749116$4552D7B7-26EB-474F-8321-49459C2D71AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bff9bfb29ac94a9ad3af38146726e8f5ea9011d","datavalue":{"value":{"entity-type":"item","numeric-id":2830026,"id":"Q2830026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce239871f7696bae3a1259c2f0a2a43ef05c4831","datavalue":{"value":{"amount":"+0.7090429663658142","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":"Q1749116$FEE93CDB-4E38-4C81-A648-8B197A485DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2262586324d166b13858ad18a09d6fc75c420af","datavalue":{"value":{"entity-type":"item","numeric-id":1694447,"id":"Q1694447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e15899014324fdfb3ec8821e2dc0857b9d40c2","datavalue":{"value":{"amount":"+0.6975702047348022","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":"Q1749116$6156F4EE-81B3-4650-B07A-5F965204FD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbca47c44e58f41f18b1e8bc78bf8b7d324cb77","datavalue":{"value":{"entity-type":"item","numeric-id":4828445,"id":"Q4828445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49238ecc13ef44773938a23c686bc3b367e93296","datavalue":{"value":{"amount":"+0.6897290945053101","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":"Q1749116$D34C3CD1-C049-4CC1-9BF3-A578E86D5382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fbf854d645657474aee93ef96889e923bb7a892","datavalue":{"value":{"entity-type":"item","numeric-id":4532092,"id":"Q4532092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52543139b2e8d9cca71eee68747f568b24077fc","datavalue":{"value":{"amount":"+0.6887518167495728","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":"Q1749116$C9EFE877-7F29-4FF9-9D0A-22E0B3732FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c692e4c37c0674c33839cb0a8a1ab50912d2566","datavalue":{"value":{"entity-type":"item","numeric-id":4414379,"id":"Q4414379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f7d025993edf943f13d7c7f3a931c35f65ac63d","datavalue":{"value":{"amount":"+0.6854049563407898","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":"Q1749116$C6048F96-9E2C-4D48-AC75-D5A2D76C51FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fully abstract trace semantics for protected module architectures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fully_abstract_trace_semantics_for_protected_module_architectures"}}}}}