{"entities":{"Q6137513":{"pageid":13271820,"ns":120,"title":"Item:Q6137513","lastrevid":58711077,"modified":"2026-04-06T10:29:39Z","type":"item","id":"Q6137513","labels":{"en":{"language":"en","value":"Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7733703"}},"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":"Q6137513$C18D6B4B-CD3C-4224-8679-10DEB13E36FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df5559d7cd0b738c026b79e7904d5d3a986f9f1a","datavalue":{"value":{"text":"Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6137513$AE669E41-FFC7-41C3-A863-D949D56C7B8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137513$BEABC4F0-829D-4B27-A009-42AB05E05A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556d50c1b83e8f28bc968c0bdf2bc4419b8ca47a","datavalue":{"value":{"entity-type":"item","numeric-id":262423,"id":"Q262423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137513$74812270-C0F5-4993-9CCA-637ABA51E730","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6137513$F145A65F-C845-4614-90A7-3A2E04722B6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f664a85fd4296021d6538ba55770110075648ec1","datavalue":{"value":{"time":"+2023-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6137513$B23AAECF-A1BA-45B1-95B3-AD2567A884ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43580613a10be65bd3e14767b8fed8415a535d5e","datavalue":{"value":"https://arxiv.org/abs/2007.01773","type":"string"},"datatype":"url"},"type":"statement","id":"Q6137513$B13BAAEF-B234-4138-BEE1-B8FFE8A3627D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137513$6FAA7A9E-3CF2-41AA-BC43-70DE3AFBF1B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31deaf407e7f6bfd9a4dd850afe9b1eb1e23883e","datavalue":{"value":"7733703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137513$47A80E3C-27B2-4B25-96DA-CF3CCB66CA2B","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":"Q6137513$552D85F3-C344-4CB8-B6F4-5BE98FA569BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fcbcfa18db061a2b06d773c6f576ee6e63dc858","datavalue":{"value":"W3040175145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137513$332AA967-73B5-4D8D-94D1-FAE0D483F434","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e177ee8aa89d1565d10d2fb1383ad777c813b414","datavalue":{"value":"10.1109/TAC.2022.3143108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6137513$1AD7CA38-D2FA-4D54-A634-BE371C5D1E05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6137513","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6137513"}}}}}