{"entities":{"Q1780454":{"pageid":1791196,"ns":120,"title":"Item:Q1780454","lastrevid":48498751,"modified":"2026-01-05T00:39:51Z","type":"item","id":"Q1780454","labels":{"en":{"language":"en","value":"Timer formulas and decidable metric temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2175395"}},"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":"Q1780454$E06AB257-6031-43BD-B065-FD47FA9BD19B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1a6ece405060bd40cf6691853cde7b9e891b08f","datavalue":{"value":{"text":"Timer formulas and decidable metric temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1780454$466B140C-7AA2-4516-9A4D-E616E3FB6EA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95b3398f8060cbd2286b6bf2941dd2c2d7d38901","datavalue":{"value":"1068.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780454$A37A83CB-A757-4187-91C7-BD00C248F862","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780454$47ABC6FA-6814-42DE-88C2-711C9BEA7C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7288cf75c4f286e546d946f7da603be7aa5ea57","datavalue":{"value":{"entity-type":"item","numeric-id":1216296,"id":"Q1216296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780454$ACD229C4-7C46-42F0-9671-BBC50AB0D09B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780454$A5D24E1E-48E5-4D53-8294-55DDCD22F1AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"469ed2fd212eb464fbc6c5c5b7e8fa6ceeaffbfc","datavalue":{"value":{"time":"+2005-06-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":"Q1780454$26D2CA07-D166-4748-8C56-F8CAE22951BA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"64bb3c0f61d2f7ba9dc2347337e1fbfe38881b62","datavalue":{"value":"A quantitative temporal logic is defined that is based on a simple modality within the framework of monadic predicate logic. Its canonical model is the real line. It can be interpreted either by behavior with finite variability or by unrestricted behavior. In both cases decidability and complexity bounds are proved using general theorems from logic. The proof uses a sublanguage of the metric monadic logic of order, the language of timer normal form formulas. Metric formulas are reduced to timer normal form and timer normal form formulas allow elimination of the metric.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780454$5C800477-7028-42C8-AFCA-51028FB76514","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":"Q1780454$488A3D6A-38AC-4DD6-BBD8-DDD5431794A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780454$E295CD46-F2DB-4E66-B7E4-EB320028D328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780454$3810FD7C-9F0C-4C22-B39C-C5C15D6458F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab9c76af8fd85be46c15e9fa3124918487dfe8e4","datavalue":{"value":"2175395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780454$0CBE01DC-47CE-4091-AA4A-868C356D542D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780454$5A16A6ED-A565-44A7-AB09-48F3E5A1E98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170c103d8ee0309c54c76f532801d043f9051b7f","datavalue":{"value":"monadic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780454$FD15BA02-657E-478D-8FBA-A8B7566CE6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca9019b752a86b0b6cd1cfdc1b10b5871c77531","datavalue":{"value":"metric formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780454$7B0F8564-BD64-4C2E-AAF9-4335877E8678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1780454$35C2A2A9-D87F-48BC-BB05-3C6E65CB4E23","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":"Q1780454$1E8109D3-4BC0-4ADD-9332-360F028FAD19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7866b982e96a54e1119d3a50e879322e8619f751","datavalue":{"value":"https://doi.org/10.1016/j.ic.2004.12.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1780454$033CD199-6E04-407C-BE21-CA1495BAB9D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15ec7047acff77c39a0b2bf8d08bfdaedd1736ce","datavalue":{"value":"W2079880156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780454$69D95D20-EAB5-4948-9EEE-541AE349164C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780454$F9CD3A55-2E2A-44B8-8E5E-EAFEF33A947C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476b053757dfd493b160f0bd386b81fa8778d445","datavalue":{"value":{"entity-type":"item","numeric-id":4230338,"id":"Q4230338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780454$38507088-62B2-415E-9DB2-4BAC7861FC09","rank":"normal"},{"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":"Q1780454$546E8EB1-E144-40C8-8F59-5802F599D1F6","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":"Q1780454$4C2C919B-557D-454C-9749-A75BD233F029","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":"Q1780454$B1CC9B42-F6D4-4D17-873C-1EE540A58F51","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":"Q1780454$C8C5BCEA-676E-4322-AE50-E2D46218917E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd2e069871eb3bf4232917297a8392cabd79fa8","datavalue":{"value":{"entity-type":"item","numeric-id":4251919,"id":"Q4251919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780454$A13D00A6-EE51-4A6C-9B47-570049826DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b9800fc34831d316e22ed5ebcc630401c60373","datavalue":{"value":{"entity-type":"item","numeric-id":4251916,"id":"Q4251916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780454$EA26C72F-C787-497F-BAD4-DD71DB5E0443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20e74feaba62bd46513e7af48c16a7db530206d","datavalue":{"value":{"entity-type":"item","numeric-id":4938638,"id":"Q4938638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780454$C59D6A7B-5D8A-4627-925F-E7E1FB3DDF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da4bb6f9cf8d59bb08e30fa860898c4d527ef942","datavalue":{"value":{"entity-type":"item","numeric-id":4945224,"id":"Q4945224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780454$11E84632-9B12-41A6-8D20-CBFF98502C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e828e5e129d51b8575c30bc55db9c76d50bd294","datavalue":{"value":{"entity-type":"item","numeric-id":4824483,"id":"Q4824483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780454$714AA803-1F55-48E7-9D80-0E0FDC4F24C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5781430c3bcca2b0df40d4fc7fd2bfdf2c1936f2","datavalue":{"value":{"entity-type":"item","numeric-id":1323323,"id":"Q1323323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780454$BAE03DCF-DC6A-4A6E-9F5C-E4F376EAF4A7","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":"Q1780454$52B0C0B6-0CBE-4574-B794-9E541091E4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b40ca15922708fafcf7fdd65a80fccea7dd5c1","datavalue":{"value":{"entity-type":"item","numeric-id":4221299,"id":"Q4221299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780454$EA0CB4DF-203E-48F3-96E2-91DF1E1B849F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114b5352846e734e7429f1ae0523e22dbe07fbae","datavalue":{"value":{"entity-type":"item","numeric-id":636345,"id":"Q636345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780454$E29CE4E5-6F0B-4984-99B6-0354587D9A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1780454$DC50A32D-EED1-4F37-A806-0CCAB650F263","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc7952ed4097249e1756b6d11307b83a61d73199","datavalue":{"value":"10.1016/J.IC.2004.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1780454$F1490E54-E040-44AF-B121-27B91B3E97FE","rank":"normal"}],"P1643":[{"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":"680c1aee7198c63b70dc80374fdb9cc8d8ccce57","datavalue":{"value":{"amount":"+0.8830674886703491","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":"Q1780454$B104D239-3C37-42F0-8965-1E57C5D06E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d365e86cb068f601c6d2d7ccdc7e40a5b51875","datavalue":{"value":{"entity-type":"item","numeric-id":4945224,"id":"Q4945224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96aeaab6c200bfa0c4d90892f054c2a8c7907676","datavalue":{"value":{"amount":"+0.8787955045700073","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":"Q1780454$81549684-A349-463B-A385-019354E30D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8efac84cdddcb1f59b44ef35df78fe97b0f9d77","datavalue":{"value":{"entity-type":"item","numeric-id":4938638,"id":"Q4938638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4ab37603b4c3ddaed7f61ece1b67998698ba58","datavalue":{"value":{"amount":"+0.8323586583137512","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":"Q1780454$7ED370AE-625C-471D-B861-82D1E5A88E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3785e6f2de7467d6caf8b18298602e425f40e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1815429,"id":"Q1815429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"026337709c793eef5ead3bb701933760f4022113","datavalue":{"value":{"amount":"+0.8191028237342834","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":"Q1780454$8260DA58-3C85-4FCD-8970-51768ED9F77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4162a08dd879d64bd045b3b8efba28d20ca0f15d","datavalue":{"value":{"entity-type":"item","numeric-id":1391098,"id":"Q1391098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e4c157714e470ff25d2f1b50bca5550cf6b608","datavalue":{"value":{"amount":"+0.8177249431610107","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":"Q1780454$9157E972-FDF8-407F-99B7-96802D1C14F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1780454","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1780454"}}}}}