{"entities":{"Q689093":{"pageid":690942,"ns":120,"title":"Item:Q689093","lastrevid":63497010,"modified":"2026-04-11T13:33:51Z","type":"item","id":"Q689093","labels":{"en":{"language":"en","value":"Real-time logics: Complexity and expressiveness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 439987"}},"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":"Q689093$ABE413CA-A1CB-42A8-BEBF-405E4223878E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb2c09cd5de8d49c4a2fe27619f4426d318f42c3","datavalue":{"value":{"text":"Real-time logics: Complexity and expressiveness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689093$FA554A35-4ABD-44D2-A8C2-DE6E79F1A2F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be88879bc85d85c62031ea494448a59440e27ca7","datavalue":{"value":"0791.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689093$1F61E2AA-559D-4F6A-B8CB-70461E26608F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689093$87A0B57A-77E6-437F-B2CC-CD57A7EE217F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689093$C302D073-98B3-4017-998A-1938CDF25A39","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":"Q689093$391AF0B5-9363-47A9-A0F5-030ED6D1D97E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f76288a30164f14e28f1a275b49eb5d03da81a0a","datavalue":{"value":{"time":"+1993-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689093$2DFD7A62-5E6F-4164-B99D-72E184BAC869","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80ee7336717f1b7adbd2ea8a4bdfddb5d01b86dc","datavalue":{"value":"https://semanticscholar.org/paper/9e1e0038a991110610c4358a4e3dea84ab5fe736","type":"string"},"datatype":"url"},"type":"statement","id":"Q689093$D5CBE2EE-1801-4B33-9963-F76DFC4EACA8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a1cce55c1804f47bd9b3a87cc9bbdd4048020601","datavalue":{"value":"The authors consider the theory of timed state sequences which combines classical theory of infinite state sequences with a theory of discrete time, via a monotonic function that maps every state to its time. This is suitable for reasoning about real-time temporal systems. They showed to be able to identify two elementary real-time temporal logics as expressively complete fragments of the theory of timed state sequences, and they present tableau-based decision procedures for checking validity. Consequently, these two formalisms are well-suited for the specification and verification of real-time systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q689093$A87D420B-597F-46F3-BE66-D99465262744","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689093$03EF8BE8-5325-4B1E-AAD7-1B32A443FFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689093$D51651F4-D716-4CA1-ACEA-6F99BAE8D2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689093$0C028153-ADDC-47EF-82B8-FD985D746ECC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9b8326d1cb0618fa85f54085be3b775678cc932","datavalue":{"value":"439987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689093$145B442F-DA5C-4FB3-8B80-1E49FE6B7C19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q689093$219089EA-B75C-4F67-A27A-A5110E375D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9694c41bdbb1985737fa58f4578d3143fd3c2a77","datavalue":{"value":"timed state sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q689093$617D0E44-8418-4BC2-B9A0-956ED96C47DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7808e077d032ad4b015f651885dc093814791e4d","datavalue":{"value":"real-time temporal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q689093$D8797A56-847A-45E7-A56F-316DD90EAC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1443b98f38c8265bf5952db0833a842d578a7f16","datavalue":{"value":"real-time temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q689093$297E9472-C720-4C3E-BE73-A1D8768CD1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q689093$152CFF89-932C-4D8A-989C-B70AE24C9140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q689093$D231402C-078E-4A7C-B474-C0746CFDF7EE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a99cc43754442bd871d0e4e19845916a0a9ba924","datavalue":{"value":{"entity-type":"item","numeric-id":1230772,"id":"Q1230772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689093$3DCEB168-4141-4C6C-A179-680D4117F72B","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":"Q689093$D3CC542D-DB99-46BC-9F26-1374817AC9BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4219205e60cbf661cf67837f33c957b61945c7d8","datavalue":{"value":"W2139891885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689093$4996E131-D718-42D5-8DE8-F271A67869E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54708a841e575aaa7ce693c84087c67a8899066d","datavalue":{"value":"10.1006/INCO.1993.1025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689093$03259E04-2FCA-4875-B442-06855D2AB5B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afacaae153a5515f538c9563d5360219e4dcd238","datavalue":{"value":{"entity-type":"item","numeric-id":2418645,"id":"Q2418645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b317abbe13694f86799838691c345072682b4f10","datavalue":{"value":{"amount":"+0.8634751439094543","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":"Q689093$4305CE76-59D1-4C51-8FFB-0F4510B4081D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ae978124f3be84bbc317e25142899f8487a143","datavalue":{"value":{"entity-type":"item","numeric-id":4251919,"id":"Q4251919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af6500d46b9612f4bd8cb77abd2e79cc6e49e18","datavalue":{"value":{"amount":"+0.8597131371498108","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":"Q689093$65E315C8-22E6-4639-BB31-CD0C28591AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c8b90eb301d8de7ca8866c5a116646ef9cc423","datavalue":{"value":{"entity-type":"item","numeric-id":548704,"id":"Q548704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4d4e09cf3517862470e3e0a15d2602fc1eaee6","datavalue":{"value":{"amount":"+0.8494487404823303","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":"Q689093$A2857AEA-F9B0-42F2-9BB4-CCDDD17976C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b4218b995b102111e48160ba99699f34a2cc74","datavalue":{"value":{"amount":"+0.8492189645767212","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":"Q689093$C3193181-B25F-474F-99B1-E708FB448DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b3998eb75cd0003ca990291b56bae64fb34343","datavalue":{"value":{"amount":"+0.8389407992362976","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":"Q689093$B71B0DF9-0C73-49AC-B695-8C1F1A11C176","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Real-time logics: Complexity and expressiveness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Real-time_logics:_Complexity_and_expressiveness"}}}}}