{"entities":{"Q3317085":{"pageid":3327793,"ns":120,"title":"Item:Q3317085","lastrevid":48684250,"modified":"2026-01-05T14:47:54Z","type":"item","id":"Q3317085","labels":{"en":{"language":"en","value":"Temporal logic can be more expressive"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3847363"}},"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":"Q3317085$1EA9870B-DF45-4979-9C91-98BA7CDF636F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4b53c6c471f663d5bc1c7bd9530c84a4241fe08","datavalue":{"value":{"text":"Temporal logic can be more expressive","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3317085$338C79E2-46D7-43BC-9529-861AAF05BB0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11723d17908a8300e9a3caca82b2025e2b9cd46d","datavalue":{"value":"0534.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317085$57D8D0AF-F9AE-41CC-8F67-1F3D18084D5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0efd522339bde8a7bd041a08bf465de68191c21e","datavalue":{"value":"10.1016/S0019-9958(83)80051-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317085$4399CB06-3A10-44CA-A60D-B083A1232159","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebafce9516d4c14b715c69adea30ca40313f766f","datavalue":{"value":{"entity-type":"item","numeric-id":930284,"id":"Q930284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3317085$D6B0F6FB-F038-4CF3-9A4B-CB0F6A4CA6B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3317085$195E17FA-42D1-4F12-8FD0-745864A31A52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3317085$1639FECC-AFF4-43E5-AEB1-2A1F22E65AF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317085$8B5EB1C9-B126-4DB6-8676-94B6E8BC3130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317085$F6CFAC9A-8730-4C99-B291-0EE2D25DB0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317085$BE52A80A-5720-4B92-86DD-C236F189D8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317085$8BF1A84B-3BC3-4F12-9AFA-A969BF57F546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317085$8962F323-62DC-4B18-92B3-D756D43009E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b6686000089a176a33bbd069d76aa1207c9cd92","datavalue":{"value":"3847363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317085$5C43FE3F-784E-4080-889B-F1E829690491","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317085$BA628B77-A5B6-4BD2-AD5A-69BAB6420036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"284d49bede33bc43198f9780c2fcc998d14125e1","datavalue":{"value":"temporal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317085$89A954F5-5165-44A7-A398-B88C0D0FAE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317085$D24741C2-D309-4587-BFA1-F22C57B6915E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317085$DE5B8B93-D951-4750-8EFF-2F9FF784088C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee539f3c66b5148353f42975573a39b50c5340f","datavalue":{"value":"complexity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317085$B1254FBB-1BA7-4AFB-A80B-3BD6BC118086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9737efe5783eca1bbf4d2cae7de8bb306d13474a","datavalue":{"value":"right-linear grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317085$C83CC222-60DE-4B24-9A08-31D7E598F055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317085$9BFD2F25-AD7B-4916-AF0E-F7C7DE0AF1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317085$F708E7D3-E7D9-4C80-9A6A-92A205C1E723","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":"Q3317085$D40FEC93-FAF7-4EC4-B0FD-0DF318A802BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2c1f4da3913a4fff6d6bab1764e89d6925dbf07","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(83)80051-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3317085$14D596F9-3719-46B3-875B-601C753F7EB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62d5f88b921758e016cc13f3d537f181a8b8e7e4","datavalue":{"value":"W2806619258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317085$3FC72EEA-B91E-4C43-882C-DF6E7F2C48F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34fac27f5e590dbc964cc2cf09a511c62a1f90ee","datavalue":{"value":{"amount":"+0.831609308719635","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":"Q3317085$773120D0-ECB8-40F0-BDF7-4E2EB976F961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e107ebcc06eeb8e4bfd7eb4b1a7f2b0860f5342a","datavalue":{"value":{"entity-type":"item","numeric-id":4791853,"id":"Q4791853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d253596d9eb6664b393996bba8340df52392683","datavalue":{"value":{"amount":"+0.8304004669189453","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":"Q3317085$313F9803-B714-4EDB-9062-1008477C41CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58993b77db9a9580d6b87a233880e333399b6580","datavalue":{"value":{"entity-type":"item","numeric-id":1892870,"id":"Q1892870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1355d0fff21c82c458d850b9066c29e4802e3676","datavalue":{"value":{"amount":"+0.8195866346359253","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":"Q3317085$B7FE0264-4556-465E-9346-B859EF8D61D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209d6662c08dd3f302fe8a715778a3167d2124b7","datavalue":{"value":{"entity-type":"item","numeric-id":4779589,"id":"Q4779589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d558c1ecef451e80c86127ff1bd82cd4e680265c","datavalue":{"value":{"amount":"+0.8181139826774597","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":"Q3317085$63F7D036-12D3-4A17-8889-8733B4BFAA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e131c2fbebbb292aa23cc4ad528fa65713be0e","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c77f3b46e149f338f3842e53f5f87c3d6754968","datavalue":{"value":{"amount":"+0.8043962717056274","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":"Q3317085$A44C5CC3-8A47-4B86-B554-32BF1A6ABC41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3317085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3317085"}}}}}