{"entities":{"Q4543946":{"pageid":6573538,"ns":120,"title":"Item:Q4543946","lastrevid":97193426,"modified":"2026-06-05T13:33:23Z","type":"item","id":"Q4543946","labels":{"en":{"language":"en","value":"A new approach to synthesis problems in timed discrete-event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1778051"}},"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":"Q4543946$71180544-0AB9-4D25-A97D-E6F7516BE4CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfd8fd4d47bf175cb0ee9f58a4b4eb5b8de34fed","datavalue":{"value":{"text":"A new approach to synthesis problems in timed discrete-event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4543946$A63CF9D4-B0BA-467B-B470-37D24F8ED3FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0329211a1143b128d9ae6022f6818fe6283caf0","datavalue":{"value":"1015.93035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543946$118817C5-FE3A-428A-93CD-80616023ADE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc7b8a79f23d6f67af84ba982fc49cfc2dc6a480","datavalue":{"value":"10.1080/002071700219515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543946$0E1F2150-E8DB-479A-90D4-9C5FAD0FD62C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"adb11228dd88ea0900d05a52f9780203fc305608","datavalue":{"value":{"entity-type":"item","numeric-id":629048,"id":"Q629048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4543946$03FCCEB5-5189-416B-8F08-5914F9CEB6DD","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":"Q4543946$D9084654-3DF6-4F66-99AC-E34994F6D78B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2c2d8d3dd4a8690ba8711602f46bcba7029c944","datavalue":{"value":{"time":"+2002-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4543946$F3EAA47D-2D0F-4408-8D61-08746773A005","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543946$6CA2E713-3FB2-4127-A73C-5EE4ACD20314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543946$8E93387F-9512-4C9C-A4F7-0CEF11942EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543946$DFD0837C-CBBF-4A79-8D35-644609FEDD9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0db4d59f6a319c8253f07abd7e7c87844cd73561","datavalue":{"value":"1778051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543946$4A3C05BE-5AAF-4529-8F91-7E7391B7EE01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94ca68da4f19827fca3437437bd12318f7ffdafe","datavalue":{"value":"feedback","type":"string"},"datatype":"string"},"type":"statement","id":"Q4543946$EF4C680A-112B-4EDC-83CD-AD19EEA5AFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be111b3dfd1766988d616f95b1261e9367f364a2","datavalue":{"value":"timed discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4543946$AC6AEC47-A92E-4113-A7EF-67E309448B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7db3589c997516bb4e8da8ce2ff497f515ed50ad","datavalue":{"value":"global digital clock","type":"string"},"datatype":"string"},"type":"statement","id":"Q4543946$DC3487F7-1952-4794-8B25-D420C8AB43A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"311c918aa73c0095f25f775f111e8abd535d104e","datavalue":{"value":"optimal solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4543946$7B92A612-47E9-4327-9195-0B547685B1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"242358e364d61ded6d3371fc5d48f84ae708f4eb","datavalue":{"value":"manufacturing system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4543946$28EA9EE1-2F9C-4DF3-9923-2ED5A27F16A9","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":"Q4543946$CD2F58A5-1A66-4ED9-B9E8-8EBE0DE7028B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d539abc6826c5b40d4c500ed8163c0e292649d9","datavalue":{"value":"https://doi.org/10.1080/002071700219515","type":"string"},"datatype":"url"},"type":"statement","id":"Q4543946$0A444DE9-372F-4D5C-AF7E-D288FE02CFB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24621f3cc7469411e5335e8ebcb240078cc10231","datavalue":{"value":"W2086425605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4543946$A8B5A9EB-5934-43DE-8401-7132C9EFAA23","rank":"normal"}],"P1643":[{"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":"830be540a1d6df4319975e7ee413c06eee044cdd","datavalue":{"value":{"amount":"+0.831965982913971","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":"Q4543946$B2E96FDF-AA7D-4D93-B999-0C0C7A64D905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b376c6353efcfa59b83ceb12106d12432b516f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4297249,"id":"Q4297249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4131f78a53eae4d3d8e8d33653fbbd62545db96","datavalue":{"value":{"amount":"+0.8173151612281799","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":"Q4543946$ED70AAE2-D0D9-4897-8F6C-612C841A3041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbef77f38d3a2a31f1e5e11df7385ffa4b3c7f3","datavalue":{"value":{"entity-type":"item","numeric-id":4809975,"id":"Q4809975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf527c3435466286d9f1ebd157e7e5a092c81ab","datavalue":{"value":{"amount":"+0.788123607635498","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":"Q4543946$D448958D-4211-4E8E-BB43-3E39FA6FE037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"680bbfb7c3305c42ed682597bec459a177d98a4c","datavalue":{"value":{"entity-type":"item","numeric-id":2799231,"id":"Q2799231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6bc0d391a9af5452a3f1878a5ebe234d74c9739","datavalue":{"value":{"amount":"+0.7850648760795593","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":"Q4543946$40F9369A-02B1-4F34-9564-02C5E031437C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254b5a2c3987d882a275c988bfa26d8cc52ebb27","datavalue":{"value":{"entity-type":"item","numeric-id":1008779,"id":"Q1008779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3eef663225ee02dcbda10eb4a02f2d68879846","datavalue":{"value":{"amount":"+0.7816683053970337","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":"Q4543946$54C579D5-1D3D-471B-9D9F-01C97CD76FE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new approach to synthesis problems in timed discrete-event systems","badges":[]}}}}}