{"entities":{"Q1863748":{"pageid":1874490,"ns":120,"title":"Item:Q1863748","lastrevid":69058023,"modified":"2026-04-13T04:14:07Z","type":"item","id":"Q1863748","labels":{"en":{"language":"en","value":"Linear, branching time and joint closure semantics for temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1880391"}},"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":"Q1863748$296B94C6-3DA2-49BC-8166-8A5309CC5644","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"076602c4d183f5e0062e26897970539eb9f3ba59","datavalue":{"value":{"text":"Linear, branching time and joint closure semantics for temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1863748$B5E2570C-47D5-49D9-A13D-E22AE3D95189","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a2aa49caceddd2703289f906b78e350eb06d986","datavalue":{"value":"1018.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863748$91CBB66F-8A8A-41EA-A55C-0CCDF43A7191","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"876c072c182f3e4e700df8cbb034d408801bd58c","datavalue":{"value":"10.1023/A:1019999621456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863748$C90DDA71-3053-415A-80B4-98325B57CA0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2492fb048985487759722386274eb78f14704a1","datavalue":{"value":{"entity-type":"item","numeric-id":679333,"id":"Q679333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863748$40760D6F-2D31-4B8F-8D2F-D3ECE2654645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30cd23dea699838e8e1a8195d9ff152899c9e8c3","datavalue":{"value":{"entity-type":"item","numeric-id":206623,"id":"Q206623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863748$414AE0FF-DDD8-449B-9117-A83D28A83216","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863748$CF4B5E52-1016-45FF-8DAE-B9516FA5C7A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"585d8400e4286d8eef8a207a8abbdf1f1910e204","datavalue":{"value":{"time":"+2003-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1863748$14955B3F-62D3-4CAE-82BE-4AAB42D98AD0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"819de234f6bbd449842d0a673f8b14ef9eab8cfc","datavalue":{"value":"An approach to temporal logic, based on so-called joint closure models, is presented. The relation between this approach and linear and branching time models is discussed. Using a universal algebraic construction based on notions from category theory, it is shown that a set of linear models can be merged to a unique branching time model. Logical properties of the described algebraic constructions are studied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863748$43A1DD9A-9E1A-4A02-805A-1CF8F4A7CE62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863748$EC332CC6-C7A7-4B19-B5AA-A8EFD55F107F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f7b5d9c50e96b8c73e1dac0bbef80bae427348d","datavalue":{"value":"1880391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863748$9832A323-6683-4352-AD47-AEE202409991","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863748$9E065E16-80F5-49A7-92B5-0B2E7A4CF204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863748$5BD6FCB9-FD6C-48D8-A64B-1C1611B92492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863748$6BF2817E-0BE4-4C36-983A-84663618021F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2789cab9c2f2f0328c756b6eac7833e30c19359","datavalue":{"value":"joint closure models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863748$927682C2-52E0-4664-B7CB-238B3B03FE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863748$6B4CED55-F23D-4DCD-B6C3-9FA11A94FBE3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c82436212510eb3fd57a05c9debac7e41dff5f00","datavalue":{"value":{"entity-type":"item","numeric-id":226578,"id":"Q226578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863748$14EF35CE-CF84-42CD-BCAB-D0CDC226E94B","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":"Q1863748$AB1299BB-B5E3-47F8-9247-49309856747E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0aee1d43303115c2dee1fa1e93fe5545d486c1a","datavalue":{"value":"https://doi.org/10.1023/a:1019999621456","type":"string"},"datatype":"url"},"type":"statement","id":"Q1863748$BFE35758-1F3C-45A0-9287-A2278C5F615D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a7cc0f90a8efb1a52f3a57cbaa5db3f93132f96","datavalue":{"value":"W1526188231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863748$C40F5B4B-A47F-4D87-9153-953210460002","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4173198d3c9b3be548ec242188f2e17f77b2b097","datavalue":{"value":{"entity-type":"item","numeric-id":3442402,"id":"Q3442402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71dbb2826d9e15e2bf14e27980e8253ef3b6774e","datavalue":{"value":{"amount":"+0.9239682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1863748$DF150323-528E-4CB8-9115-8E9BC0B75915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e71cd310c7f141aaeb73ba643e5a64bd8d254a9","datavalue":{"value":{"amount":"+0.919376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1863748$03A2592C-7BCE-49B3-8265-48F9587E5EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25cf76aaabcb9e9e603cd9a786480d9de11efd7","datavalue":{"value":{"entity-type":"item","numeric-id":3343431,"id":"Q3343431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd08f018a1519d7f01cf4bcfbdd1daae21ea593","datavalue":{"value":{"amount":"+0.91589355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1863748$38BD872C-8490-4467-BF85-119273AE6F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cea97e0c537744a510f3a938610fe5c24519ee5","datavalue":{"value":{"entity-type":"item","numeric-id":1768798,"id":"Q1768798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa739787020b40fe8614272ec3d007ee812f50ba","datavalue":{"value":{"amount":"+0.91307867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1863748$62E30502-C930-467E-88B5-EB1093C822B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7910f77ee4541f2d13ec688e3a4625b68d0812af","datavalue":{"value":{"entity-type":"item","numeric-id":4785458,"id":"Q4785458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130e4d9c858cb539dfaadc6df8737c4772f205ec","datavalue":{"value":{"amount":"+0.9128544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1863748$3138AF6E-03D7-4817-B4A4-CCA86BB5A096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742b854804231499caff7ada142ac7f59991ae27","datavalue":{"value":{"entity-type":"item","numeric-id":5216145,"id":"Q5216145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d73bbcf6b7566f1aad114fd29f8ddcb934b30296","datavalue":{"value":{"amount":"+0.9123651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1863748$E82B2D67-4BCA-4B89-AE08-8B9732EB5EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c605e9b14ae02e7381e2d82d56b60fbf62e509","datavalue":{"value":{"entity-type":"item","numeric-id":4037127,"id":"Q4037127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778f4949f9a052955567f6f892eedd4ed7011a80","datavalue":{"value":{"amount":"+0.91202897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1863748$57F61B60-DCD0-4B40-A323-406382211E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab2639d120a41e9afde30746a5386c4f8af2b45","datavalue":{"value":{"entity-type":"item","numeric-id":4037390,"id":"Q4037390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778f4949f9a052955567f6f892eedd4ed7011a80","datavalue":{"value":{"amount":"+0.91202897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1863748$8A6B851A-950C-47DE-B067-B8C0E6694D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b0381463c53bb66c44f66246b8460a24fa8439","datavalue":{"value":{"entity-type":"item","numeric-id":5411415,"id":"Q5411415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462a46caec47e469cceb3d5e80f6c114e71cdd8d","datavalue":{"value":{"amount":"+0.9119585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1863748$3EFA7DF4-9F64-4009-9400-5C13406A1C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544b2371a942216d584b69d143afbb39693c93d2","datavalue":{"value":{"entity-type":"item","numeric-id":4472440,"id":"Q4472440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08cccb42a86f1814d661b81df600d330e6f80345","datavalue":{"value":{"amount":"+0.9093779","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1863748$BB9A12A4-27D3-43A8-B261-5473C9E15C02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear, branching time and joint closure semantics for temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear,_branching_time_and_joint_closure_semantics_for_temporal_logic"}}}}}