{"entities":{"Q1079024":{"pageid":1089776,"ns":120,"title":"Item:Q1079024","lastrevid":69592200,"modified":"2026-04-13T08:03:43Z","type":"item","id":"Q1079024","labels":{"en":{"language":"en","value":"The INFOLOG linear tense propositional logic of events and transactions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3961015"}},"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":"Q1079024$24F8D85A-FCDE-480F-A98C-EC836A7C4C41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e8b4f233d141adbba32c7239f2d61e0450afa6c","datavalue":{"value":{"text":"The INFOLOG linear tense propositional logic of events and transactions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079024$AFC09BDE-9710-4B1F-BF10-24D914668D5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63a1a2603ebe282ffb395ce2e573e41649e18b75","datavalue":{"value":"0596.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079024$0A8BE86C-0D9E-41ED-8FBC-906CC65C4D6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f82edf6810386a703c428bc3aa400e7454f80a57","datavalue":{"value":"10.1016/0306-4379(86)90023-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079024$AAD1142E-0139-4A6F-9D26-8E86696AB1A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079024$B22F8C98-58EA-4EDF-8C4A-F4B5ACA7B7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"754d0fa1bb49600f4f02ba3ce85d71701d3732c0","datavalue":{"value":{"entity-type":"item","numeric-id":407505,"id":"Q407505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079024$3BD4EAEC-676D-4A82-95F2-C18B3378E080","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62e0251915bd7b9ecd6daf39f97f5bb27a9c612e","datavalue":{"value":{"entity-type":"item","numeric-id":82364,"id":"Q82364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079024$4F6ECBCB-3702-4803-A954-B25078F4A3D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1079024$02B404BF-A2A9-40CC-8143-400AE3EE1F47","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4cc5d768ede719328c1aeb8fcf75c148f746d020","datavalue":{"value":"The paper reports on the triggering fragment of the logic developed for information system specification by the INFOLOG project of the authors. An extended linear tense propositional logic is suggested to describe dynamic behaviour. Temporal aspects are expressed by causal rules specifying trigger/reaction relationships among events. The paper outlines related semantic, axiomatization and proof theory issues. Safety and liveness properties are also discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079024$125A6A9F-3D49-4BA3-8435-8C7576C91FDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079024$0008DCE6-4CEC-4077-987B-F36033B306CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079024$BDC90FDA-FE58-4750-9A90-86AAA923857E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079024$72C55219-0925-45CC-9C65-1662991FBCF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72e511fc6ea1b0f8778aa2dc657df2772869306d","datavalue":{"value":"3961015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079024$F43720A3-1682-4B31-97EE-AA8E418A214B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079024$47B2B71B-BE57-4E05-8784-AFB1563A591B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079024$E02672D9-5B13-47AC-AFCB-66168BD4ED7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb77669d868555263396e96c19fcae8644cbd466","datavalue":{"value":"semaphores","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079024$DDB20473-CAC2-4C63-9D61-FF8998C4998B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079024$F27EE0FA-C72A-421D-AF42-C77765664456","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":"Q1079024$650884BB-57C0-4CAD-BCFF-0837B5067B63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f505cf756364dd205b01f723b4451ba811f69b5","datavalue":{"value":"https://doi.org/10.1016/0306-4379(86)90023-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1079024$BCE99344-B3A4-4B8B-A6D0-01A3996D68DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"005811fe2e7eefbf5978cbd88d559b77413460d4","datavalue":{"value":"W1974304857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079024$C2421C49-4D5A-4F1B-8733-74CACA3DAD03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d89dde0da6dc6a1f7c5f01e68e3437782b196e","datavalue":{"value":{"entity-type":"item","numeric-id":4733438,"id":"Q4733438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f616a4cd0e31aaeeefe53e4eb60a9fda5391b03e","datavalue":{"value":{"amount":"+0.7755875587463379","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":"Q1079024$146E5EE3-B392-43C5-A63B-B228E414D74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78c49f4b4a66df2586211b7197dd5cb5fe56a26","datavalue":{"value":{"entity-type":"item","numeric-id":4694252,"id":"Q4694252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d49f50f9c8634dde2f3bf05dc811aef4a3a8bb7","datavalue":{"value":{"amount":"+0.775303840637207","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":"Q1079024$9898F280-CE3D-48A5-A774-8ABC6B09AD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68cf0f42db929e2170aba75b51484eb0b6b12875","datavalue":{"value":{"entity-type":"item","numeric-id":2987734,"id":"Q2987734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d49f50f9c8634dde2f3bf05dc811aef4a3a8bb7","datavalue":{"value":{"amount":"+0.775303840637207","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":"Q1079024$38C76DDF-506D-44E9-A25C-BCDA509712D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9c1ed37cd890d051878bc923a22a527c5e651dc","datavalue":{"value":{"entity-type":"item","numeric-id":3349971,"id":"Q3349971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fdf46468cd8da7f66f6b6709eb35764bbb85df9","datavalue":{"value":{"amount":"+0.7474634647369385","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":"Q1079024$D201AC8E-C342-42C5-8538-5A4FF1DA4499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d28b87a147de28bc2134ecb2ac2c43a15e3583","datavalue":{"value":{"entity-type":"item","numeric-id":4733377,"id":"Q4733377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac94264079f1a87a53ca3ce08db9c5c8de5f46e","datavalue":{"value":{"amount":"+0.7449629306793213","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":"Q1079024$644DE160-3AE0-4E6E-A2F0-427C7981D973","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The INFOLOG linear tense propositional logic of events and transactions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_INFOLOG_linear_tense_propositional_logic_of_events_and_transactions"}}}}}