{"entities":{"Q6859941":{"pageid":20656279,"ns":120,"title":"Item:Q6859941","lastrevid":84252359,"modified":"2026-05-14T05:38:33Z","type":"item","id":"Q6859941","labels":{"en":{"language":"en","value":"RobTL: robustness temporal logic for CPS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158313"}},"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":"Q6859941$57C0C400-DE31-4182-B4C9-6AEEC35A9E1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be5732006d8649e0f6b05fca28fa424ceee6e0aa","datavalue":{"value":{"text":"RobTL: robustness temporal logic for CPS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859941$FEE455E5-F325-485E-83E1-0139D361C562","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e79607f03bcc4e9020f7574f10c7c39678182ba","datavalue":{"value":"10.4230/LIPICS.CONCUR.2024.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859941$03C2C408-77AA-4A69-9E98-17E36A710C52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14f6d6fbd58df47fdcafbaabb809ad20774bfb28","datavalue":{"value":{"entity-type":"item","numeric-id":783680,"id":"Q783680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$55B353A1-1510-4E29-BD10-3950D159445E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$20B2DC94-B671-448C-9D8F-3186F6E711EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$68960F8D-B2BD-404E-B182-B99CB1ED59D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-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":"Q6859941$1A417BBD-7661-4330-A34E-426058657A46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859941$956F377E-4DE7-4701-B00A-ADCF3E8F6027","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68bdd115fe516e059cb298114f12b5ba9e3ddfd1","datavalue":{"value":"8158313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859941$562C555E-3AF6-4942-89FE-219F1DAB57DA","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":"Q6859941$FC002E88-57D0-4C73-B775-2619B222CAF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859941$8EF80449-A42F-477A-BC56-2598293D1CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859941$8126114F-BF0F-4247-9B2E-D01A4F433BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859941$F5318466-8DF3-4D40-8C8E-2058264373EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36fcc5187138dbc1674a065bb674122a597aba1c","datavalue":{"value":"uncertainty","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859941$F2949488-643F-4A96-8D0F-F2AB1716FC70","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":"Q6859941$F0287F97-CD1A-4089-80DB-E32831680384","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea67ed95d1f053285243b5bc166dc74f203ace9","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$DAFC47E8-CE5F-44BD-A4F0-0B0567216141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630969d37542185fa849643fa9c6a017b179642c","datavalue":{"value":{"entity-type":"item","numeric-id":6104799,"id":"Q6104799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$6305864F-147B-4E27-ACFF-68B3DDA8604F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a2649e3e4ecfccd03984032721dccd08572055f","datavalue":{"value":{"entity-type":"item","numeric-id":6487300,"id":"Q6487300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$0F0BB1E6-E1C4-4AF0-9A59-8513937B6F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b115bd9b1d4c9a037ee6371cfb0d610c9d41b37","datavalue":{"value":{"entity-type":"item","numeric-id":3415147,"id":"Q3415147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$66D7F119-7C31-4A20-99F1-780F32583494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73c9e0d7ef94f477f3de79122e63e7cf953ab1e8","datavalue":{"value":{"entity-type":"item","numeric-id":2117013,"id":"Q2117013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$412E79EF-D62A-41F2-BE0C-3B2D83A718D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ded9cde98abedf2401c7b61cdce2d910f19783","datavalue":{"value":{"entity-type":"item","numeric-id":6135769,"id":"Q6135769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$60519029-4CC4-48DA-8FF0-6A1DB1814CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62bcdf23c19c8ffe5912a246c4feb5f171581da4","datavalue":{"value":{"entity-type":"item","numeric-id":1596105,"id":"Q1596105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$05A34E80-3C4A-4F0F-8078-C904069A077D","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":"Q6859941$1266746A-221A-4B57-99E8-4E4AECDF0B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be829e19c1397e1b6d7e49eeaa837e0849a431e1","datavalue":{"value":{"entity-type":"item","numeric-id":1257747,"id":"Q1257747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$27E5D60A-C96B-4368-9E0D-B4474AF8EDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9898dded14d1d1685768be3fabad4c0e6274be","datavalue":{"value":{"entity-type":"item","numeric-id":3940658,"id":"Q3940658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$55A94E4E-7524-47FE-A512-449FD04EAD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ee13b2084124e396a35f67336ad2edfab0fb2b","datavalue":{"value":{"entity-type":"item","numeric-id":959788,"id":"Q959788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$03C9A3CE-09D3-42CF-AB22-182AEDCF29DF","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":"Q6859941$F12B0C47-2E88-48C3-834F-C27130FA2047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a3008f81f21aac853516e8267d5c4818852467","datavalue":{"value":{"entity-type":"item","numeric-id":2296116,"id":"Q2296116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$FA76AE03-C737-418E-B24B-D1CD7490CB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ff2886f15d08bb695e0fc9e2ac40d6685d03d0","datavalue":{"value":{"entity-type":"item","numeric-id":4953390,"id":"Q4953390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$A5F7DAD4-3C4C-4426-A3C8-D9809EB6A175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$BB2BF795-C6C9-4FB2-AE2C-303FABF3B617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bfe30e08a7e82b0acc716c863fd1bf7ed17e1","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$91C8DFAD-1773-4F8E-B7DE-26EEAE49CA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ad1940c010644086902b326d3bd11cd746b2de","datavalue":{"value":{"entity-type":"item","numeric-id":2910845,"id":"Q2910845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$55D1F4C2-377D-41E9-8A04-8BD550552749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955f9781023400ea8dd868c28b706c41c0df254f","datavalue":{"value":{"entity-type":"item","numeric-id":548479,"id":"Q548479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$4F328C10-F17F-43D8-855A-BA0C0B73FBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f8ffc6727a0c0c5211066d16377809d77c48ce","datavalue":{"value":{"entity-type":"item","numeric-id":2980446,"id":"Q2980446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$37270FEC-22F3-4B9F-9271-6F4E48F87C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408563137274f89aaaf748e3ef7fa707ad154441","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$590EBE85-5462-4724-B730-2AD0B707B15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1520495f88d9e9813e97115889a6e59f96ec1401","datavalue":{"value":{"entity-type":"item","numeric-id":541858,"id":"Q541858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$65C4073F-752E-4282-95A2-6EDE5B84BD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7268888d1c4110ee7f6d26996bc9f4d59bd76f","datavalue":{"value":{"entity-type":"item","numeric-id":3527077,"id":"Q3527077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$7C3DA40D-AFF7-4268-ABC6-C9D3CC4159CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bf2a801cbebf1d31e3a2366e0334225ace14db","datavalue":{"value":{"entity-type":"item","numeric-id":1950872,"id":"Q1950872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$78BDD8B6-3ACE-4E59-8167-E6D507C709CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277fe5ff0080ce76fce168d970efc989ec2a6a76","datavalue":{"value":{"entity-type":"item","numeric-id":5180666,"id":"Q5180666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$EA87CEDC-ECFC-4267-AAD9-838B68C8D28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84ba1843987b50db7d8d36c4d7b6498f9ff900f","datavalue":{"value":{"entity-type":"item","numeric-id":6600061,"id":"Q6600061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$BF92FA4B-5548-46CC-9E29-D903D99B5C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4759c767bca54cfb88309108f9ea873d6f91b939","datavalue":{"value":{"entity-type":"item","numeric-id":2335899,"id":"Q2335899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$FC86961D-09C2-4A04-8112-9D32E689B29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ac25b209aa32455b602edcfc97675c2e4fb264","datavalue":{"value":{"entity-type":"item","numeric-id":4368716,"id":"Q4368716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859941$6C6BFC39-9E98-4C50-A06E-3A49E4D76613","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"RobTL: robustness temporal logic for CPS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/RobTL:_robustness_temporal_logic_for_CPS"}}}}}