{"entities":{"Q1815429":{"pageid":1826171,"ns":120,"title":"Item:Q1815429","lastrevid":69070254,"modified":"2026-04-13T04:24:49Z","type":"item","id":"Q1815429","labels":{"en":{"language":"en","value":"Decidability results for metric and layered temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 944260"}},"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":"Q1815429$FE719307-EA5B-453E-A9DD-FA5D7844B6C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23899ec7855dc3770d7487ff730df0ca667e27de","datavalue":{"value":{"text":"Decidability results for metric and layered temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815429$40049610-2F1C-49A2-9D1B-4ACB81060EF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87790cd76688c2e3bb35793b8fbd10d4fd3d8cb1","datavalue":{"value":"0858.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815429$401A261F-8832-4169-9EFA-8E1F9FAC4DC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815429$91CF3DC3-DBA0-4269-919C-AC2F1204663F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815429$3C0C49C8-F379-4DC2-AF16-4496595450F9","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":"Q1815429$50B2E5EF-F4CA-47A3-8851-9A1B3BB5C8D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b70610fb3a1550db30dd811e2db8a55951b17417","datavalue":{"value":{"time":"+1997-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815429$1946DDAD-6DE6-447C-A840-CF2BB253D7BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bcee85017ff468642312e4e67b98f4f00822804","datavalue":{"value":"https://semanticscholar.org/paper/f31ed54db3d65d509276d20c019179c047dd0902","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815429$D889458F-0531-483C-8125-866EAEEE30CC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a79632c33267a55c65a316fa205a35c0f67c73fc","datavalue":{"value":"The decidability problem for metric and layered temporal logics (MLTL for short) is studied. Metric temporal logics extend propositional logic with a parametrized operator of relative temporal realization. MLTL can be viewed as the combination of a number of differently grained metric temporal logics. It replaces the flat temporal domain of metric temporal logics with a temporal universe consisting of a set of differently grained temporal domains together with relations between instants belonging to different domains. The decidability of MLTL is studied by embedding finitely layered metric temporal structures into their finest metric component, and then reducing the decidability of the theory of the simplest component to a theory that is known to be decidable, namely S1S (the second-order theory of one successor).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815429$07EAD8A8-5921-4009-BA71-E6F09B8E0B48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815429$C8240141-F520-49C6-BC12-CDECBC1BE58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815429$7EAB9A30-777A-4A7D-A0D8-AA3B80DF6938","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c759897feb9859ea9d7c4fc3feff963d7cfef50","datavalue":{"value":"944260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815429$46B2077A-9501-4098-90CE-B84E347D41A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed35465f584dc9ce4c9ac18b12e973d1adbaad9","datavalue":{"value":"time granularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815429$2FB85FEE-3748-4D92-98CF-5A63ECC41F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815429$6F684BF1-0C11-439A-A08B-6C1C57B0D0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"086ca34aae1f046e902a93509256c2694d4471d1","datavalue":{"value":"metric and layered temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815429$B80DCCFD-FFED-4F0C-AD46-A5E04A06D374","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":"Q1815429$907BC5B2-354F-42A5-A9C4-114B77DA7073","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":"Q1815429$A6E783BD-5819-40B7-8957-527CE349C8D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d334a42dd635251ad2d97c5b7a59509d334fd535","datavalue":{"value":"W2032489844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815429$D53A71BD-594A-411E-A9A5-419D23C0BD35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815429$537E3F98-3236-472D-BF5E-FC3625F28B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815429$934145B5-DB0A-40C3-BFA4-F0997C1BD6E1","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":"Q1815429$E3E73FD2-517E-41D2-AAF4-DD6BC5BFCB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5457ddf1d7346e80fa382a075af465648a9ea74","datavalue":{"value":{"entity-type":"item","numeric-id":685609,"id":"Q685609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815429$54F809E6-13ED-4B4B-A271-14A450D13A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc67149364ad33c2367342324b75ebc1ea4ce9fd","datavalue":{"value":{"entity-type":"item","numeric-id":1904398,"id":"Q1904398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815429$AEEEA5D4-D27E-42E2-9E21-D43A4D5AA9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b866bba96ae151ad3a477a3bb46c2f09c1a0b68","datavalue":{"value":{"entity-type":"item","numeric-id":5596785,"id":"Q5596785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815429$0092D7EF-4289-4CE0-832D-3AB014A43346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a27ea9c6097e6dfed4ead51e72029fd24f7d35","datavalue":{"value":{"entity-type":"item","numeric-id":4518414,"id":"Q4518414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815429$16933259-BC96-4DE2-B3D4-81C22D43C380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007fb9d8ecbf561662de071db19edff341db46d3","datavalue":{"value":{"entity-type":"item","numeric-id":1815427,"id":"Q1815427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815429$F90BDF0C-8004-403E-B4F1-7D43CBF39D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba87e9300083b4ca6be646359146e5b487f59235","datavalue":{"value":{"entity-type":"item","numeric-id":684564,"id":"Q684564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815429$3D2E963C-E4BF-4373-8098-BBBE6B230157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815429$E839CB86-4C1D-4849-8C03-BBED92C84D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7268c83208347c022c80ad8ff4e1501130ea29","datavalue":{"value":{"entity-type":"item","numeric-id":4952306,"id":"Q4952306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815429$40AB0D7B-1E82-4B05-85FB-09CDE3C5333B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69094de10a4adace17c337f42fc95786cce9146","datavalue":{"value":{"entity-type":"item","numeric-id":1144008,"id":"Q1144008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815429$1827CAB4-9535-4EB5-A91C-CC128CDD17E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815429$F0690F47-D5E8-47AC-8C10-61CCF14ACC7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0dfbe346bd20a1d9b2ed5d262e2ece8936f17ef","datavalue":{"value":"10.1305/NDJFL/1040046089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815429$E21F6F40-30CE-48A8-867D-A2BFBDF162EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773698056781c6142f20e33331ced97f642db300","datavalue":{"value":{"entity-type":"item","numeric-id":4952306,"id":"Q4952306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ead40dd531a49e4948e5057632f62ce0cb4e6e3","datavalue":{"value":{"amount":"+0.8842923641204834","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":"Q1815429$08038588-50E3-4C54-8194-CB04235EB2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2d8af373e3bc9a94f15502c32198676aed768b","datavalue":{"value":{"entity-type":"item","numeric-id":4238501,"id":"Q4238501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14743336ea92d093474e3c1019650702c1f3ad4d","datavalue":{"value":{"amount":"+0.8616181015968323","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":"Q1815429$1DD59658-3CCD-48CA-9948-EBBFD31F3EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472e2390860ce0843a5faf10aa4ef23ded5b0577","datavalue":{"value":{"entity-type":"item","numeric-id":999264,"id":"Q999264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd72dac91e66ceaa1b5fd4d74962aad47ecf569","datavalue":{"value":{"amount":"+0.8458510637283325","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":"Q1815429$C334B6E9-9AAE-4376-9C59-5094E2151D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36543351e1869c91cdd9c647bbc3e5e570e5200","datavalue":{"value":{"entity-type":"item","numeric-id":5899071,"id":"Q5899071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453dcaca6253f64f9b43027294f881f33f134de0","datavalue":{"value":{"amount":"+0.8290768265724182","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":"Q1815429$4FD1D091-024A-4665-B552-91B940E1B9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c98872f51d1a248b1e766350b8e59e044fa540c","datavalue":{"value":{"entity-type":"item","numeric-id":5310684,"id":"Q5310684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13903e50a38ea41550bb2f5b163fb9f1e8824193","datavalue":{"value":{"amount":"+0.8256253004074097","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":"Q1815429$8A94B04E-4FE6-4DD1-ACA6-A8D66C5FE74C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability results for metric and layered temporal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_results_for_metric_and_layered_temporal_logics"}}}}}