{"entities":{"Q6840504":{"pageid":18207309,"ns":120,"title":"Item:Q6840504","lastrevid":84286451,"modified":"2026-05-14T16:20:37Z","type":"item","id":"Q6840504","labels":{"en":{"language":"en","value":"Online monitoring of metric temporal logic using sequential networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8175466"}},"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":"Q6840504$F4CB480F-D82E-4F73-9381-70F556343DE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"224454d533f0b86c2cbc79234012d5ab4d2f5d2e","datavalue":{"value":{"text":"Online monitoring of metric temporal logic using sequential networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6840504$2381AAD0-434A-461F-A7C1-84474553A10C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fc636a069dfde4227234a48f055c78638355301","datavalue":{"value":"10.46298/LMCS-22(1:12)2026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840504$3D8FC857-42E6-4A59-B82F-BF4CBFF5CE41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b4879a1efc503e096242b7b74b6872d483906a1","datavalue":{"value":{"entity-type":"item","numeric-id":832024,"id":"Q832024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$3C65CBB7-3235-48F2-A9CD-36D10EA47DA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$83B38FA6-02ED-44C0-8613-0F67474D0B49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3fb882359813b3d73bc1b64740f049fe4ede3c4","datavalue":{"value":{"time":"+2026-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6840504$D3AF47BA-9F14-4863-9166-8D2AAAF11956","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840504$46D258AE-3382-441E-AF12-EECC37B31FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840504$6A2EFA22-0FEF-4BD9-A1EC-7C2D1BC1612C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a4969916cc0b58b6c884e3cd7f04e9065c71f69","datavalue":{"value":"8175466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840504$B16D2CF1-2FCB-422C-9E97-B6E995513F10","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$F702D732-8922-4EBB-B172-91FBA1D7683C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840504$CA5AB3BE-39E2-4C3C-BD72-E9100A88F381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840504$5D201028-7F64-40B1-9CE7-112DE1EE91E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e32b11af22e2880214634619ecc17f0abfbbe01","datavalue":{"value":"sequential networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840504$4DF5B5A7-4F24-4EA0-80BE-F0308821E10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840504$98394CB9-0ECF-420A-9376-DF5E956F89C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840504$DE5FCC52-4DDF-4098-B0CB-256F9CCFA1A8","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":"Q6840504$1DB0039A-7EF4-4AF3-80AD-BC84EB0DE203","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$37EB220E-EEA8-4117-9E1C-AFF74E7489A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ccd00566ce2879840b96aacdc28983148787f8","datavalue":{"value":{"entity-type":"item","numeric-id":6109465,"id":"Q6109465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$404EFC6F-4B7A-478B-9407-0D3614B17546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$77A0E66E-E02B-4C96-AE68-0012375FD64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb54f812ef30b83f85808d0cc5b4cec2e5e0d69a","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$267B976C-8729-4F38-92AC-778D7D6F510A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d26add700d8428f74555e0cd00e74b761943fc","datavalue":{"value":{"entity-type":"item","numeric-id":1647773,"id":"Q1647773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$5B41A2CB-83C0-4FAD-93D6-90476682BD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$7778177A-527F-4D60-91D2-E5B9CC8FDAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb81a915ca1fb18ae7660313d53417d9771869a","datavalue":{"value":{"entity-type":"item","numeric-id":3648826,"id":"Q3648826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$E7F0148E-46EA-46AF-8724-5A0E622379EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e10b94faed1369f0d6cedaf8543971a89c594ce","datavalue":{"value":{"entity-type":"item","numeric-id":5900668,"id":"Q5900668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$005FF3EC-FAAF-4232-9B5C-309E0E937967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379b141b80c6f87f2dc44e87edcb374c1226becf","datavalue":{"value":{"entity-type":"item","numeric-id":5215449,"id":"Q5215449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$07D56B6D-10C7-45DF-A004-07D1D380BB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409913c6d56f4d7474aa85e7d22a8a9eff38193b","datavalue":{"value":{"entity-type":"item","numeric-id":6536149,"id":"Q6536149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$7C3DD73B-9DA9-450E-ACA7-3CACEDBE409B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57a23d6b2c5d2b40a624c2a92bf9c4da58b7ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897950,"id":"Q5897950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$058093DE-1A88-48CA-9DD8-FF121848E74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461dd152e8ce718fc1992b5a137007565e43581","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$9FB1C1D3-60D1-4B0A-A20E-1DB1BD123FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ce4b80471340cb55a693292be4e006b860c889","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$5A30DD9E-C2C0-4749-882C-6EDEB6B60B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6577112aa1f8dc34a3dcc67b303f72f97a9375ac","datavalue":{"value":{"entity-type":"item","numeric-id":5900570,"id":"Q5900570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$0152AD22-6844-46C4-B67B-A25E53B7D949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c359f0c7ca7cc841978117eac871be8db606436","datavalue":{"value":{"entity-type":"item","numeric-id":3260576,"id":"Q3260576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$4EF8A85C-E151-42C4-B158-762ADD8261F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c219bb062b971163e67cc696d4bc7faef6d9ec","datavalue":{"value":{"entity-type":"item","numeric-id":266865,"id":"Q266865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$654CCFF0-C574-4408-978C-F3F96B52B5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472d47d847b55087fa45b29a63eb300da074d18d","datavalue":{"value":{"entity-type":"item","numeric-id":479806,"id":"Q479806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$98B2C720-1F9F-4497-827F-40973C01384A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e751eca347b068f0ffa489eab4d759f60f5ac57","datavalue":{"value":{"entity-type":"item","numeric-id":2008293,"id":"Q2008293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$11EB192D-01FA-4C99-BBDD-018FAB4A4586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4683d1c121e75d7c650923bf7f3292b1214025a4","datavalue":{"value":{"entity-type":"item","numeric-id":5500566,"id":"Q5500566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$6FFEFD3E-2D86-4786-9973-9E72A0D67D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774123a8ab7c670ddd0a12ba265fc548e3b622f5","datavalue":{"value":{"entity-type":"item","numeric-id":2272934,"id":"Q2272934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$DD92DE88-0A01-4CB4-969D-7447041F5018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f77e10f3b39a51145d1ea2d641ab084263cc22e","datavalue":{"value":{"entity-type":"item","numeric-id":4561449,"id":"Q4561449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$567B91A6-487C-4B50-9DD6-339F53038D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f09b53b7c446f5ba60a17b5b11a35f4dcc7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1188997,"id":"Q1188997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840504$C41D2A97-8E1B-4F6A-B52D-0914B0126FBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Online monitoring of metric temporal logic using sequential networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Online_monitoring_of_metric_temporal_logic_using_sequential_networks"}}}}}