{"entities":{"Q472810":{"pageid":474577,"ns":120,"title":"Item:Q472810","lastrevid":52139735,"modified":"2026-01-21T00:38:19Z","type":"item","id":"Q472810","labels":{"en":{"language":"en","value":"Runtime verification using the temporal description logic \\(\\mathcal{ALC}\\)-LTL revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6371458"}},"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":"Q472810$67370BD9-1480-42B8-B18E-5E1F01411C8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78c9f89498f2cd7cf3d61b38e3a8eb804a0878f3","datavalue":{"value":{"text":"Runtime verification using the temporal description logic \\(\\mathcal{ALC}\\)-LTL revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q472810$B604CDF8-A33C-4230-BD3F-768BA9C3210E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc92b932e2884d0bc8b1d0b220014de7d82a61f4","datavalue":{"value":"1310.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472810$46230271-68FE-4A9C-96B5-08790D7FC0F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$E661C19F-E616-4485-AED1-1AD86AA23BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f94a47c9962ea02a65145f7b0108c7141ce1ca","datavalue":{"value":{"entity-type":"item","numeric-id":472809,"id":"Q472809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$605465CB-8F83-42BA-B10B-810CD77C4D87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$7A9E0AF1-ACAA-4326-933A-388B8BF861E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3de48e2e76c851f8e0c9de42930ee2e3fddbb57","datavalue":{"value":{"time":"+2014-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q472810$262514F0-7C32-4435-9F2D-571DBACFC8F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472810$5043ADE0-C1D3-478F-BA21-5F4AFE098F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472810$9DBC6472-0B31-478E-A0B6-268B0D243C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472810$3FEAA01D-8980-4215-BFFF-ED28422D3EDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6141aebe435c0fc16b7b503a7fa38563b88b908","datavalue":{"value":"6371458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472810$8B45B210-CE60-427F-9DE9-030E87E3FB06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"620de172caff4a4e209f970e7fda22cffdcd27bd","datavalue":{"value":"temporal description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q472810$2D622705-F58B-413C-BC3D-F4491622CB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q472810$E73EA8C3-384C-4DB4-9E53-BAC30A269913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q472810$79B118A1-9FC8-4EC0-BF73-EF76FC98BE30","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$E4F2CA73-5E8C-4FA7-A503-C59C16F112AF","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":"Q472810$413C36F1-0351-42A7-AEA1-6F7E64FF866B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7be760d1bd0ac8439f5d00995cd014c4b268b88","datavalue":{"value":"https://doi.org/10.1016/j.jal.2014.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q472810$252885D8-4638-4A7E-85F8-BBA74BEF9246","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f7b663a27e3e0a97d3cb333c1ae42a44b5c9365","datavalue":{"value":"W2005484623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472810$E494AA74-4572-4B18-BC33-A85D2BBE11A9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"02cb506a3472d26118dc1d31a9ddc67cb466c1f9","datavalue":{"value":"Q57383679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472810$F890F052-AC3E-48A0-8ABC-68D82B3BAB84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$69EB475D-FE9A-46F1-8BE7-212A281C826A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e804d7aea2d1418057c94d927a03053fdf3435","datavalue":{"value":{"entity-type":"item","numeric-id":1601879,"id":"Q1601879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$82AC9F7B-094D-4688-8424-88ED3D4FE2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b97cd051e722aac06fc45a6b1e10ad4c6d5af6","datavalue":{"value":{"entity-type":"item","numeric-id":4230717,"id":"Q4230717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$307C8CE0-1CD7-4FBC-95DE-48A77A11FDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1772d9f4ab8204205dd85e6f11a6a69f71fdc9c3","datavalue":{"value":{"entity-type":"item","numeric-id":3655197,"id":"Q3655197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$FBF14800-3FAC-49CE-A58F-5EE1EE657114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe492717e73feb82b66c749812bf37d85a8557e","datavalue":{"value":{"entity-type":"item","numeric-id":2946670,"id":"Q2946670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$A51F87A5-6774-48A1-9944-F15E65DA3F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$78CA6A73-B3F4-4ED9-B68F-0AFE105175B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21958d14c341df368a1478a0a491594ed6071c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5385991,"id":"Q5385991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$2575A6E7-8456-44FF-AF35-7474797D7F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe06eda54f4cd3e438d9084b4f31164efa247afb","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$F99321E3-F467-4A11-89C8-9B325E34E44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$56699273-FDCA-45A7-AC2A-C5D05CA03260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$2D37151A-1989-44CC-B934-9CEDC8AE5504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86cff247738892f2e8be9f3fad6536e34cc42e30","datavalue":{"value":{"entity-type":"item","numeric-id":5431331,"id":"Q5431331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$E02C149E-FE63-4F9D-8D9F-578EE0A484F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17bb89eb2ef027132a3e7a2f2c6a1cd0d7bac8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3459475,"id":"Q3459475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$598009AC-0AA7-4A62-9D5E-F00F6144E192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$B63B8D6F-29EC-4569-84F9-07AC52DBA65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$D762588C-2255-4DE4-AD52-3E6C21FFAC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e69f0e7b4cd65dc00db9b20bcbcc64488b4a2c","datavalue":{"value":{"entity-type":"item","numeric-id":5465445,"id":"Q5465445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$FD23BBAF-BCCA-4C08-9EDD-7F5AEBB9155C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd51f1c6280ee563c7d7711ba8b53a0f27185742","datavalue":{"value":{"entity-type":"item","numeric-id":749235,"id":"Q749235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$C8726CF0-FC9D-4EAA-B351-7D5709812271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$F65279BB-71F4-4A08-96BB-D3D222D62FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472810$AD365988-1906-461D-8E17-2AA59E708B68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d9283d82923304849b58d11b8858c5401e0f6f2","datavalue":{"value":"10.1016/J.JAL.2014.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472810$AB38574D-B2D2-4130-BCEE-0D07DDFC92E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd679ae3a7d2d8e14bd8e67445e0fe501190a3a3","datavalue":{"value":{"entity-type":"item","numeric-id":3655197,"id":"Q3655197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc00461246c82dc478f351365526e369dfafc493","datavalue":{"value":{"amount":"+0.9494456052780152","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":"Q472810$F07EDDFE-C0F8-482F-B46C-EABB712492B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6f83773a1d1f510fdc78e832bafde61fd6fb3e","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06bd0e32096dbffc637e6ccbaea006ddbfc63b18","datavalue":{"value":{"amount":"+0.8242780566215515","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":"Q472810$6A5C586F-E15D-4F60-AB5D-FA420FD257F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ee8fff1c76d4e0123eb64394bb6ab65223b5cb","datavalue":{"value":{"entity-type":"item","numeric-id":5194962,"id":"Q5194962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4849c39b8d4668e8b6a827c89b6ce3d7ca7aaa2f","datavalue":{"value":{"amount":"+0.8082247376441956","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":"Q472810$99643EED-165F-4C33-8108-63F3FF1A793F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea58e47279ad2f76800e94f958a23489946f6280","datavalue":{"value":{"entity-type":"item","numeric-id":5385991,"id":"Q5385991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0096bd2ff9c59ded896064c84e3fc1308c09b8","datavalue":{"value":{"amount":"+0.7981792688369751","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":"Q472810$11504AB7-9BA3-42CF-BE64-5CBECC924361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78210ce8a37244b9fbfefcf224d3c90a9c0c008c","datavalue":{"value":{"entity-type":"item","numeric-id":4583844,"id":"Q4583844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2b49b69832dee6518f44addbe36af1e90513f8","datavalue":{"value":{"amount":"+0.7955573201179504","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":"Q472810$311EE724-D9DD-4B8F-850C-419DFA874FB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:472810","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:472810"}}}}}