{"entities":{"Q997991":{"pageid":999839,"ns":120,"title":"Item:Q997991","lastrevid":65890431,"modified":"2026-04-12T06:04:29Z","type":"item","id":"Q997991","labels":{"en":{"language":"en","value":"Typing noninterference for reactive programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5178536"}},"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":"Q997991$3D302236-335C-44C9-893E-3FEF15EB3106","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4932c8c8dee5c3289c073179baef6e322aead5e0","datavalue":{"value":{"text":"Typing noninterference for reactive programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q997991$459E4F66-E379-4FDD-B2CC-037DB69382C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a58dd3b5597ac5333c95b4a1589f61451f62ebeb","datavalue":{"value":"1119.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997991$B35A92DC-2C4C-4DA0-9382-7D0B64662D60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"983a1c3e016f0b60c48e13c265b33041bcefb540","datavalue":{"value":{"entity-type":"item","numeric-id":997990,"id":"Q997990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$1D7A8ED7-9703-4F3D-986B-9BD5C320B769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd217ce1412a85115d044de2c17df9698399a47","datavalue":{"value":{"entity-type":"item","numeric-id":685357,"id":"Q685357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$6E0568B4-FBAB-4EDE-B1AB-EFA9ACA45B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95f1f23f51d4a1ac9b264ee3b0678f8bce0c8fd1","datavalue":{"value":{"entity-type":"item","numeric-id":315295,"id":"Q315295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$44870DB0-D7FF-4C91-B2C3-7722452087BC","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":"Q997991$75323257-C36B-4B43-BC91-7D1EF8349F4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afb98c4ec1048abba6e7f701413ea5fbc62888f9","datavalue":{"value":{"time":"+2007-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q997991$74D2E7B5-2E35-4742-82B9-ADBF282EA777","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997991$991E7BE8-B1BE-4986-B234-5B18548D6544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997991$2744A934-1EEC-4485-ABB8-671637ADA022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997991$6B7CA436-978B-45C4-B290-835679BD1587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997991$48BEF9E3-0A23-472C-A721-AA29F8C9A673","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42f7855bafd102d90ba74cfaf277cb7f3ad6f500","datavalue":{"value":"5178536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997991$930066C7-83C6-4750-BC03-D586F398F6D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63ab7a22eab8aed93a407a708b3197a291d2bf6","datavalue":{"value":"reactive programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q997991$D44C6CC0-886E-4B8D-877A-2BB7890FCC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61870c981b19bcee212c9c2ebab0264994cbe384","datavalue":{"value":"noninterference","type":"string"},"datatype":"string"},"type":"statement","id":"Q997991$18637D69-A918-4B1D-80F0-92BECC4FA0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q997991$CBB52935-A519-43EB-84DA-067F1C0EFCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q997991$17F3B70D-F3BC-4E49-BC72-668FC0175430","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28ccc37db0f0a3223b380e7a88fe8bd0020cc227","datavalue":{"value":{"entity-type":"item","numeric-id":14335,"id":"Q14335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$643CF83E-E233-4B8B-8B58-77AC7901B4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"422bfa190ccd9f0a1e60fd85267772495a12f889","datavalue":{"value":{"entity-type":"item","numeric-id":20973,"id":"Q20973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$3E910510-FCD2-41C9-9B2E-26F6FB68806D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$2548EB80-8F82-4ED0-B771-577E3F6CD14B","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":"Q997991$A164C927-79F6-4981-A90F-51354FE10039","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b32a6f7732cb00ef71f0faa97051ea35fda1713","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2007.02.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q997991$6B8D62C2-5CDB-461E-B158-6DCB744E0F3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"700728f42daabe5c32971b9dafbeedf84be171e5","datavalue":{"value":"W1985725561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997991$EC2800CB-89CF-4E87-8037-033DB4D32431","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0dbcf0b939e6f2c5c1ce50532e662090299e78","datavalue":{"value":{"entity-type":"item","numeric-id":5178841,"id":"Q5178841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$6E9F59D1-D56E-4280-A2D3-1A6DB3FB70E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e918df75fdd3313aa5970f212c9ceacfa373f61f","datavalue":{"value":{"entity-type":"item","numeric-id":5897768,"id":"Q5897768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$189654D3-EBCC-4A68-B98C-5AA1DF10C586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3307cf977b912bfd19bcca65cd9bbb57ad9e4ef9","datavalue":{"value":{"entity-type":"item","numeric-id":997991,"id":"Q997991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$5FF5DBB2-45B7-479F-8285-EFAC7BB45983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89d89efd3f7b5d5c39e70b326bb13d56477b0f5","datavalue":{"value":{"entity-type":"item","numeric-id":2852061,"id":"Q2852061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$84E35557-9C55-49A7-9F8C-37EBD46E86ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8afcee3400492a511539d10e5b55f7c779c5ffaf","datavalue":{"value":{"entity-type":"item","numeric-id":5311498,"id":"Q5311498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$E9C1C37C-0D25-4DE5-BA44-D00FB9D804E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$C18255DB-AA33-464D-80F5-980764FDF6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b369a81af4c62721333eef666adb1eccb4713b7","datavalue":{"value":{"entity-type":"item","numeric-id":5308701,"id":"Q5308701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$8B308831-71E9-44EA-B87B-389A46BB46C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5551d8a11a95169ab018d122108474ae66873f","datavalue":{"value":{"entity-type":"item","numeric-id":4535032,"id":"Q4535032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$ADC8FBC6-08B6-4409-B1D9-0ACCD27C131B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6f65a97c1b0d6804e5e7a90e14e1f990f42e09","datavalue":{"value":{"entity-type":"item","numeric-id":1603688,"id":"Q1603688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$A2A2DB55-D37A-4115-9C74-E2A6887EA65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de700336e555579490af87813e35cbc5cd3fe6f6","datavalue":{"value":{"entity-type":"item","numeric-id":5178900,"id":"Q5178900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997991$25B6E8A0-5F34-4B6E-AAB7-40ABF7FD6AF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d42936424313eef29bfe6e8f5566c2209e12d473","datavalue":{"value":"10.1016/J.JLAP.2007.02.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997991$3329E21E-C578-4AD0-8B58-9680ED76F8D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7cccd3e8497fc6cb2d0f630d176e4663d51ca48","datavalue":{"value":{"entity-type":"item","numeric-id":2830033,"id":"Q2830033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0aa2cd234e69f0b3c79bdd6351d0214ba3e6f4","datavalue":{"value":{"amount":"+0.8639652132987976","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":"Q997991$B85E921C-3B93-4FB8-A2BF-512B610DEAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88b49a54dd50e5c1b09656907ea0e3acf258dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4535032,"id":"Q4535032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37713e52d06754755b087c01eeac577abef801d2","datavalue":{"value":{"amount":"+0.8323457837104797","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":"Q997991$6D9B4959-1F3E-4690-8E24-6924175AA806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db0c93eaa6e80b4e4962ba277c85014e8c7f52e0","datavalue":{"value":{"entity-type":"item","numeric-id":1603688,"id":"Q1603688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c7e61ea1396cad4906faaee27fb21b38b398e2","datavalue":{"value":{"amount":"+0.8151077032089233","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":"Q997991$15D15D0F-509F-4F6A-97CF-586C78CBA2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d1585d2763b36edcd8400e0923cfdc142c6ad9","datavalue":{"value":{"entity-type":"item","numeric-id":1772311,"id":"Q1772311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e137c6f04672d0bea9f502382d3b2c3dde7215f5","datavalue":{"value":{"amount":"+0.786074697971344","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":"Q997991$5AD7600C-FB60-4841-A19F-1E06A860D06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de636f508bbfc51f0cef38b5f56912694cd1bd34","datavalue":{"value":{"entity-type":"item","numeric-id":5394792,"id":"Q5394792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6768dcabdcf766bdff779507451730a9e90bf09a","datavalue":{"value":{"amount":"+0.7793568968772888","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":"Q997991$6E17B7C0-DD3B-4509-9D90-48D002BAD509","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Typing noninterference for reactive programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Typing_noninterference_for_reactive_programs"}}}}}