{"entities":{"Q6152513":{"pageid":13286829,"ns":120,"title":"Item:Q6152513","lastrevid":58726113,"modified":"2026-04-06T11:55:57Z","type":"item","id":"Q6152513","labels":{"en":{"language":"en","value":"Robust stutter bisimulation for abstraction and controller synthesis with disturbance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7803873"}},"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":"Q6152513$063B3F6B-3545-494B-950A-CBB9E4A51DB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77d9bea1a16615bed6abaeeb126f4a804ba69102","datavalue":{"value":{"text":"Robust stutter bisimulation for abstraction and controller synthesis with disturbance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6152513$67DE295B-22E1-406A-B75D-C57ED85CA0B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f2fbcbd7dcfdba9dd686e9d2db3b08d16e696e3","datavalue":{"value":{"entity-type":"item","numeric-id":6151622,"id":"Q6151622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$107F9435-726A-45A4-832B-226AABEA6AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c1c708370112f81ca20df5b010f847ed2306c40","datavalue":{"value":{"entity-type":"item","numeric-id":262428,"id":"Q262428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$13741FD2-5EFC-4528-BAD1-5A053D00F7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2872b87849f89c8a14a752a2ac109c0d8a6ecc81","datavalue":{"value":{"entity-type":"item","numeric-id":262427,"id":"Q262427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$D271D753-5F34-4301-8863-425563C1BCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4d8ba48e1c56bc172b89849eace0a6adbe1a054","datavalue":{"value":{"entity-type":"item","numeric-id":503185,"id":"Q503185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$F5E9EC79-8449-4D3F-8083-79492D034CF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$AF25AE31-1A9E-4961-87ED-0CBF416D3577","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2abacca2785e0f856eeb85daaaa1e38f0cc185f","datavalue":{"value":{"time":"+2024-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6152513$F9C5EEC1-F809-49B1-A141-A91FF38F95CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"244938b5c3df0bd915df03e0d52298a1d53f3409","datavalue":{"value":"https://arxiv.org/abs/2205.13959","type":"string"},"datatype":"url"},"type":"statement","id":"Q6152513$747AA37B-9792-489B-B2F6-12EFB5C8831F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152513$72512DC6-E986-47BF-8D95-1977A461EBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62b95b6f7919542f12b1e12b0279617ef6dfa9f9","datavalue":{"value":"93C73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152513$B65DB024-D3B3-4D5E-BB25-F06D14F64714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e20a9144c47525561b3a24eedf53da9ffff9498f","datavalue":{"value":"93B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152513$2EF9B0E4-26C1-45EA-8550-700D79C466B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152513$9C564FB3-B95B-428D-B84F-CD2444688928","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89cbfd36f0ec9f0ad0fa18b876d847ba48528701","datavalue":{"value":"7803873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152513$8A2341AB-0C5A-44D4-8847-DD1D4477702B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152513$4EBDD3C6-6215-42D9-A98F-7768A4545810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152513$1E44E96E-087C-479F-88A6-B8B1D156B78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88c21804c99dcac0012a04e07a17b45c2df2111c","datavalue":{"value":"disturbances","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152513$D402B1A3-9FD2-4F4A-AA37-25F071A78FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152513$A660E717-D2C6-425D-A4ED-990ABECA12ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152513$AC430BC9-4656-4B56-8869-CBF2E4DCDD02","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":"Q6152513$E6CB1C69-ACF8-4E59-9693-2579CC9A1FD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc7710aae4636347b7acce12b63ad940c9b4b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5692280,"id":"Q5692280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$D2D32978-823A-4773-B8B8-E0F6370BF983","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":"Q6152513$6A82E288-0BB2-4D3D-BBAE-6BEC69D97173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7311c2cc3ee6e63514aa6bee27428e1f9211cb","datavalue":{"value":{"entity-type":"item","numeric-id":2012356,"id":"Q2012356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$0550398C-6152-4B41-8BCB-DF0129C4D87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$E3DB068A-C559-4EC3-8A83-1601E6348B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1964c95e59063e92317da65c8b196839c0f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$67B7A405-F9D4-437F-BEF6-CC3AB6FD0267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab5324fc8b352baa0553571873f04acbfc4b0d1","datavalue":{"value":{"entity-type":"item","numeric-id":313326,"id":"Q313326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$CFA27F93-221C-4765-8915-FAF6C10A5F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbdc056a78b713aeb075e84b38731a99d9f5dbf","datavalue":{"value":{"entity-type":"item","numeric-id":2665348,"id":"Q2665348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$784C01F8-B57B-489D-A3F5-48449D4D3C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b4b0c4db610b76a647815a7e39d338386e98fb","datavalue":{"value":{"entity-type":"item","numeric-id":1693823,"id":"Q1693823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$68026B7E-9059-411D-907B-999A7C2770D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$5D756E81-5472-4B15-B3E5-3133CFB3D9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a169a795da781c945c13fee9b634e858df2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3557942,"id":"Q3557942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$A5D71D93-23C5-40DD-AD4F-0FFB3C5FAB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6dbd22969ccd576c52eace0c35df89efd526398","datavalue":{"value":{"entity-type":"item","numeric-id":3818944,"id":"Q3818944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$2C401857-63DD-4575-9BF0-5DCD72554D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a43cd86c4e56de3188d95c3407dd857965f3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5282424,"id":"Q5282424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$52A9DE1B-8DB3-4226-85A8-E480D6B042B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11303d43a0b7dcf5ed1cbdbe4970fede308fb769","datavalue":{"value":{"entity-type":"item","numeric-id":5281864,"id":"Q5281864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$37CE4AD6-7181-4EE8-886D-7C2CB8FD4BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$53C739CA-F5E5-4FC9-AA4D-722E0B8F8484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2b35642ecbde9043afe635b91dcdce5ffc618d","datavalue":{"value":{"entity-type":"item","numeric-id":5352883,"id":"Q5352883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152513$5E8CEA2F-2667-4E9A-A84F-FD95C60A0877","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69187e87b03cd88e7d6ec023c9fb7892ec6d2362","datavalue":{"value":"10.1016/J.AUTOMATICA.2023.111394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152513$5EABA901-7E96-4E7E-803F-488520FA43F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c699f5f365c4bba4660d283d52770b9b9e088e","datavalue":{"value":{"entity-type":"item","numeric-id":2665348,"id":"Q2665348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d6197041eec8814fe5410919400eab7820eeb8","datavalue":{"value":{"amount":"+0.8214166164398193","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":"Q6152513$B093153D-C4B1-43BC-97EC-BDEC4451B01C","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":"c5631f7ffd8a46abfbc316aec0156a800f03b892","datavalue":{"value":{"amount":"+0.7966334223747253","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":"Q6152513$D65AC0D5-28C7-4E3B-90E8-3801F81D6466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"657a498c6f5c9d6daef09c188e6ffc893097b1e6","datavalue":{"value":{"entity-type":"item","numeric-id":2986982,"id":"Q2986982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84d707a520bb89b56e845467e085a927a52eea2","datavalue":{"value":{"amount":"+0.7647532820701599","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":"Q6152513$21AD7604-92A1-4956-BD28-3762A2B20D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"295e6c00cb13fd7c0b91e22aeb2c5fca0ba6fc1d","datavalue":{"value":{"entity-type":"item","numeric-id":2986731,"id":"Q2986731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2521389f5b7708430625a06761067ec3f1a2ed29","datavalue":{"value":{"amount":"+0.7596925497055054","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":"Q6152513$A6588233-AC87-4A22-A0E0-4B8C365194A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a28e12b549d1774a26740a88a5632490d85fb331","datavalue":{"value":{"entity-type":"item","numeric-id":2985872,"id":"Q2985872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9f0ed41de61d6be6a62ad6e797fc947ba3cb0a","datavalue":{"value":{"amount":"+0.755695104598999","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":"Q6152513$6C34198D-3FAB-4175-AE03-F84CB4A67FB9","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":"Q6152513$E1DDBC80-0D8B-459F-8CB9-3E3BD2F5F2E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6152513","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6152513"}}}}}