{"entities":{"Q5146368":{"pageid":7175939,"ns":120,"title":"Item:Q5146368","lastrevid":91442588,"modified":"2026-06-04T23:10:47Z","type":"item","id":"Q5146368","labels":{"en":{"language":"en","value":"From LTL to rLTL monitoring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7300848"}},"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":"Q5146368$07C236A0-42DE-4DD9-9985-3F8D2337C9AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1e253effcb640264c64128cbf7a3c3d14be9564","datavalue":{"value":{"text":"From LTL to rLTL monitoring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5146368$C42966E6-41C4-43F5-B344-82D2977C83E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d49d2a43c56b68e58f13ec3331643be5a1e4695d","datavalue":{"value":"10.1145/3365365.3382197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146368$EA025ACC-DE29-4641-A777-8C2E4078EE5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6d8d97ad12726aa3c87b741913b0d48c9222df","datavalue":{"value":{"entity-type":"item","numeric-id":4992843,"id":"Q4992843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146368$4939FC22-5FEF-48C1-B968-396695BAD563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"985ba93433527f6d082a450a60d069993898369d","datavalue":{"value":{"entity-type":"item","numeric-id":477196,"id":"Q477196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146368$9ECD2E14-ACBB-4E91-9C5F-886F9D663922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42e0d1b461e5b082d1cca07332e0c667f764a8f2","datavalue":{"value":{"entity-type":"item","numeric-id":5146367,"id":"Q5146367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146368$81545CDE-B127-4240-A474-9942E214D654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7567a872b0a03cf45b9a24331f1f97ee1ad2d9ce","datavalue":{"value":{"entity-type":"item","numeric-id":1786615,"id":"Q1786615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146368$24BE67F0-A8C2-4EAA-845C-8DD28482018D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55747a80f3ab2fd6b2d6e1010dc381d0b7b1832a","datavalue":{"value":{"entity-type":"item","numeric-id":218365,"id":"Q218365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146368$62D6BFBF-EC71-417C-9565-04885B4DAB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7832d0cb9d9908d99b0246c9f9004fd2c464f2e","datavalue":{"value":{"entity-type":"item","numeric-id":533799,"id":"Q533799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146368$FBB041DF-89E4-4428-B30C-4862D8BEF20D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00d79ec26a05c4c4c6269c083164f9555ddd9a1d","datavalue":{"value":{"entity-type":"item","numeric-id":5146359,"id":"Q5146359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146368$0D724C10-E6EB-4B61-863F-4C7D47758D91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0827198be489c99d5ba6559ec16692e838cc43b","datavalue":{"value":{"time":"+2021-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5146368$3689B51D-3694-48C1-9272-E7BF3E80D409","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6eaaa57386f226a7606fb8b7e8e73876beb7b70d","datavalue":{"value":"https://arxiv.org/abs/1807.08203","type":"string"},"datatype":"url"},"type":"statement","id":"Q5146368$EEDDF6C4-6853-4B3C-900F-385FEAFAF184","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146368$3C52547E-DF86-4065-91C0-9A1CF74E8402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146368$EE479BFC-1EA0-482E-B631-8C6E71825670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146368$AECFAFF5-A165-4CA9-BC89-DFA280D901CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d780eab7c24d406831ad6c864dc1ecaad65222b","datavalue":{"value":"7300848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146368$16EA312E-934C-47EE-8FC5-9CBFF24DFEEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146368$6CE1BD4C-4DF9-41C3-B472-0138CDD9FE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146368$C6DEA8B1-D088-486B-B978-3EAD815F818B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f739b0407fd13fed79d64400bfb99b8621bd54","datavalue":{"value":"runtime monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146368$CBC8FF82-2FD3-4A1D-B856-EDB024BD19BD","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":"Q5146368$E3182B01-FB67-4008-BA0D-0D2188E5C185","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10264db2ab8e8c3e411ab985b8b85c1635983930","datavalue":{"value":"W3023002415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146368$D812A04E-52E5-417F-8D11-38B0B255B36C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From LTL to rLTL monitoring","badges":[]}}}}}