{"entities":{"Q2453532":{"pageid":2464275,"ns":120,"title":"Item:Q2453532","lastrevid":44112684,"modified":"2025-11-20T02:09:22Z","type":"item","id":"Q2453532","labels":{"en":{"language":"en","value":"Topology, monitorable properties and runtime verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302116"}},"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":"Q2453532$6F3E2681-0F93-41DE-9831-A21AD2A9953A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3d925619745ee2062462d37f9cad6eb7ae569a3","datavalue":{"value":{"text":"Topology, monitorable properties and runtime verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453532$E974133E-C086-4F1F-B16B-580465C0650F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d473f3fd3caa79a4a73569e2a097fd33d735e5e7","datavalue":{"value":"1359.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453532$0B4C1CAB-F32F-4217-A361-A6989017718F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81c83c28843efefafe1f80734e19c2e6ff309a9c","datavalue":{"value":{"entity-type":"item","numeric-id":213104,"id":"Q213104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453532$98E518EB-19F0-4C14-A7CF-86D528EDF5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3a84a7eb616e0cd93b88d763b8704865b733b46","datavalue":{"value":{"entity-type":"item","numeric-id":444482,"id":"Q444482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453532$C12E5FAA-88E5-4144-9D51-2B02274D3AE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453532$BF57A959-AFA2-44D0-830D-7527CD3C2839","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7deb189b65cc3fc27b859d71d92363347a0068f0","datavalue":{"value":{"time":"+2014-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2453532$E25FF1E4-862B-4A80-8457-EF8D3A3FD293","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453532$CF748019-04EE-4411-AD66-C76C3665F14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453532$F8CABAE1-D97F-475B-AF43-06CAD98A19CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"136e850ea4eaf0125bb3b7c4065b78044083bbb7","datavalue":{"value":"6302116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453532$D8132A76-D9CE-41B5-BE11-CCB46ADC8DD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f7180cee0cfd1e2e987b547fdcb99cc38e1dea","datavalue":{"value":"omega-regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453532$15AB250D-1691-43AD-B829-922FBF46F81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3830eb9c997a0f79b7a4789a56cacf2adfbdcf3","datavalue":{"value":"monitorable property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453532$B6F7C849-1A69-4B45-A897-5384481900C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453532$56A1D610-8AA0-407B-B53E-29C6A80E4218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453532$3EE3D82D-2B60-43CA-B46F-FD38B6E79D1D","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":"Q2453532$EB93386A-63D0-4040-90FD-74E4F9F53467","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9aa2dcc5b48462ea8308d9df537aca3b2496b0c9","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.02.052","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453532$ACD1F856-C96B-41F3-901D-C200B769668D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"431401f0989288978fc4ca39f8773d07eac160af","datavalue":{"value":"W2036862954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453532$13349613-1A6B-4F21-BD2D-E8DB41F937CB","rank":"normal"}],"P223":[{"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":"Q2453532$E3B2D84D-87E9-40C5-B3C6-E8BA8178EC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334eca2254c13439f2f5ebbc4f44912929ac4e60","datavalue":{"value":{"entity-type":"item","numeric-id":4738286,"id":"Q4738286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453532$A85464FF-14DB-4AE0-9EA5-A9018BBA6FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5be2cfdc456062ac293d666a4fb2ca8a6ad452","datavalue":{"value":{"entity-type":"item","numeric-id":859824,"id":"Q859824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453532$FAE47DE5-8A9F-47FB-A4A1-BFBDA26DC0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847bdb99cb33a5f1424e34bd2acf52aa81768716","datavalue":{"value":{"entity-type":"item","numeric-id":3086925,"id":"Q3086925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453532$3DD58193-F057-4302-9CE3-FFFCF8EDA521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f36e99be0ec9dd960fd40b5711e9490c8dd97e","datavalue":{"value":{"entity-type":"item","numeric-id":537914,"id":"Q537914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453532$480EB3EB-4044-4D7A-A2B3-FB3009E8F336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660198f305b9ded4a47c5c17921d2e5488973be4","datavalue":{"value":{"entity-type":"item","numeric-id":3600469,"id":"Q3600469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453532$8BA288F8-F73F-428F-ACE6-3910757A8FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453532$601F3BD8-293F-453B-80E1-550C9FF42852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a592cba5bd50a769a8b95145033ff13a570cf73","datavalue":{"value":{"entity-type":"item","numeric-id":5573396,"id":"Q5573396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453532$2DF36C45-D240-4EB5-926B-1D0CB860D0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453532$482B642A-D412-469B-A73D-9A35BC411053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453532$BE399710-DC5E-48A8-9F8F-61E095E31940","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07974b7524ca4e65b7de45087401aeb44c6bb7d9","datavalue":{"value":"10.1016/J.TCS.2014.02.052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453532$FA150D12-F187-414A-A505-209FBD6DD825","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec99c6e77e4336e1d654231d2809bb679687a155","datavalue":{"value":{"entity-type":"item","numeric-id":2168793,"id":"Q2168793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd1c8a67cf6c9676dc1fc19a0c614a71de63378","datavalue":{"value":{"amount":"+0.84704787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453532$9A850372-EB94-4AA2-82F5-303B1423D984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84536a31486a3c641ad0e1f69a924176b42a09c","datavalue":{"value":{"entity-type":"item","numeric-id":1652982,"id":"Q1652982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e9ad44fc8cd37dc7ac73524daed12c468232fd","datavalue":{"value":{"amount":"+0.8398261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453532$8D93F3B8-C1FD-42CF-BE3E-D5F0F18248BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024948204f54c7651132fc38e6aad739379b2bbd","datavalue":{"value":{"entity-type":"item","numeric-id":2402555,"id":"Q2402555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30912a18af1299083ffde092682c410ae0dc8d81","datavalue":{"value":{"amount":"+0.8319083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453532$603DF668-7D9A-42AF-8B68-993CC2342A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c4731af7b1933ce7c28b8d4bdab358d5803e71","datavalue":{"value":{"entity-type":"item","numeric-id":5890044,"id":"Q5890044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"531fd8bf48cfb1a62ea985cce1da7b981b177017","datavalue":{"value":{"amount":"+0.83174825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453532$A1A3407E-3928-4890-93B6-A8F97352F879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a37be0730c78953d4cfa7dbb7ff17ff3e33e9f","datavalue":{"value":{"entity-type":"item","numeric-id":3340119,"id":"Q3340119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad85ac5ebf4660538ef77a3885890195d5e54935","datavalue":{"value":{"amount":"+0.8315754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453532$F0CEC167-B82C-482F-B541-120AE7BAC62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e580ff24a677881c04e7b7abf4279aa39b7b8405","datavalue":{"value":{"entity-type":"item","numeric-id":3680257,"id":"Q3680257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2587d7e31d1973a39d21cd2cd40c7b2dca9c56d9","datavalue":{"value":{"amount":"+0.8314042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453532$1B807F2D-19B2-4AAA-B0D9-6FEA6F0BE14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a948a0c1ec4f0ef88dbe343fb62bc3acc75635a8","datavalue":{"value":{"entity-type":"item","numeric-id":2701735,"id":"Q2701735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9349346ab7e177bf7bd62c3455a1510273f2343","datavalue":{"value":{"amount":"+0.8312801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453532$11F17552-9BF5-4784-BAF7-47FAF8986B25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2453532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2453532"}}}}}