{"entities":{"Q685416":{"pageid":687265,"ns":120,"title":"Item:Q685416","lastrevid":63459987,"modified":"2026-04-11T13:18:26Z","type":"item","id":"Q685416","labels":{"en":{"language":"en","value":"A logical view of composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417353"}},"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":"Q685416$4FC683D1-233B-4672-B571-82FAA504CBB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30e39a6095a626de4c0ddcfc237d9890a165d618","datavalue":{"value":{"text":"A logical view of composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685416$3D190A66-633F-4A51-A711-DEDB9334B962","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"541f83ebc20b90bb7cc52e4892dd7596d1530de7","datavalue":{"value":"0778.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685416$5E6E1EE6-BDF9-4502-81B5-0EC48B3EE61E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d45e3e5282a1a810999c6e810ecf95615ad0057","datavalue":{"value":"10.1016/0304-3975(93)90151-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685416$4D4CF5B4-7C7D-411B-9960-187D24507634","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7720f013cde2512621480147576e51273a4c701","datavalue":{"value":{"entity-type":"item","numeric-id":265786,"id":"Q265786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$B5DB230B-B1C4-47E4-BDAE-5B5962299792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$351CE0CB-C951-419F-8F09-6027DA034DD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$477763FD-A2F1-42C4-849C-C4B9FF5FC4E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a626d589150434ddedb6dea454b02c574516fd1d","datavalue":{"value":{"time":"+1994-01-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":"Q685416$8011540F-597D-4CAC-9E0E-EB43392EEC19","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"044a4b0b6eecabd8a71828e4c4d9cf27dbb37859","datavalue":{"value":"We define two logics of safety specifications for reactive systems. The logics provide a setting for the study of composition rules. The two logics arise naturally from extant specification approaches; one of the logics is intuitionistic, while the other one is linear.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685416$905B2AB7-3BEF-4209-8BD0-CCF67CFD5ED1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685416$D6F84548-2CDE-49FD-9B40-01D1264A1FA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10b7eb5b074fee9accc655e66cd27e0ecc8a2d6e","datavalue":{"value":"417353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685416$966BC7D3-EB6D-441C-AA71-C544DC602412","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q685416$2B5B28B8-E881-4441-A54D-AEB1B9B8EABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q685416$9560C4EB-D854-4D74-B13C-A83861501AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb63acc7a020cebe7cce47165c61b912671493ec","datavalue":{"value":"modular specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q685416$BF929C44-9F0A-455D-A2F7-69D46DC11227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07787a1cd26c789140f5c3150ac09bb65f07f7","datavalue":{"value":"safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q685416$53A6262A-CF91-401E-A3B7-BC819340A0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685416$A840F5FF-964D-4DED-A574-FF782AAADB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685416$CC0650C2-EC3A-4CFD-8A88-605AEA20B91D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"09bdad230f5ccd9ff7cc035f62c9c13c3c3e48d2","datavalue":{"value":{"entity-type":"item","numeric-id":939398,"id":"Q939398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$667F6E2E-8975-46B0-8A85-6F6948C533E7","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":"Q685416$6E2D89B7-6B0B-44D3-982E-AEEC80A3F18A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36197f8fd279b619e4ed6eeb98e09a53a656e7","datavalue":{"value":{"entity-type":"item","numeric-id":4187288,"id":"Q4187288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$4D6A6AC3-F3E3-4D95-9CDF-181E6288B029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$1C7E945B-3682-48FF-9D4E-0F3564137954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c5d69077a040fca25f8fdb07add276ee88a0b6","datavalue":{"value":{"entity-type":"item","numeric-id":4279244,"id":"Q4279244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$BE612298-3275-4493-A0BA-0C8C0E49813C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$EF67B323-9AE2-41C4-826B-E3535842E646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$D80C6857-9B10-402C-A9CC-5BC8C81DD4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$EE01E4B0-148D-4601-9341-30D560BEF756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$6030B91B-648C-4C1A-BCE7-2B2028B0902A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$B7DD80B8-E8CE-4BCA-8093-EDF3F98DB56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$517F1A1E-20BB-49A1-ACCF-D90A4A7CC8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$B1ECE7E6-471B-4FC9-A6DD-3D7EE5E60F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66487668f68853a91db02532866b3d5fad761668","datavalue":{"value":{"entity-type":"item","numeric-id":3794154,"id":"Q3794154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$ABF1F83A-C88F-4115-B1BB-5070B7612B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$5B331C1F-7CCF-4390-8F0B-6CFB7376CD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$6E209B21-81E4-44BD-813F-58759BE27499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f986207002186e105bff24656b4fdf85fa52ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4713398,"id":"Q4713398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$8E25223C-85E6-40A5-A595-63E5B0D81B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$47DFC46B-7FBA-462C-9FA2-B7AF637B2CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$6437FE25-C401-48F5-A9AA-C2FD751C6D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$0AC15EAD-68DE-4A13-B241-BAD5D8BD8132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d925545028cebbe906f88a63611519e302be1c5","datavalue":{"value":{"entity-type":"item","numeric-id":3709867,"id":"Q3709867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$6FEF69B6-6F25-485E-A116-57380CEE2660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685416$1BE086F2-65AF-4E13-A956-8925973C0FB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2ec6e075ac75dcb17d40df328651fd44e9e0cdb","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90151-i","type":"string"},"datatype":"url"},"type":"statement","id":"Q685416$1BF911E0-816E-4C3E-A6D9-A001CEDCECBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"858ca57d55f794c2f6c6c4fbd71d991b18548c0b","datavalue":{"value":"W2080942132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685416$45ACDBB0-AB5A-4594-AF74-539C2688FF55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e5f41365c5d9b350f6af69bb3a8ef9e0cc0b6b","datavalue":{"value":{"entity-type":"item","numeric-id":3569039,"id":"Q3569039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a9d03966bff4f36b299dcf16a6ff0b774e55ba","datavalue":{"value":{"amount":"+0.8398017287254333","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":"Q685416$49AE1A42-97BB-4951-9F91-62770A59FEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60afaf33cfae45b4e4426f23eb3b7355e4bea9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738308,"id":"Q4738308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862016ba3cfe6442e3bfffbde4d089e4aab76d62","datavalue":{"value":{"amount":"+0.7706728577613831","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":"Q685416$6BCA7D92-7494-4F33-87DF-DFF5FE51DAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa606853d64dbd06a1a39c12eaf1887f1356cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":4221300,"id":"Q4221300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d6b058ca13619455cce6aecc365ccc2971f751","datavalue":{"value":{"amount":"+0.767545223236084","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":"Q685416$998C84D3-11BD-4E4C-81EF-B1A89B64006D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cfe93acf2145a4ac4cd145762451a4d3b1403c3","datavalue":{"value":{"entity-type":"item","numeric-id":3599086,"id":"Q3599086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc4211e995bc6fb1b1b0cdce598e4d45e7302b0","datavalue":{"value":{"amount":"+0.7607120871543884","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":"Q685416$903A8D7B-B385-4395-A131-9617C0E51A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b2382953ab4f7c2255d42b7d43e5bde4378a2e","datavalue":{"value":{"entity-type":"item","numeric-id":1586168,"id":"Q1586168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ef04e24f2a39e1b7b39c235fbc5621d6bced82","datavalue":{"value":{"amount":"+0.7486031651496887","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":"Q685416$A758EEBF-7E82-47EB-BF75-E3FAFBA0F478","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical view of composition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_view_of_composition"}}}}}