{"entities":{"Q6577230":{"pageid":14188385,"ns":120,"title":"Item:Q6577230","lastrevid":55713220,"modified":"2026-02-17T21:30:32Z","type":"item","id":"Q6577230","labels":{"en":{"language":"en","value":"Controller synthesis against omega-regular specifications: a funnel-based control approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7885561"}},"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":"Q6577230$4D906100-385C-4739-BAC3-8122F355315F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a43c5f05480a05add38e728340fc3af0cc644f7","datavalue":{"value":{"text":"Controller synthesis against omega-regular specifications: a funnel-based control approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6577230$DB9B8545-280D-477B-AA48-1D783757142B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e9fd6cf4e3b921f07e5e8600d6dc168ff7ed31c","datavalue":{"value":"1543.93083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6577230$1C5B3DD2-7256-4794-BD90-2001B39D240F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08f3c07802447fb11b93fe0f5d51a407da14ba7f","datavalue":{"value":{"entity-type":"item","numeric-id":2288644,"id":"Q2288644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577230$DA32D40F-D556-41C4-A18F-16300BC8BA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe955b6b42974a970b73af02150e7e2737b8ec1","datavalue":{"value":{"entity-type":"item","numeric-id":290856,"id":"Q290856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577230$6F441760-C487-45BA-B54F-7B1D398821A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"50b8674a675fb6cb1ce5f58b071e4afdb153e2c6","datavalue":{"value":{"entity-type":"item","numeric-id":2710025,"id":"Q2710025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577230$44E2B0E3-6098-4B5B-97D0-D32C1809A8F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce4564c293f4f780689742e5eeb4c27c886a300f","datavalue":{"value":{"time":"+2024-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6577230$A706AF2D-59E7-4162-919C-2EC945EC4B1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6577230$F2309E44-DD0E-42A8-9613-F3F0D5D64ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6577230$84D6E864-6C09-404A-A4F4-730F6F5471F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6577230$36F80D56-0AFE-4F29-BDCA-45580C34E70F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5f407e8d0b9e9aa905769c934d78907917b4c33","datavalue":{"value":"7885561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6577230$9B65DC8F-1498-49E1-B90F-7BA24D48B04F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cc0921e528eb6e18c84e9b7097d68186cd07147","datavalue":{"value":"formal controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6577230$6EB0AA96-1CDF-485A-B80E-EE05C17795B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4571e1b2a7c04832c93268b77da5c522c474e29","datavalue":{"value":"funnel-based control","type":"string"},"datatype":"string"},"type":"statement","id":"Q6577230$85D091A1-18B8-4205-B08C-E978A36B0B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"334522d6ac7bba332cfb78702e9e112ea6504466","datavalue":{"value":"omega-regular specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q6577230$F1A1BBA6-BE8E-4A77-9A95-92559AFEB28E","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":"Q6577230$21192AB2-AA76-41AD-881A-940CEF0666FA","rank":"normal"}],"P223":[{"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":"Q6577230$A63CDF75-F78B-4E69-97C7-BDF0AD815EC7","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":"Q6577230$196753B7-930F-4BD5-B9A0-09AD41F0552C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1dd0f4cae72d558b20db215b1e53e309789c870","datavalue":{"value":{"entity-type":"item","numeric-id":2988917,"id":"Q2988917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577230$05388097-6A87-4377-9C3F-4AACF258F73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77fb1ff326d8f7042393e8cf49b08dafe22984e0","datavalue":{"value":{"entity-type":"item","numeric-id":6122791,"id":"Q6122791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577230$A8785FFC-AB85-4D7E-80D1-3DBCF9807466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7fa800f9f07f45f358e51bd0af1b9152f42e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3297675,"id":"Q3297675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577230$5F72423F-7776-4A41-AA1D-8D11D37BB59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc2b7310e369b75026b04474ec4b66e8aae743ff","datavalue":{"value":{"entity-type":"item","numeric-id":463908,"id":"Q463908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577230$2B234641-0333-4DA2-A6EE-DE35BD8F0AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7b3409a5c576b7c1a3d70288c33d209b930d6b","datavalue":{"value":{"entity-type":"item","numeric-id":2280776,"id":"Q2280776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577230$FE942191-76D5-4084-BB40-3DC598294994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91afed8fb1cac2b68f5d65f804119066017e2068","datavalue":{"value":{"entity-type":"item","numeric-id":4990146,"id":"Q4990146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577230$C97709FE-88DB-4355-86A6-4EC0A79DB4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577230$14CACD5E-4BFC-46F2-A97B-1997F2D77BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577230$33051756-46BB-46CE-9564-64009E02EB3A","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":"Q6577230$E55D97E1-0097-40DC-93A6-B6E8202C4301","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":"Q6577230$B3511AA2-548C-4BE1-BF1B-6EF439B0C65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e69e98c222601cb3c313e129bd3cbb56419991","datavalue":{"value":{"entity-type":"item","numeric-id":2979390,"id":"Q2979390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577230$47E76364-6507-41FD-8CB4-3275FD2EFCDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f03bcdb34680c58be5d7e51e8f1e13168417b37d","datavalue":{"value":"10.1002/RNC.7339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6577230$C2393CB2-BB52-4D97-BB2C-4764EBE407DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9fc9975402712ebf1197a9ba0ea7ce2e9abb385","datavalue":{"value":{"entity-type":"item","numeric-id":2116657,"id":"Q2116657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe27da74d535623532b3dfdf454108f7cd216ad","datavalue":{"value":{"amount":"+0.7980793714523315","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":"Q6577230$69959FCF-3605-479A-AA98-0CCE9B22DF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc38d43d72d058319de60186a76a5c4501f28c35","datavalue":{"value":{"entity-type":"item","numeric-id":6122791,"id":"Q6122791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989fb79d5e3380abc09091f9b7e501a6ced26d0f","datavalue":{"value":{"amount":"+0.7712682485580444","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":"Q6577230$4D08551B-F9A0-4E15-B4D8-9B1FE3AAE0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100f990fbd0f4b1c2d21fa0d026beb39723c8444","datavalue":{"value":{"entity-type":"item","numeric-id":2665407,"id":"Q2665407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15fc551450eec3ae456e128820add33507a019f1","datavalue":{"value":{"amount":"+0.7594057321548462","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":"Q6577230$95271AAA-944F-42B4-A1EC-697D5FB88E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da40b12d24363a4aba0ce4a331b228ade6bc75a","datavalue":{"value":{"entity-type":"item","numeric-id":4561444,"id":"Q4561444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f81a244fa16cb37e211c4cae85591f3727ec74a","datavalue":{"value":{"amount":"+0.7530971169471741","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":"Q6577230$CA315068-2F53-4DD7-94F8-3A0A4C4D4E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e928dacf1aefd82b3094ca50b761deca296d4251","datavalue":{"value":{"entity-type":"item","numeric-id":6194595,"id":"Q6194595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07dd91f6b8c28c487482cf5aa9bdcbfb3b6e372f","datavalue":{"value":{"amount":"+0.7443257570266724","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":"Q6577230$36516331-C88F-4A25-9E4E-6DB1976F17DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6577230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6577230"}}}}}