{"entities":{"Q2673762":{"pageid":2684505,"ns":120,"title":"Item:Q2673762","lastrevid":79194362,"modified":"2026-05-06T13:21:35Z","type":"item","id":"Q2673762","labels":{"en":{"language":"en","value":"A general language-based framework for specifying and verifying notions of opacity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7540990"}},"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":"Q2673762$6E1BF965-F662-4462-BFD5-6D0EAA5F3685","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60532c791fec62b512aa220d17b052f6ad7994a3","datavalue":{"value":{"text":"A general language-based framework for specifying and verifying notions of opacity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2673762$4A192AB7-B003-41D2-B198-BAA76FA0F6A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38de53bb309ded1b2830680eccb20ea224b034b5","datavalue":{"value":"1492.93118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673762$EF01617C-3E42-4C10-B81E-7B95F375BA5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e531e365cc978e29d5eaf95c4a4362d6f1da98b4","datavalue":{"value":{"entity-type":"item","numeric-id":2665347,"id":"Q2665347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$CDF8AD8A-2D12-4561-922F-91895C66B0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8aa9272d2137d4aa1e3142c0cc03651b0e2d9add","datavalue":{"value":{"entity-type":"item","numeric-id":2673761,"id":"Q2673761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$82F5D504-CF39-4E02-9EEE-5806B2297C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$E514DCD1-F605-4AC9-98F2-3D604FB01E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95013a4f6c4b451ec787f91e571c1c67a0e562c9","datavalue":{"value":{"entity-type":"item","numeric-id":313325,"id":"Q313325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$BB00C890-C4F4-4D45-B040-29C82BFC55CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$9EBF10CE-D48F-4531-B9C3-C65C19BDB160","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77075991782c40305711c3d33a7ecd0dd8eab84c","datavalue":{"value":{"time":"+2022-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2673762$DDEEAC95-32EB-438D-8DD3-D597565B4DE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"905c0d7c03535f8dddf96e0d2ed81979c6131a98","datavalue":{"value":"https://arxiv.org/abs/2103.10501","type":"string"},"datatype":"url"},"type":"statement","id":"Q2673762$6D70D6FB-C6E0-4E86-A4FC-660110739659","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673762$7D37C394-EDB9-416D-B831-EB2A4CA6681A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673762$C63C530D-C941-4749-B820-EF19997AD813","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a8df7f8c3288b0dc076f34a695eabad7524ae2d","datavalue":{"value":"7540990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673762$AFCEFAEF-31C6-4AE6-A52C-51916CAF8E88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934f759de0c511929363e14ae9f32dc5cdf97daa","datavalue":{"value":"opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673762$902F2854-A85B-450D-9E8E-A49C1C198AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673762$9A62B8C4-19F9-4EE5-B76B-76757D14EACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23cdfaa1878944fbd8e5cd192b3ab6b1bc591520","datavalue":{"value":"language-based opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673762$212AA713-3677-45A2-A48E-90E0401D40F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec57d37c55cfea85b492e27ac5a6b1456589036a","datavalue":{"value":"\\(K\\)-step opacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673762$DDD105F0-998F-4CC5-B18E-5C9F93ACF95C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$030B4E62-DB73-456F-8200-8B62811AC681","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":"Q2673762$EDC5DBEA-07D9-4CB0-B519-22C403AC3AC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16c95f7845737a5acf5f4a5ab19c39302920c492","datavalue":{"value":"W3136693719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673762$F37F1B9B-6481-4FE2-A2E1-802ABF59975A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3ceb705d748869ae30c1e69512788e8cac2ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5740626,"id":"Q5740626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$1F7AA31E-D173-4533-AD83-6AD1C35D36B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5146506644cf4f17f3d323dd4ae2007733a9f2","datavalue":{"value":{"entity-type":"item","numeric-id":1662539,"id":"Q1662539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$52B7EBFE-57A1-4B35-8884-4F9AE8140F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3144c21aee027b0152949b00d613ce7fe7c8c7","datavalue":{"value":{"entity-type":"item","numeric-id":2849576,"id":"Q2849576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$CA574CA7-90A6-414E-9A0C-EC64A1BF7D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$FAF58FD5-67E0-4766-ABCA-3142708F7AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cdd3bee3822a330b36d9b7173ff2f0229ea9f2","datavalue":{"value":{"entity-type":"item","numeric-id":3648711,"id":"Q3648711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$5A1556B2-4EE8-4E28-9DA1-81058BE12E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d81dfdda8dbc31e15b5299845514d0933f0719","datavalue":{"value":{"entity-type":"item","numeric-id":3623017,"id":"Q3623017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$2C9AF4EE-05ED-4F25-B19B-AEA0A00B355F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca44b0a111807ea5cb89a634874b6cc657f7ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":4978803,"id":"Q4978803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$E61E09FB-3AA2-4C1C-8A37-CED571B5580C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6ee2c953fa20021820c476cb39923c8f0c59c6","datavalue":{"value":{"entity-type":"item","numeric-id":896497,"id":"Q896497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$D1276726-6A64-4EF7-BE9E-D546CFC0EDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d6689863919efc9d2b8984e9760a2b2c07aae6","datavalue":{"value":{"entity-type":"item","numeric-id":2754157,"id":"Q2754157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$46AC70D6-46B0-4EF0-B06D-7BFD31534724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"221b39b5eb2511e3abdbe22cb2f253f38abc9ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5243063,"id":"Q5243063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$0F390B7E-2A49-4FAA-820A-CFBE2545BBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af84d8f57fbbc47b7d72323e0cac88a0d444cb4","datavalue":{"value":{"entity-type":"item","numeric-id":2208612,"id":"Q2208612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$07D16EC9-36AE-4A2C-942B-D4D8718D3FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6637e92771b4610d69f5a704a677d05d421c20ce","datavalue":{"value":{"entity-type":"item","numeric-id":716123,"id":"Q716123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$40ECC30F-6BEE-4AEF-BFBE-A2F36BB4FDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6bc570d3c91e5cea2004367f827d78e93b7402c","datavalue":{"value":{"entity-type":"item","numeric-id":1737732,"id":"Q1737732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$85BF34D4-7F46-40BD-A9F7-9B97449A61B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$81B0DD4B-D931-464A-BA54-E763E1425743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e8a53da7781e669cf8902a06caefa80eed520b1","datavalue":{"value":{"entity-type":"item","numeric-id":5352631,"id":"Q5352631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$D75EE65D-23CF-4F77-BBE1-FA2AFDEB5C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c22b03b2aa855dd0366f838b393cf8dbe82c2c","datavalue":{"value":{"entity-type":"item","numeric-id":5375641,"id":"Q5375641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$1A4843DE-3CAA-4E3B-ADFD-6AC3AAE15D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64c92fedabc88b70cdf8f87988d63e7b658d5e3","datavalue":{"value":{"entity-type":"item","numeric-id":373013,"id":"Q373013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$A4088865-CF59-4ED6-A73E-ACEB85B8830B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db5f1bac712aef32cec0ab6106e410fc182140f0","datavalue":{"value":{"entity-type":"item","numeric-id":458746,"id":"Q458746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$D4C2EB24-D262-4A26-9684-E805C120BD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98fb65c1e1c1c57f720e9dd8666934ddc0e3f335","datavalue":{"value":{"entity-type":"item","numeric-id":682359,"id":"Q682359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$1A9DBBF9-368B-48F1-8AD9-1F4F37B0FB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d27f7a1ac7f976b2c2d91a5dd3d57785f279a5","datavalue":{"value":{"entity-type":"item","numeric-id":2407182,"id":"Q2407182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$A235A73C-02B5-48A2-8493-A8EE00DDFC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb3be56c42bf1eba820d7c9ac6881ea5b027c72","datavalue":{"value":{"entity-type":"item","numeric-id":4990273,"id":"Q4990273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673762$A7134F3C-7082-4696-8D6F-4BFE2A3A1068","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87500bf7603883e13a2541731a8c4ceccfc7be1f","datavalue":{"value":"10.1007/S10626-021-00357-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673762$AD85D102-C67C-401E-B44E-E6D721D1866F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3903005b2053043c43c7f530ef193a6fe7a361","datavalue":{"value":{"entity-type":"item","numeric-id":2063098,"id":"Q2063098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0427aa2aaf9e20e2bc737fb605ff623592f9abc5","datavalue":{"value":{"amount":"+0.901459813117981","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":"Q2673762$6D8DB942-8E82-4F9D-8F78-33364C35D3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ad8fcd13c2299a0a091729db8fa9a6585c02e6","datavalue":{"value":{"entity-type":"item","numeric-id":6165326,"id":"Q6165326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c9d23c5666f19f8d883ddef718bde1ba7156a6","datavalue":{"value":{"amount":"+0.8498127460479736","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":"Q2673762$6D259580-34C9-4353-99CD-14B48B35DC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"235184d517843cb0f8515d667d67dabca1458f39","datavalue":{"value":{"entity-type":"item","numeric-id":716123,"id":"Q716123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8248fc0dc73026059b4dbb9441eaa14b75f258","datavalue":{"value":{"amount":"+0.8416741490364075","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":"Q2673762$793F6276-0DA5-4EC3-A0D5-497A79627836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf842fcf959f8773507eb38f69eda4ffd7e4a518","datavalue":{"value":{"entity-type":"item","numeric-id":2125535,"id":"Q2125535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788cbca67d7919cc57265307810a13fd54fdaf70","datavalue":{"value":{"amount":"+0.8405088782310486","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":"Q2673762$0DA91E15-9A1A-49DC-AF3E-B373D2112C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2171358758b6bc558ff4fce313d945f0db66e96","datavalue":{"value":{"entity-type":"item","numeric-id":2053901,"id":"Q2053901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef6e34d5be3690549f49d737882a6ea8c0c7a14","datavalue":{"value":{"amount":"+0.8350316882133484","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":"Q2673762$DD883243-32CF-4615-A682-BB7592412D49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general language-based framework for specifying and verifying notions of opacity","badges":[]}}}}}