{"entities":{"Q1878717":{"pageid":1889459,"ns":120,"title":"Item:Q1878717","lastrevid":69065217,"modified":"2026-04-13T04:19:27Z","type":"item","id":"Q1878717","labels":{"en":{"language":"en","value":"Rule formats for compositional non-interference properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2099291"}},"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":"Q1878717$FAA9687B-AB03-446D-AF91-6CEA76F637BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c30aa31b994152653ee82bd813c4e18542c49ad","datavalue":{"value":{"text":"Rule formats for compositional non-interference properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1878717$E756D8A6-5D17-477B-82E2-6366E7E70D9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee2ec50d9a7397973f16e7918fc47695b1f62692","datavalue":{"value":"1072.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878717$FB93AFB1-F1D6-45FA-801B-467D77E0B581","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$95D06BF6-5E48-41C1-8B66-51E58C2AD9E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$E6D985EB-3474-4929-AFC1-53536ADB4624","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2131ab0fa6a717351ae1e3ad21854c6ca6be241","datavalue":{"value":{"time":"+2004-09-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":"Q1878717$0DB5DBCD-5365-4B2F-BC79-B5F16E27035E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878717$B6C8B54C-FDFD-4411-A477-46A294D89EF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34200ac52980e7c1364c16d01f0ef28688f1ae3a","datavalue":{"value":"2099291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878717$388E550A-65FA-44F4-9E96-CAF00B8E917E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"264859d2a4a9cc3a096abd92d644cf5b6f41dc26","datavalue":{"value":"transition rule formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878717$A133DD0D-8785-473C-BAA0-827514449E90","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":"Q1878717$97703E1D-6172-42C2-B929-3564B18F2060","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2106f5c59fccefc9386471067ae20954e7719ce0","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2004.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1878717$238DC417-EE1E-46F3-AA3D-C524FCE4AEEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8f534aaa7ddf332b83dca1b44c613423fc343e8","datavalue":{"value":"W2081443964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878717$5EA4D1C0-E33C-4113-8915-4DDA7EA6126E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$0E043331-BA40-41D1-BCBF-DBF90CD6C116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$BAC8D70F-26E3-4D7B-9734-F068022A334C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5df2fb86edcc40277014fb6a7645d6ed57c553","datavalue":{"value":{"entity-type":"item","numeric-id":673123,"id":"Q673123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$38ADD2B4-CC00-4C97-89A5-01E735ECB28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d6cc6084a4dc3d6eb9546c2fe3b9fdd81597f1","datavalue":{"value":{"entity-type":"item","numeric-id":3079920,"id":"Q3079920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$2D5D113B-A243-4DCE-86B3-5368D6F60D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf61b398b4d1e5b7f817ae09e40886a07882072","datavalue":{"value":{"entity-type":"item","numeric-id":4414391,"id":"Q4414391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$F6D14262-2996-4DEB-B8D1-EB4EE14B1B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f388a98925654a700ffc4f0faa647dd7837edf","datavalue":{"value":{"entity-type":"item","numeric-id":5897373,"id":"Q5897373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$A190A384-6643-483C-8310-5ECCE7895DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58740dc78be195735a0178b5f82807d6baa3630","datavalue":{"value":{"entity-type":"item","numeric-id":4798029,"id":"Q4798029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$135F64DF-71BE-425B-810A-F1F47B407B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f61dbae4a30f08ddf795a4f68494f79ad4122a","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$9F89CC6D-659B-458B-9855-6D3F1FFB308C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$EF1E214A-47BC-4EE1-A14C-5685CB5A6DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$634F760F-86AE-44E7-9E07-1C0393D47711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$85188E28-4387-4C1B-8823-605A99D0E0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$78C6AA65-3D33-44F2-9E0D-F3AA8451B9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ce33e7b79de385c7b6906025ca480ceb20c474","datavalue":{"value":{"entity-type":"item","numeric-id":826053,"id":"Q826053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$A9096F46-FC54-4F63-B972-6B07375F4B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9535131d59e1fffd9bb758c270de83782f13b139","datavalue":{"value":{"entity-type":"item","numeric-id":3999200,"id":"Q3999200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$EC9021BB-AB96-466B-8916-8EB5DD366226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$8E7F3779-F632-49D0-9D53-2782296431D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd6164a6a8802aed1d13f2fc950eddaf27890d4","datavalue":{"value":{"entity-type":"item","numeric-id":4417889,"id":"Q4417889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$2F5ADD39-699B-4EF4-ADFD-05D70C70F225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d0fcbb5e6356255f5fef09569ca437cfc21d66","datavalue":{"value":{"entity-type":"item","numeric-id":1854563,"id":"Q1854563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$5275F648-C518-4803-89FC-09472B17763B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13020f5b89b5e428e4485847f99d0bec0bc65558","datavalue":{"value":{"entity-type":"item","numeric-id":1391788,"id":"Q1391788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878717$76BE2EC5-B6C6-415C-8802-53B7BE699BFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"425afc31ceb9a001883804a509b1d4538a082c94","datavalue":{"value":"10.1016/J.JLAP.2004.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878717$77F6D916-9A8E-4EAC-8255-3739FF0ADFB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"402eaad2d04e03dec78e7738e393659b166ed249","datavalue":{"value":{"entity-type":"item","numeric-id":4417889,"id":"Q4417889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa2a3dc1f49087c28b43f76bb0d5ef82567f3593","datavalue":{"value":{"amount":"+0.9151057004928588","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":"Q1878717$7D793DCB-647A-46BF-AFA5-B1900BFC0414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49713591421d542ac856c60647732701ed74a86","datavalue":{"value":{"entity-type":"item","numeric-id":4916055,"id":"Q4916055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d1d621a6120c2962c906dcc4d4e123db38ee1b","datavalue":{"value":{"amount":"+0.7351478338241577","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":"Q1878717$6214D995-65B3-4E8F-853D-CA81AC392299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe62281b7c7b2e69a2ecf0ea196a294d704dee13","datavalue":{"value":{"entity-type":"item","numeric-id":5166764,"id":"Q5166764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83741be05c62382d98d05554d8111ba3a7700764","datavalue":{"value":{"amount":"+0.7295175790786743","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":"Q1878717$8F311DD9-5428-4972-A9C8-0EF1AD9E4DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37bbc03fa1d1c94f8ea82a1ebe0093db96cd9db","datavalue":{"value":{"entity-type":"item","numeric-id":5712299,"id":"Q5712299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6e7fa8e628030b4b0e45f00f93d2a3a951dba5","datavalue":{"value":{"amount":"+0.728851854801178","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":"Q1878717$A82DF85F-2B06-41FC-BB43-013C9B9B2DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"386896d0f912127c1b7a6b72918c2d6a3609f395","datavalue":{"value":{"entity-type":"item","numeric-id":5712327,"id":"Q5712327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b66b233caf82d10c48a1bf21b71de355a55d88","datavalue":{"value":{"amount":"+0.7271726727485657","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":"Q1878717$BB1BC1A2-B4A1-4B54-8B95-4CBE16BD2B0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rule formats for compositional non-interference properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rule_formats_for_compositional_non-interference_properties"}}}}}