{"entities":{"Q5147341":{"pageid":7176912,"ns":120,"title":"Item:Q5147341","lastrevid":100348526,"modified":"2026-06-05T21:55:07Z","type":"item","id":"Q5147341","labels":{"en":{"language":"en","value":"Solving inequalities over finite state machines in the reactive systems design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7301741"}},"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":"Q5147341$D97CFF2E-D405-49EA-A0D7-89F5B797BE90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4b9a9f3ee0605804e1b5fbd899a4dc3b41e20aa","datavalue":{"value":"1472.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147341$24A06216-A998-48C7-A192-5370DC9F5B67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c37197fdcc622dda62b1a70d213b12db611eb0","datavalue":{"value":{"time":"+2021-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5147341$74CB74A4-7B4B-4D9D-A936-3764AF2E379A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87e91a3677b5386d3b059572118709dcb5762789","datavalue":{"value":"http://mathnet.ru/eng/pdm236","type":"string"},"datatype":"url"},"type":"statement","id":"Q5147341$E715F9C3-E35E-4053-9C83-D08C66DF6C70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147341$5536BE29-A3D9-44DC-9031-DE7C3D6CCADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147341$62A28AA4-C33A-47B6-AAF8-DDDD7C5A4586","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90c0c3f0c86137f6cf3e69b4ec9cf759ae93ae7b","datavalue":{"value":"7301741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147341$91E63A86-F59D-436F-AFDB-CC563775F894","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed758d98b3e9847079dbc303878ea040a0bd64b4","datavalue":{"value":"reactive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147341$07488ED5-00C7-497E-A173-B99D99B0CED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aedd7f93047311972361908e4ee1f0e82354605","datavalue":{"value":"language \\(L\\) specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147341$41C9DF30-08B9-4AA2-9201-464D324722F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e00c913a8a3712d0b0da4b20e00436ed461d49ab","datavalue":{"value":"\\( \\Sigma \\)-automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147341$953BAD53-F4D1-43A0-A037-01FF112481D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"443e3e74577031fa131888468af680042d4b83fe","datavalue":{"value":"synchronous composition of \\(\\Sigma \\)-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147341$D2E0CD37-5A09-473B-902D-1478731C8761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53b838c53f4bf1dfe0c5784ddf2617d72eb1a9d6","datavalue":{"value":"inequality over \\(\\Sigma \\)-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147341$A506D978-9F71-4B9D-8601-D0CF6445DBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1be1140338abfa526ad3da76ebcf20cc48c61d24","datavalue":{"value":"maximal solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147341$24BA9715-6038-4C4F-A039-DAAEED4904B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b856f185edb2a579a72c40fa0c8e1f739df71b9","datavalue":{"value":{"entity-type":"item","numeric-id":1127547,"id":"Q1127547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147341$CC580B80-0AC5-4080-9EB5-AD34FB14D1D6","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":"Q5147341$32EA4DD0-8BCA-4A15-91BA-05A628C90612","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bdb7e88d4cb56dbe386cc7e0ba97cc60cb8630c","datavalue":{"value":{"entity-type":"item","numeric-id":3564943,"id":"Q3564943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147341$0AB880BE-BBD9-4504-8842-B2559861C201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147341$938746F5-6FA3-4EAF-909A-E15972F6A575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fe682707527e51d1912b797be115404652a89d","datavalue":{"value":{"entity-type":"item","numeric-id":1895045,"id":"Q1895045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147341$D2AE9F67-AECB-4DA0-9AEC-F1D7A5ABD146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698c9f18b029abab76114b4fbf0c96a432692eba","datavalue":{"value":{"entity-type":"item","numeric-id":941189,"id":"Q941189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147341$6FADFD33-B715-4C37-9679-55D9FDD49067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10b5a80169168a18fd251bf1eb4b8f64335e55e","datavalue":{"value":{"entity-type":"item","numeric-id":5942109,"id":"Q5942109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147341$F406D6F3-82B0-4F3B-849F-F52F8D7E4A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3e875e3ba038b614b938597c7f8aa588deb2aa","datavalue":{"value":{"entity-type":"item","numeric-id":1816030,"id":"Q1816030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147341$25F785E8-15B9-4B92-8A39-45B61FFCDF92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f60a3be98dc00c27cef0aacce4883fe8d7d77e1","datavalue":{"value":{"entity-type":"item","numeric-id":2263188,"id":"Q2263188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31573639208f52433d87ef77825425c9f4b47d54","datavalue":{"value":{"amount":"+0.94707590341568","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":"Q5147341$0D9D0955-F9DC-4352-9F03-C4D7BBA6DBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"303c34ee201aab62d2647be14c65e612442c7328","datavalue":{"value":{"entity-type":"item","numeric-id":3602822,"id":"Q3602822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f3f62257f7b3373a55e4cdfce45925497d313f","datavalue":{"value":{"amount":"+0.7400833368301392","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":"Q5147341$ECD57C7E-A5B5-4020-9A3B-FEF2683A9980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51e2215aa75f3d54058449d520efd6eba886533","datavalue":{"value":{"entity-type":"item","numeric-id":1020554,"id":"Q1020554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2b2245281862accacba818cc9ca294304d4e0f","datavalue":{"value":{"amount":"+0.7248479723930359","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":"Q5147341$3A721394-D58D-4A6D-9816-D8D2F3FA4CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cebf7728cdb1f68669485db83ff8f8a51d092aab","datavalue":{"value":{"entity-type":"item","numeric-id":465979,"id":"Q465979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7afccefb47d59ea83567e0767542051febca49e8","datavalue":{"value":{"amount":"+0.7247838973999023","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":"Q5147341$0F7C3A40-0D6A-4D2D-A3A8-93DC0A9AFFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a12c12345a7b0de4c37dd7740de8af6024d946","datavalue":{"value":{"entity-type":"item","numeric-id":5117043,"id":"Q5117043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e622b26c46e634dbda8c7f1183882dfaf3e1ce","datavalue":{"value":{"amount":"+0.7207355499267578","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":"Q5147341$2C447D12-2877-4C9A-BC72-ACBEFA212214","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving inequalities over finite state machines in the reactive systems design","badges":[]}}}}}