{"entities":{"Q1667648":{"pageid":1678389,"ns":120,"title":"Item:Q1667648","lastrevid":74190963,"modified":"2026-04-14T18:52:35Z","type":"item","id":"Q1667648","labels":{"en":{"language":"en","value":"Quantitative monitoring of STL with edit distance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6929615"}},"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":"Q1667648$31FF2EC2-07EC-4468-8E6F-291F45340F07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f1dd046b0d224ad8b4cf2e6d40e3d331d8b9a91","datavalue":{"value":{"text":"Quantitative monitoring of STL with edit distance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1667648$574F7DC8-4AA2-4096-9529-62B9D989B42C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96aa9e036cc280b96b73d076a9a91d61c5e80d89","datavalue":{"value":"1394.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667648$CACC7DB8-043B-4C72-9B3A-B348CD85795A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ddf53fb09c4e4ee45ac66fffeba937512fdd55d","datavalue":{"value":{"entity-type":"item","numeric-id":1667024,"id":"Q1667024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$98BCE360-6CA2-4153-A1BD-F7048B70B5E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$6E5830BF-87C5-48AB-818F-7ECB841467BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2127a2b03868a3a75d4f520fcfaacc8b031119e","datavalue":{"value":{"time":"+2018-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1667648$9811B61D-AFB8-426A-A9F0-D3915DC39F67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667648$3DB91CB4-1338-48E5-8ADE-84EAB92664D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af8c325390975c17971940773b5c9e7c930f3388","datavalue":{"value":"6929615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667648$480ABB6E-765C-4A58-8883-A78BB3DAE42A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9be1ff31bfda9e9f459ae56b0a9c325ccf7aa29","datavalue":{"value":"weighted edit distance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1667648$AE7BAF1D-07C9-4A9C-92A8-8205129833BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1667648$A56FC030-95FA-49FA-81EE-CB2696A704D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60e961111272f878520f362bd70de89a68c728c9","datavalue":{"value":"hardware monitors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1667648$356DF8FE-4E30-401F-9C23-A3A4C1E940DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1667648$454AAA1E-4CDC-4A50-B8DF-2D09F60B067B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d82cfa81638332a8c825bcbbd9d7f7f9c0c45be","datavalue":{"value":"dynamic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1667648$94A738DE-FC23-4CEA-9251-45F44FAB0E0A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0801f884360fc3d8847aeef8ff0527278b8b594a","datavalue":{"value":"Q92909322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667648$2EF6F999-D053-4BCC-891D-FCCE52A598BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b424b0f4cf122cdeae51acafebcdf4dbab7ee597","datavalue":{"value":{"entity-type":"item","numeric-id":21754,"id":"Q21754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$51CE37F2-3845-4C83-A349-A6E4AD1094E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bce46bae23f3279b5d301a4fa69c26eb946289f9","datavalue":{"value":{"entity-type":"item","numeric-id":15595,"id":"Q15595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$2134F8EC-867A-4585-B8A3-77C972EB9708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df9f46973d8c78aa3238ba7e8fb358838da0670f","datavalue":{"value":{"entity-type":"item","numeric-id":32636,"id":"Q32636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$22D9E861-55D8-4EB8-B014-01E162FE3556","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":"Q1667648$334F54AD-E088-4965-A0F4-EC93F6878772","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"306956fbb233da32cd34cb873104d39a2cb7f025","datavalue":{"value":"https://doi.org/10.1007/s10703-018-0319-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1667648$137889DB-CEF0-43EB-8658-684BD686BC4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16a237495c1b3651938958a306cdfe58d7f5cadc","datavalue":{"value":"W2795231670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667648$31F62853-0BA6-46B8-9E04-E6BD0D5299E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3f7b55e69ad0bacc2c32cb42125d9eba7083e5","datavalue":{"value":{"entity-type":"item","numeric-id":1702902,"id":"Q1702902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$8D05A644-AA9D-469D-96F3-A97B089A7309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"324d4d880b5967e2f7dac9d3b41699684f734c83","datavalue":{"value":{"entity-type":"item","numeric-id":3084798,"id":"Q3084798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$2EF28BC2-F347-474D-AB4D-777917584852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0edae619a04e17e20552767154eebf071002c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$1C6FCDC1-5E7E-4B03-B285-1C57A5D9C9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263914100d05dcd941f2066b9f17d0b8e7e88611","datavalue":{"value":{"entity-type":"item","numeric-id":5500551,"id":"Q5500551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$2CC168C2-9DD1-4A8F-B77B-C16D8159C472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f5df8f42a9de5afc83a14e8ca14413bfbbf914","datavalue":{"value":{"entity-type":"item","numeric-id":2453214,"id":"Q2453214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$D90936F4-78EB-4D2A-A039-163FC521AAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4928baac5b91696dee90e84c9f96331f0c7d64a4","datavalue":{"value":{"entity-type":"item","numeric-id":3624568,"id":"Q3624568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$3238B2B9-ADBA-4E27-B678-E4436A3E9788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e41591e2aa20f46c06f1b6046faec0a95fa730","datavalue":{"value":{"entity-type":"item","numeric-id":2402548,"id":"Q2402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$1558F5B1-4B8F-43FA-9C67-2CEA78475F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d05305a227083e028ed6ae5a3110943d64f3c4","datavalue":{"value":{"entity-type":"item","numeric-id":5892423,"id":"Q5892423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$0D8BB20D-CAAD-448F-80A8-97D604CFFDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09de6768314884feb4784aea02a1fbddb689c10e","datavalue":{"value":{"entity-type":"item","numeric-id":5696947,"id":"Q5696947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$870E91F6-9AE5-4D27-BF53-3FAA44F408BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$EA706F28-E01C-4145-B232-A595087377D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$B2071A5C-70CD-466E-B641-EFF30ECCE749","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":"Q1667648$557F6B54-B3D3-4911-B005-E8D784D4CD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$FF4F6004-4F40-4EEF-A783-CFFF9E3D61A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64089f5851be368262a56424c0bfd7f0344922a","datavalue":{"value":{"entity-type":"item","numeric-id":2817389,"id":"Q2817389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$CCFBE800-DE8A-4BD4-885E-432F168A0389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085940acdbf1762ffc2c139ffa77393af87eef04","datavalue":{"value":{"entity-type":"item","numeric-id":1667648,"id":"Q1667648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$65FBCDCF-EE43-4946-A237-84D6C5CDA729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd4dd6f0a7fe12ad28c60767f267e00c3790bfc","datavalue":{"value":{"entity-type":"item","numeric-id":2381500,"id":"Q2381500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$AB3A176D-095F-44F8-94ED-1BDC5F8069E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78be78fc52b183c8c9dbc9f30b84bf9a1498583c","datavalue":{"value":{"entity-type":"item","numeric-id":5528329,"id":"Q5528329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$492FDC53-A745-4A90-8AB6-692059A5EDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f9e3cc2faf98359d56e38ca22c138678e8b5a9","datavalue":{"value":{"entity-type":"item","numeric-id":3512440,"id":"Q3512440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$76813CAC-CFF0-43CD-A799-1ADB4FEE011F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cbec5912f55ed72783405c1e02be8361bb44687","datavalue":{"value":{"entity-type":"item","numeric-id":1403072,"id":"Q1403072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$33C3A4A3-4835-4B27-9F95-2FFDB96DA92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c96f3e0493c74d917435960851fda1c51c286ce","datavalue":{"value":{"entity-type":"item","numeric-id":3239624,"id":"Q3239624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$A99184BE-C810-4CBB-A13C-FB105602C396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36a19372c4ee3273ea64879a2dea748dfbf656b0","datavalue":{"value":{"entity-type":"item","numeric-id":4624874,"id":"Q4624874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$0C29A1AD-1452-40C1-B1E0-0EEF69588EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6511f2ab28b1ab2433e56820834e0e4329a2e2","datavalue":{"value":{"entity-type":"item","numeric-id":4933337,"id":"Q4933337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$165B11F9-5511-45EC-97D0-2B240CF5FA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5158308786f4714f0d5fe46431f0d528b38c6fa5","datavalue":{"value":{"entity-type":"item","numeric-id":4401552,"id":"Q4401552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667648$495004F6-F499-4D61-AC6E-BEAE005DD5CD","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"8cc909c39b367def7c63678ab76d5c880a277941","datavalue":{"value":"journals/fmsd/JaksicBGNN18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667648$98B53DDD-E604-4930-BA89-FC36008725A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c7d7e8a49d6aad97fcbb86770ae36ac433844dc","datavalue":{"value":"10.1007/S10703-018-0319-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667648$97A9F276-0188-4448-B318-3D6BD65AD4E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d736724e23994b00d486c282b4d29ace85a886","datavalue":{"value":{"entity-type":"item","numeric-id":2402548,"id":"Q2402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304f5531fae210f9a2c9787db2dbe9e8980d3d36","datavalue":{"value":{"amount":"+0.8368076682090759","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":"Q1667648$6E5884A8-589F-4F48-84E1-01FD58E2ED53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da514cef9ccbe6bf41412a800d76ac6fcb88d596","datavalue":{"value":{"entity-type":"item","numeric-id":4561452,"id":"Q4561452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4370610a9234388ab80c5fc9ebc95671ac15a1","datavalue":{"value":{"amount":"+0.740604817867279","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":"Q1667648$AD83FCBF-AF12-4397-AF46-8AE0A220191E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e4c08c8ecd4bccb8b9b21d40d2dbaec9fe4893","datavalue":{"value":{"entity-type":"item","numeric-id":2176697,"id":"Q2176697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2f4d43f790fb7d85ede62e794451a0a09831e9","datavalue":{"value":{"amount":"+0.729439914226532","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":"Q1667648$DAE37129-7621-4F30-9E24-C175A1592103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323ff68c21d3180f8c177a42d6b706fa6dbc1628","datavalue":{"value":{"entity-type":"item","numeric-id":1683449,"id":"Q1683449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5994df5137911a62e86d8e957c3bd33b8930eefb","datavalue":{"value":{"amount":"+0.7129970788955688","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":"Q1667648$BF255631-5462-48DC-98F0-6CE899DA028A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47eae304c14a62ec405de6a705270a1d4bf90c7","datavalue":{"value":{"entity-type":"item","numeric-id":1990521,"id":"Q1990521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26dd663fdde55dd754d28e9c5ae6438290d65a6d","datavalue":{"value":{"amount":"+0.712296724319458","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":"Q1667648$2D073C6C-73B9-4019-B819-D92697333F61","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":"Q1667648$9885614B-335F-4436-B87E-6339C208E5A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantitative monitoring of STL with edit distance","badges":[]}}}}}