{"entities":{"Q453498":{"pageid":455265,"ns":120,"title":"Item:Q453498","lastrevid":51563453,"modified":"2026-01-18T19:24:59Z","type":"item","id":"Q453498","labels":{"en":{"language":"en","value":"Antichains and compositional algorithms for LTL synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087619"}},"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":"Q453498$9B3BE98F-8A34-4BAB-8BE6-B8EE08E326FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd5dc2610498356199b4e21935574e21de063082","datavalue":{"value":{"text":"Antichains and compositional algorithms for LTL synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453498$E7A4C3F0-D881-4EC9-8D20-22016B8C439A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85aaf6b21ea3f9df83cf99d69ef20011fe119f2e","datavalue":{"value":"1258.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453498$AAF2BE02-7AA3-410B-B29A-46B5D0E877EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c484714b6d84cb7bd9fe483e9d2b43a21d9a07ce","datavalue":{"value":{"entity-type":"item","numeric-id":453495,"id":"Q453495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$AC438D70-A3A4-42BB-BDE5-FB881AAE5E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ed3111fc16a680409ace34c2c72912c84571727","datavalue":{"value":{"entity-type":"item","numeric-id":453496,"id":"Q453496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$53462A54-A574-4B90-8ED8-A167F7EF3EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$7E7AEB3B-5A60-453E-929B-CF46612AC2A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$6C984BBE-F8CC-4950-B754-7ED6E61B99B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453498$0B5C1755-C381-4200-BD28-8FF14ED4B09D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453498$1B0BE0FA-A9F2-4732-8D19-E527E8DCFAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453498$4363E09A-4B70-40E8-9FA4-A61EF95039D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453498$AE254650-B778-4C2B-9B5E-8422B78C004D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453498$556256B7-9ADE-4BA1-8502-491A8FA3DCB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f70091086e3f77edc943878d4177505991bc5d8f","datavalue":{"value":"6087619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453498$CEF82EBA-4456-4A54-B264-821CA7B489A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0663c195d242c8ce585213f9da9318019e2c92ad","datavalue":{"value":"LTL realizability and synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q453498$607E80B7-3E76-451B-B769-AEAB779A1EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c927d85990bc074284bdc99549eb379bc18f1eb","datavalue":{"value":"automata on infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q453498$F80D4F7A-7321-4907-B140-F069AF7266E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fba79d82e1e6a92605fcb14b1bf756297398327","datavalue":{"value":"compositional algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q453498$CB022BF1-DB68-4CBC-A881-8AB17F7CBA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a55573aa57dea6d164f09660a3dacca1d8b4589","datavalue":{"value":"antichain algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q453498$100DFA1D-B4D6-4762-A46C-51846B8A4EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"097147ef5b60373ad542415affb346385166ec1f","datavalue":{"value":"safety game","type":"string"},"datatype":"string"},"type":"statement","id":"Q453498$6C52F461-827A-4613-B686-F3C83956AF94","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74fb7b0e57b9fca797ae3d6e69eaff9176bc90bb","datavalue":{"value":{"entity-type":"item","numeric-id":32028,"id":"Q32028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$D60CD41B-8020-4B21-90BF-C0D79E0DE806","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":"Q453498$4AE2D000-1EE1-4BE8-B57A-8EDDEF336EDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"901a69de828b259956a911bff4863bc8bb88a843","datavalue":{"value":"https://doi.org/10.1007/s10703-011-0115-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q453498$3128F6EB-CCCA-4EBC-94D3-4BC146EBB52E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4f8cd89f0223f114b8440bb1cefb7f8bab77a1f","datavalue":{"value":"W2108036288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453498$C4682F38-70B8-4F8E-9A6D-6CE31B822F92","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":"Q453498$3A4A1DEA-4BB0-4039-98C3-A4E87F3793C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78de3fdf56cb4e5e81c0f0b62ce4a709b2319709","datavalue":{"value":{"entity-type":"item","numeric-id":2946678,"id":"Q2946678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$88B429FA-A8D9-410C-8437-77F786A3D40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104c858b096e3970a05febe3d3b6e8ed49332047","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$A8B3D710-3379-45D8-9F68-94ED636E9365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$F1FAA624-3EF4-4E11-90C0-5E66F2A13183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299f0e222fa0320068daa86655dbdc8583b9cf48","datavalue":{"value":{"entity-type":"item","numeric-id":3636866,"id":"Q3636866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$501A292D-4B83-4C04-AD37-E30D21C63762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ec31e7506b6383541d48bad1c43867486757dc","datavalue":{"value":{"entity-type":"item","numeric-id":4931287,"id":"Q4931287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$3A485FB5-FB20-427F-BB48-D7F26EB59A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$6CE97971-70C0-4E9C-B1F4-D0C639E070C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f6a5ae3cba37781f312c25bfd6cc7cd806a071","datavalue":{"value":{"entity-type":"item","numeric-id":3519514,"id":"Q3519514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$67B26098-363A-4EE5-A4FA-D3F339A2F4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ba6c0b32dbfe212457813f2bac09240d527b94","datavalue":{"value":{"entity-type":"item","numeric-id":3184691,"id":"Q3184691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$91C025A9-4EEE-404E-B737-0082173E2CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6242e3bb9ae42e7f42565ab98d4f8cd4a7dc19fb","datavalue":{"value":{"entity-type":"item","numeric-id":5756733,"id":"Q5756733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$43E4A993-6583-4131-A93A-828C14DFE8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03bae865263c1c7591612f5f9d98133694053e3","datavalue":{"value":{"entity-type":"item","numeric-id":2996151,"id":"Q2996151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$6F821466-C23A-472B-A93D-6FC15DD26626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$3E29E49B-A70C-4EF6-AB4A-84E360ACBF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$8C23B76A-561F-40FF-87DE-E6830810ADBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$AB8C9A1F-AB9B-41F2-90A9-37F3AD9835A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$A4CF5656-27D0-4FBF-A9B3-C036A372EC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37903fdb19e3a915f3982502b6ee0513d911a253","datavalue":{"value":{"entity-type":"item","numeric-id":5426070,"id":"Q5426070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$9B6C56AA-393F-40CF-8BEC-312B760103AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$C0646F70-91A4-474C-811D-2B1F9C334749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$83941859-7929-485E-93E6-8F18509B96AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f406c2e61a8f11f8b13ee95227117f1cfc523bb1","datavalue":{"value":{"entity-type":"item","numeric-id":5452202,"id":"Q5452202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453498$B2CA81EC-F8B8-403E-BEC6-FFA3B7F21DBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26eebe5e687c2893f0e24aa09a53f27e064a3aa4","datavalue":{"value":"10.1007/S10703-011-0115-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453498$FD865234-D9FC-4330-870C-A1B7E1B967EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1570e8e6df9a166de21e9ab2855050a8664ac45","datavalue":{"value":{"entity-type":"item","numeric-id":3636866,"id":"Q3636866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd3d1ff900ca411198ff6bba81da8f47a1261c7","datavalue":{"value":{"amount":"+0.884401798248291","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":"Q453498$B41B5CD4-734E-48CD-BC67-D4349ACD170A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf658730e9a48c423dda7e0d7cceebe191f0983","datavalue":{"value":{"entity-type":"item","numeric-id":4931287,"id":"Q4931287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab49cb8ce6dd5e802336a50d91a6e3336fdc4de","datavalue":{"value":{"amount":"+0.8774351477622986","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":"Q453498$5ED8F4B6-8A5B-4890-AD5A-3CE4EFD6FDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6b166ecf7fd7445718355f002efa34eead7b5a","datavalue":{"value":{"entity-type":"item","numeric-id":5326323,"id":"Q5326323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aaccb5a67dbfa2d20c387c2502afdd1d0c71591","datavalue":{"value":{"amount":"+0.7966622710227966","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":"Q453498$5EF93B9F-A1D2-4EE2-8E35-70A82AE31E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa86de10144a4010f88c0aeab80cb20d4b77374","datavalue":{"value":{"entity-type":"item","numeric-id":5756733,"id":"Q5756733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26206c441d9ae5fcfb2d1cc98c1eb00b81d85cff","datavalue":{"value":{"amount":"+0.7813764810562134","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":"Q453498$61B286EA-F81E-43A9-B166-05BCEDE471EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fa1107f8b9bd660c161dc4409122d478a016bd","datavalue":{"value":{"entity-type":"item","numeric-id":5703780,"id":"Q5703780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75731ab491bb8172a1be51a030d8aeb730d20c46","datavalue":{"value":{"amount":"+0.7798526287078857","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":"Q453498$CAD75888-0B1B-4BD9-90B5-32DA8E17288E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:453498","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:453498"}}}}}