{"entities":{"Q4506591":{"pageid":6536184,"ns":120,"title":"Item:Q4506591","lastrevid":97254023,"modified":"2026-06-05T13:43:24Z","type":"item","id":"Q4506591","labels":{"en":{"language":"en","value":"A method for the synthesis of controllers to handle safety, liveness, and real-time constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1518095"}},"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":"Q4506591$038A8053-E27D-4A2E-AEE8-82043A21F5ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8616820c53fd4c274bd594389c6d093adc7cb04a","datavalue":{"value":{"text":"A method for the synthesis of controllers to handle safety, liveness, and real-time constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4506591$59B71312-6438-4450-878E-E97C8A72441F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"811749afa83ecce122294d693247b2721759db56","datavalue":{"value":"0986.93040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506591$7A44A7CE-A384-4EE5-91F6-F6DC3A83C0F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebee31ec48eec1774d1a6b96d1e41331be814a97","datavalue":{"value":"10.1109/9.728871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506591$D5024BE6-6486-4EC8-B83D-4CC0AB9CC299","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad964659b8ca9f15f2f375f0327a19077b64f86","datavalue":{"value":{"entity-type":"item","numeric-id":534765,"id":"Q534765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506591$87FA7EA0-A445-4207-B3A2-C26810977EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d6aa00ec3a37c2a52c9f278d28ea0df06b20faf","datavalue":{"value":{"entity-type":"item","numeric-id":1383349,"id":"Q1383349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506591$5F06BA39-34F3-4D78-A7F7-92C6344D0305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea1877e0b2fc7289eda5e03ce8eb5b6597577062","datavalue":{"value":{"entity-type":"item","numeric-id":1300105,"id":"Q1300105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506591$0EC3583A-ED7F-4EDA-A50B-B1A64698F616","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":"Q4506591$8734AF79-0D0E-4EDA-A15D-4F7BDA4DBC6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cd021da003ce90b694dcd1b369ed11b6f26639","datavalue":{"value":{"time":"+2000-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4506591$76FD8FCA-C62B-4F4D-AFBA-9414D80367CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506591$36A0E4FB-9BF0-4774-B2B9-AEA0844B684A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506591$B3932C1F-BF99-4335-9A56-67CCFA4C7871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506591$A33EAEF2-93D1-400D-80C2-8AAB9B2573DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506591$4CCBA61D-6B97-4A4C-8EA7-99CD3209D3B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b7320d7a9a0f8963ed08a91c744cb9ad83ef7a0","datavalue":{"value":"1518095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506591$838D278F-EC77-4C66-BEE4-A4ADEF7327AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506591$262637A9-7625-4996-8925-D73E0A1F9B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dae1ddc40c5bc14249d27014082997a1d2291d3","datavalue":{"value":"\\(w\\)-languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506591$AFA84A6A-FB25-4A2B-A185-F336C722BD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c9c1e7aad2e1136af7e6ca09cb49b1acaca1cd8","datavalue":{"value":"metric temporal logic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506591$C4EE788E-D25E-48B4-8831-7A07A69BEE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506591$AD78554F-6228-43E2-A22B-E8E0D89E1AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be111b3dfd1766988d616f95b1261e9367f364a2","datavalue":{"value":"timed discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506591$0306B69E-948A-4426-B864-EB116D12F373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2182ee586508716fc67e459fbc2610ec44ca3e41","datavalue":{"value":"timed transition graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506591$E18C6E33-5F54-4543-BE85-EB4B585C312B","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":"Q4506591$21B94DEC-60C8-4161-A209-49303B49B94C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abf06cd2eaae76e703f0a30701ca5b32d890cd7f","datavalue":{"value":"https://doi.org/10.1109/9.728871","type":"string"},"datatype":"url"},"type":"statement","id":"Q4506591$7E940536-BC9E-4636-AD0B-A6AE9D5AD969","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43653164246228db8d838466cd5e7a509d03d684","datavalue":{"value":"W2147006355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506591$7614D93E-C2A4-4DCA-9B1D-641F4B93C6D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52029856dd4271764038e50991106679c269cc80","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b290f464e279d53b32db3a65ba5def5b5920f9d","datavalue":{"value":{"amount":"+0.8445260524749756","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":"Q4506591$B3584992-B5D6-428D-BB59-618DFA0D6917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79cc718f9b774273001cf6a29243b148ed127a0","datavalue":{"value":{"entity-type":"item","numeric-id":2894283,"id":"Q2894283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ec0aa59ddc2cf68f9a62feb7d26ccad2eecdde","datavalue":{"value":{"amount":"+0.8237643241882324","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":"Q4506591$3585BAFF-2798-452E-A2AC-DCDC436FAC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfffda094391927ccce10b9c85fa9d688069294d","datavalue":{"value":{"entity-type":"item","numeric-id":5429317,"id":"Q5429317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bad77aad6c2905d32a42b64141f6445e6fe2e7e","datavalue":{"value":{"amount":"+0.8188778162002563","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":"Q4506591$3FA8DE94-5613-4138-B2B9-B95E02267330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47570b53badf4ffdd63dbd6dbb55c92dfcbdd970","datavalue":{"value":{"entity-type":"item","numeric-id":2249659,"id":"Q2249659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b1aad8006f44818f73039fe99b16f8a9bcdc60","datavalue":{"value":{"amount":"+0.796435534954071","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":"Q4506591$83D9373E-4A63-4D9B-A5AE-CD9FD4F52303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc5e02578e4965f9fe7b4d3f61dfa37bd305591","datavalue":{"value":{"entity-type":"item","numeric-id":5756610,"id":"Q5756610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2298acbf61a54795f8f58e132dddfbf02b144f4e","datavalue":{"value":{"amount":"+0.768902063369751","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":"Q4506591$FAED682E-DAA1-408B-A2B9-7BB1CD0D9C9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A method for the synthesis of controllers to handle safety, liveness, and real-time constraints","badges":[]}}}}}