{"entities":{"Q4460523":{"pageid":6490122,"ns":120,"title":"Item:Q4460523","lastrevid":81834200,"modified":"2026-05-06T19:27:55Z","type":"item","id":"Q4460523","labels":{"en":{"language":"en","value":"A method for the modular synthesis of controllers for timed discrete-event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2065894"}},"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":"Q4460523$F0D45C8D-238C-4F92-A0D8-FF8E2273F329","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8aac52cf373a765d41da584771aa2e6130d17d68","datavalue":{"value":{"text":"A method for the modular synthesis of controllers for timed discrete-event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4460523$AB268B63-3730-438C-BD10-D159A533E0A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f3a022cfdb8a2c2d158126c2e0e6de8a3ff6195","datavalue":{"value":"1040.93048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460523$F2944134-DFB3-41B3-8AEB-CFA658A351A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d13f650de5c7bedbadeb6dffc49125b0889ba40","datavalue":{"value":"10.1080/0020717031000088210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460523$F96B6664-72A5-4A0A-8EB8-845FA209986E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fd1f09f03b2151af9bae64b3990df459d820d19","datavalue":{"value":{"entity-type":"item","numeric-id":159993,"id":"Q159993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460523$4B50FAB9-AB69-4C93-805E-760FEB81C2E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f2c658547352f67a9de92adfcc83c5224bfe428","datavalue":{"value":{"time":"+2004-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4460523$25372CBE-B4EB-4936-987F-CB7A23B77C3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460523$969B7E02-A716-4B44-B7F9-B23F48972661","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d7438306dddda77264bcaced9322aa8fb64245c","datavalue":{"value":"2065894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460523$A6204F3E-11B9-498D-91AB-B703ADCC724D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460523$D17401C1-02C4-4520-9045-741A10EDF4F7","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":"Q4460523$00989DE9-A906-465A-A839-8DBF621F1DA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dbda014f7461e9c434d42455217c8c07db97341","datavalue":{"value":"https://doi.org/10.1080/0020717031000088210","type":"string"},"datatype":"url"},"type":"statement","id":"Q4460523$1E01A094-89F5-4E9F-BD12-B9D0CB1D89F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94655d74f0c7f1f852405d12c7dbe0f8abff87b0","datavalue":{"value":"W2012006165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460523$54665AC8-EF73-48F1-8B70-19A7080D1287","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460523$F0E08208-06FC-4C97-A07A-EB586EA04B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"221a6db2135cc970e2a91b53de79f97dbf3ffc54","datavalue":{"value":{"entity-type":"item","numeric-id":4506591,"id":"Q4506591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460523$C141708C-1151-42C6-A9CC-DDAD8414168E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1fa06990c14b68b91f6a9c81557de8c6aee44db","datavalue":{"value":{"entity-type":"item","numeric-id":4297249,"id":"Q4297249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460523$7ECE2339-00D0-418C-9634-4465EAB94ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460523$AFC0EB0F-B510-44DC-8CAB-BBD9BECEA8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4002a7c1c0fd328468e1d7f64ed9c61989ecd5ce","datavalue":{"value":{"entity-type":"item","numeric-id":4543946,"id":"Q4543946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460523$93B8EC86-0225-4773-B95B-DA58039DB46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460523$F105477C-0350-4057-8EAA-3F358C7E1394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b176f2b47272d5b320456acd7b6bb655fe3057","datavalue":{"value":{"entity-type":"item","numeric-id":3493236,"id":"Q3493236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460523$A2426EAA-9349-4C0E-AD5C-632453932AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460523$F9BE8A29-0BDA-43E1-AFAA-5EBF762C1803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0806fb681496566fad655db0a40418d191770ea","datavalue":{"value":{"entity-type":"item","numeric-id":1113863,"id":"Q1113863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460523$7FFAE59D-9F4C-4B2C-B3CA-017155ECB2CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f3f75f62d6c31773eeda088282602059c48ad99","datavalue":{"value":{"entity-type":"item","numeric-id":3591395,"id":"Q3591395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fadae1ab4c22e8169afe7f48ca9a3f800a94f2a","datavalue":{"value":{"amount":"+0.8207946419715881","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":"Q4460523$6FB4C790-16C6-4DB2-9DF9-17085E7BBB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069479d9de3e3a9dc479df051e91406a770f8a28","datavalue":{"value":{"entity-type":"item","numeric-id":3550771,"id":"Q3550771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce4c1dd641dc27c7d9be01e8f29a1d6beb56295","datavalue":{"value":{"amount":"+0.8115521669387817","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":"Q4460523$CC857326-1273-4C5B-A168-926F96A77CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5846986a0890f311d7635ede0db22f184c6583ca","datavalue":{"value":{"entity-type":"item","numeric-id":2464943,"id":"Q2464943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e32c5fe0770ea4994ba1287dc63cdb17a940b0f","datavalue":{"value":{"amount":"+0.8053526878356934","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":"Q4460523$6D7EE8C3-7C75-4345-B796-E47D46165F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4141e300a80973cb58604e1cf31fc964d147bde2","datavalue":{"value":{"entity-type":"item","numeric-id":3727828,"id":"Q3727828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcede4bbc1289848f3ffadf3d5d0a381933838c7","datavalue":{"value":{"amount":"+0.7995173931121826","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":"Q4460523$8854408A-D4D4-4633-BBC2-AD5A76E4711D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"554405c6235b7e3c7f841e942847b5cba7ac8737","datavalue":{"value":{"entity-type":"item","numeric-id":2489593,"id":"Q2489593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a9b4dd55815bf9d3397dcb58a605b5a5ebdb3b6","datavalue":{"value":{"amount":"+0.7983056306838989","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":"Q4460523$10109727-7536-44D2-BD77-5B3FD70AC17A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A method for the modular synthesis of controllers for timed discrete-event systems","badges":[]}}}}}