{"entities":{"Q2986982":{"pageid":2997706,"ns":120,"title":"Item:Q2986982","lastrevid":85485191,"modified":"2026-06-03T08:54:35Z","type":"item","id":"Q2986982","labels":{"en":{"language":"en","value":"Abstraction, discretization, and robustness in temporal logic control of dynamical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718291"}},"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":"Q2986982$2C604369-819E-47AB-8A8E-E638C4D75752","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"169763a3320687afbb17c8eff8dc7c05bde41afc","datavalue":{"value":{"text":"Abstraction, discretization, and robustness in temporal logic control of dynamical systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986982$2ACDF1EE-C34D-4BA3-A5CB-B99C5CF87DE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1287948a8178029dd5ae81807da419273398e801","datavalue":{"value":"1362.93058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986982$4B3DE694-7C82-478B-B758-817E96833AA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ed08082b97f2992a5e9328789a73e9bdc88316a","datavalue":{"value":"10.1145/2562059.2562137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986982$63073CE6-96AE-465D-B68E-092476B86AC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cf8233021b2c25675741f57523e378ff38c575a","datavalue":{"value":{"entity-type":"item","numeric-id":286068,"id":"Q286068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$36E84EE9-61EB-47E2-9A6A-9EF6AFC263EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95013a4f6c4b451ec787f91e571c1c67a0e562c9","datavalue":{"value":{"entity-type":"item","numeric-id":313325,"id":"Q313325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$1735EAC0-781B-40C4-BA33-8B81D80F0B11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a66987d483cf498cbb54fa8b0939eb16d8834895","datavalue":{"value":{"entity-type":"item","numeric-id":2986942,"id":"Q2986942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$4255F611-4DA9-4213-A008-A747139A7C12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986982$72976646-CF85-434C-866C-3BF2689F241B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986982$9462888F-B84E-4DF1-8CA6-C8758B6C0BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986982$0CA70C55-5367-491B-B9AF-178C8E33AF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986982$BD8446E4-00F7-4295-8EE5-BD4CC84FAC6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44a88198dae26b0a641f6f6884948e8323081502","datavalue":{"value":"6718291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986982$F2C10303-408C-4113-B4D7-1ABCF85227A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986982$00EC5D9E-9461-4782-AE40-2485A5BB2BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a1864ca0d237847813dca5b1f5ea470fc8b5a0","datavalue":{"value":"discretization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986982$43759BB2-0A28-499C-AC35-855069A2A988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74537d28edb1ffbe0587b889f28e4b6499b7b728","datavalue":{"value":"hybrid control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986982$D353C76F-490D-48FF-96E5-5929B1C725CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986982$7B5FDD1B-2F25-4DEC-81AE-8FDD909DC874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986982$E24A9861-0ECB-46D0-819E-25BCCA4F0770","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce3ea894551f7d46aed8be9d5b93bf780882eb1a","datavalue":{"value":{"entity-type":"item","numeric-id":16900,"id":"Q16900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$1B8D0166-8213-4C13-AF06-37CFCC6431EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83793d2d04b664d34057899871316417b4be46c8","datavalue":{"value":{"entity-type":"item","numeric-id":16766,"id":"Q16766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$C69BC5CF-DD0C-4C55-96D9-911BDF0B3175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$AD37CC3A-5FB2-4F53-9118-425D732C4D77","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":"Q2986982$2A5171C0-3EB2-4D3B-AC56-0B51EA2DAB1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"251b8dda259a3fc3550123a4595ccc5445c76cfc","datavalue":{"value":"https://doi.org/10.1145/2562059.2562137","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986982$74084AE6-001C-491B-96BE-F9BF18C16E60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8dadf67397e6766b3d6aeb2c00699c133a77fce0","datavalue":{"value":"W1985919024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986982$94619EBA-2A6D-4659-BE6D-B7A387948789","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb149bf6a73725ed17a5badf81338005e187aa15","datavalue":{"value":{"entity-type":"item","numeric-id":5898329,"id":"Q5898329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$08E23A7B-73AE-406D-A8D8-7AFFCC7F9864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a6d9d4c005892aa7b849b3d059eda0ed03aaab","datavalue":{"value":{"entity-type":"item","numeric-id":1298283,"id":"Q1298283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$89768B08-3E63-491A-B4C0-D3FF78CFF38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad50836f62c74ebfef5aac7467da42e2b2b5283","datavalue":{"value":{"entity-type":"item","numeric-id":5267136,"id":"Q5267136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$2577C59B-8109-454F-8858-2AD779110800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15eba0eb74965bba287b4a3647588ff9b1b59f02","datavalue":{"value":{"entity-type":"item","numeric-id":3987118,"id":"Q3987118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$6DC5710D-E043-4A27-B7C8-47DBDDD25BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bf8ca5f255dfc9ef274c7c13564bd8b6dea87","datavalue":{"value":{"entity-type":"item","numeric-id":4393080,"id":"Q4393080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$C1295F13-2976-484F-A679-B5FBF3397505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84654fe3761ac46000e58db2921e5e9255c79eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4974774,"id":"Q4974774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$41B5E8BE-581B-42DC-A132-4F6156FD4D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"647d4a06338875ce2a23e3113be67b69b3915696","datavalue":{"value":{"entity-type":"item","numeric-id":2985874,"id":"Q2985874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$C3632678-8486-4EC2-8EC6-2000AC3FAA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b420ec1bc0791541a1b349455776f7181d468697","datavalue":{"value":{"entity-type":"item","numeric-id":1977035,"id":"Q1977035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$D5F64023-CA57-4204-BD22-33BFDF10FB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c4803d00b49ce453c60909b7af6e4e230ddd52","datavalue":{"value":{"entity-type":"item","numeric-id":361070,"id":"Q361070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$DBCBE6D9-7886-4E1F-8742-50EC61B32B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6329aa3f53b0007d7c30145137b42eaa70d002d9","datavalue":{"value":{"entity-type":"item","numeric-id":5588250,"id":"Q5588250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986982$068C158B-BD48-4B1C-91F8-0CA29583AE81","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c8fd39f178919f9e232dca240ca6ef6d982bb5bd","datavalue":{"value":"Q130874165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986982$889F3016-8D85-4CF8-97A0-A1CED3729441","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5843e37c6d918d4414416f1d88ae24cc534c82","datavalue":{"value":{"entity-type":"item","numeric-id":313326,"id":"Q313326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45f88b29b8530e5bfe616a6c5554e9faffb175c","datavalue":{"value":{"amount":"+0.9480912","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":"Q2986982$CE3441EE-4949-45C5-91D3-30EDDAC96016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b438ce7898730dbac2e6044ad27361ef1bf9b92b","datavalue":{"value":{"entity-type":"item","numeric-id":5352845,"id":"Q5352845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"740e2144c5f459235860e3d372e66e1c94cbcdda","datavalue":{"value":{"amount":"+0.9126563","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":"Q2986982$732BF922-5BB3-432E-AA94-7D6493B5F751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32cd7b725f10eea2157eeddb7a7f47da3826b66f","datavalue":{"value":{"entity-type":"item","numeric-id":3745691,"id":"Q3745691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c04bb3c020f12d85c44df1c93dffdc51991b6512","datavalue":{"value":{"amount":"+0.9075542","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":"Q2986982$F80163B2-D958-4ECC-8D9B-9E7C3F768777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cac43530e2c56839ece944cd778d9db28782f0f","datavalue":{"value":{"entity-type":"item","numeric-id":5275323,"id":"Q5275323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585b0ca82cd9afec9edba4732506a34fca191481","datavalue":{"value":{"amount":"+0.90567696","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":"Q2986982$84B6BD68-5B5F-4449-ADFD-A7E4D2C1D650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1dc6db199f21252ddccea0eb27b664c11ad693","datavalue":{"value":{"entity-type":"item","numeric-id":5892457,"id":"Q5892457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f50248b4640eda9b7f5f67dbc15ece2b22c5ceb","datavalue":{"value":{"amount":"+0.8947036","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":"Q2986982$8035A373-A1DA-4C2A-AF4D-D112556613BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52613c73a4b3dab51b13f467b8e9732eb5f91982","datavalue":{"value":{"entity-type":"item","numeric-id":5919894,"id":"Q5919894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f50248b4640eda9b7f5f67dbc15ece2b22c5ceb","datavalue":{"value":{"amount":"+0.8947036","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":"Q2986982$0FDD862E-FE97-4AC6-B289-A539BBCCB3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49ca578dfccb4c08dd3820577fa1a5cd2342ed75","datavalue":{"value":{"entity-type":"item","numeric-id":6053240,"id":"Q6053240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b3793e60dec0e1e2dd0ba411196b1ed939a346","datavalue":{"value":{"amount":"+0.89432317","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":"Q2986982$51188390-0C1A-4661-A75C-D056A2A6836F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd558a9b0bd2b49dd81c07951ecec1f110c65875","datavalue":{"value":{"entity-type":"item","numeric-id":1699229,"id":"Q1699229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae81580aedd14a4bba212474b9d61f9593f188a","datavalue":{"value":{"amount":"+0.89280814","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":"Q2986982$976D7369-9302-491B-8276-2C89A4F86F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d707412c020563091d3c4cf69f7ed09d9e70e0b9","datavalue":{"value":{"entity-type":"item","numeric-id":2986939,"id":"Q2986939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1d510783d95ca64658907182a8015637ebc00a","datavalue":{"value":{"amount":"+0.8915502","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":"Q2986982$F21422FD-292A-4A96-9851-9F763827681D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322dcac22ab6bc3fb870e9c01ccbb7e0c422bfdf","datavalue":{"value":{"entity-type":"item","numeric-id":6077088,"id":"Q6077088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf6bf7787682eae82ceee86d6b41a58eea33286","datavalue":{"value":{"amount":"+0.8906621","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":"Q2986982$DB457E0A-C8C3-4B99-8BCF-6E2106F09018","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstraction, discretization, and robustness in temporal logic control of dynamical systems","badges":[]}}}}}