{"entities":{"Q1815427":{"pageid":1826169,"ns":120,"title":"Item:Q1815427","lastrevid":69070236,"modified":"2026-04-13T04:24:49Z","type":"item","id":"Q1815427","labels":{"en":{"language":"en","value":"Combining temporal logic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 944258"}},"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":"Q1815427$58058E1E-8E51-4A71-B798-65EE8F08E110","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c93f346ab14b6037f4f1b44888029149e30c0e6","datavalue":{"value":{"text":"Combining temporal logic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815427$6F0AA9BE-816A-48AE-A8B8-EAF95A977BC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22e36d55a6e29f04b9a5600783a236ac1ca3a017","datavalue":{"value":"0857.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815427$87CFC8C2-8D6D-4FAA-B5F1-755969F6E824","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"538aac5482944b23b9509c42900acf09751a5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":385020,"id":"Q385020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$E0B88FFE-5DA5-4504-8BD0-E416394500BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$93B89A4D-80EB-4690-B282-EF1C92D8FFA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$51CB33B3-BC79-41B6-B30E-76AC5698438D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d08bb9a72a2259fe21464e6025b4a7e58a684cc","datavalue":{"value":{"time":"+1997-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815427$988F4C4A-790F-4727-BBCB-97F6CBD2C451","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa0ebd2ff994cd70d6d09b9a411978b926676ce8","datavalue":{"value":"Modular combinations of temporal logic systems are investigated. Four methods for combining two temporal logics are described and studied. 1. The temporalization method, i.e. the external application of a temporal logic to another temporal system (adding a temporal dimension to a logic system). 2. The independent combination of two temporal systems. 3. The full join of two temporal systems, where flows of time are considered over a two-dimensional plane. 4. The restriction join of two temporal systems. Three basic logical properties (soundness, completeness, and decidability) are analyzed. Each combination method comprises three submethods that combine the languages, the interface systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages with varying expressivity and varying degrees of transfer of logical properties. The first, second, and fourth method are shown to transfer all three basic logical properties. The third method generates a considerably more expressive language but fails to transfer completeness and decidability in several cases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815427$2B996119-53B5-4D63-B254-530AA47429C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815427$DCFF4893-692F-44A2-B25D-B376F7290843","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ce195399c8d0ad435aa9cfe990be41351fe017f","datavalue":{"value":"944258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815427$57608989-FDE3-42AE-B4F7-A73DCC64EC9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d558dea16f956611838740cdcd4b1c9079c35758","datavalue":{"value":"modular combinations of temporal logic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815427$A16ED378-7007-4A36-9C38-6A105498377D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815427$95B6F312-6FF3-4BE0-9CFA-9D105C8B5D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967e4619eaca567ff6bb7a979dc13a3e66fe247f","datavalue":{"value":"join of temporal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815427$E3357B87-79A7-47C0-AFFB-E7BEA9116F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99daaa8bde01dc4595988458e6cba397c196783c","datavalue":{"value":"temporalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815427$235C0162-8C2D-4C40-8BE9-45B47E7A6270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815427$CF165835-4941-40C1-BF45-65AE662D438F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815427$9007A490-6534-4F70-AFD3-963ECC36EAEC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$03FDFD92-51D2-42C1-860C-2725ECD3074F","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":"Q1815427$4CE91F9A-A27A-4516-95CB-34C662CCA3F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69000f10c213b4ee884e921e586c1ee29976e81e","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040046087","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815427$424FB162-1474-4AC3-BE05-52FD06BE296D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dddce79a81ec57643e6defb1a76ac64ce74c42a0","datavalue":{"value":"W2086974576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815427$822D40B8-9303-43DA-9BDF-D9627D16D934","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5d1cbde80d527727b7ff8671e6ff8a883ff317","datavalue":{"value":{"entity-type":"item","numeric-id":1257887,"id":"Q1257887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$E20F5DA3-0B85-4D4B-8053-42B08FAB0971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$70A19CCF-EF55-407D-9EAA-626A6CB8DB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"156138aef606bd7a7128a417f2c9b76b54fcbdfd","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$C3EF43A3-6567-4D2F-8F64-66ECD5213D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea1d8a229c54b15541be0fbaacfaaec5d75bf76","datavalue":{"value":{"entity-type":"item","numeric-id":1148308,"id":"Q1148308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$70ED1318-48F2-477D-9B13-47D71E4C6251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$38DB015F-E749-4AEA-8992-D8FD2060106E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958a040e091661b15eedf53ec690abc9e5b16350","datavalue":{"value":{"entity-type":"item","numeric-id":1314287,"id":"Q1314287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$6BCDF710-C015-4C5A-BC67-4735848D07B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee09b465ea9a9544dd6160b8d21e8f97004b125a","datavalue":{"value":{"entity-type":"item","numeric-id":4275692,"id":"Q4275692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$AEA0F847-0898-4560-A7DD-AE5ED3E81C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326e802bee95ed2c822a5c7be798bb929636447e","datavalue":{"value":{"entity-type":"item","numeric-id":3669373,"id":"Q3669373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$E63F5666-9AE8-4B05-B46A-A0083B5FA81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e8b232baa9b03a98b6de510505525c83b98fe4","datavalue":{"value":{"entity-type":"item","numeric-id":3674621,"id":"Q3674621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$C6B5AD8D-03B8-41C9-AF25-BA7A74554211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356fc56efb50f08c99d5aa0116066168b772a02","datavalue":{"value":{"entity-type":"item","numeric-id":3128464,"id":"Q3128464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$5A070433-9FDD-4448-9D87-AEDA35B0D889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$5BAF2291-1CF2-47DA-9E1A-DED2CE52DFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$0CE7FCD1-06DA-4B94-9B60-43F61D182337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a73cb08d2241c15801016c9f2e93aa3828b1dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5686019,"id":"Q5686019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$CBE119EC-0B93-4FE0-9507-F26A24C4CBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e0c5cc3575d6be27e025fb497f951125e4854","datavalue":{"value":{"entity-type":"item","numeric-id":3984418,"id":"Q3984418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$DB07FE17-9C3A-4A37-839C-36249A28958B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$424E8C46-130A-46C3-98F6-057D34739FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076c363cab69eb6e9f1d705e8fcdc709f30f81fe","datavalue":{"value":{"entity-type":"item","numeric-id":1207338,"id":"Q1207338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$037F2F64-6B68-4B9E-AC72-2BB1DA2AE331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$C736F30F-A787-4FE1-BFD9-D05C2DE8602D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$90244DEA-F7DF-4366-BCE3-0CCDE2F9B038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fd72b68267ed148f52f3c66efe651a6d4ae876","datavalue":{"value":{"entity-type":"item","numeric-id":1150598,"id":"Q1150598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$159C3106-9FD0-4F73-AA9C-AE99796814B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110095a24948547397b24c708d3b2b91734d5a1a","datavalue":{"value":{"entity-type":"item","numeric-id":2277246,"id":"Q2277246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$CC6D07AC-86B9-476E-9358-41DB3EB4A328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5f5a8693e3e3343e0cb3998b121d3d28977a59","datavalue":{"value":{"entity-type":"item","numeric-id":1104920,"id":"Q1104920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815427$260CEF25-34CF-43BA-BFF4-4B8634E93127","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"408cb60c513b68fa9600ec1f21a503c151233a4d","datavalue":{"value":"10.1305/NDJFL/1040046087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815427$259B3776-F8DD-4319-9E02-7564C5366D6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c8108ef2337702b12f9ccc6375c8bca14e6631","datavalue":{"value":{"entity-type":"item","numeric-id":4545015,"id":"Q4545015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e7366055d3a878df27f60fd287b91084c63118","datavalue":{"value":{"amount":"+0.8729817271232605","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":"Q1815427$CCA32EB0-0AF7-4F7A-AE0D-C33982E5D3B4","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":"d1e7366055d3a878df27f60fd287b91084c63118","datavalue":{"value":{"amount":"+0.8729817271232605","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":"Q1815427$7C5B0227-7756-4140-A874-54F7708C30D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c55f85f53393bee55e959bd25fa8ad7bd3f4cce","datavalue":{"value":{"entity-type":"item","numeric-id":4518411,"id":"Q4518411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e0f7266d0ed5ccf16008646c245f9362c5ec0d","datavalue":{"value":{"amount":"+0.8277430534362793","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":"Q1815427$C9D4A189-E644-4F6F-85F5-EFB438379040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66cc72c379ebfc3f064faabb0854dba6f55280da","datavalue":{"value":{"entity-type":"item","numeric-id":1314287,"id":"Q1314287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b942d7d098a1e0748ec511f98b8f868a5e151286","datavalue":{"value":{"amount":"+0.8139885663986206","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":"Q1815427$4D026403-F0AA-4DF0-975E-900FA1C52304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead145520a3035d1c255e985b2776ba0e96d0084","datavalue":{"value":{"entity-type":"item","numeric-id":1097264,"id":"Q1097264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b942d7d098a1e0748ec511f98b8f868a5e151286","datavalue":{"value":{"amount":"+0.8139885663986206","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":"Q1815427$3D185873-63DC-4B9B-8B25-0A8D3FE6B975","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining temporal logic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_temporal_logic_systems"}}}}}