{"entities":{"Q61693905":{"pageid":61532578,"ns":0,"title":"Q61693905","lastrevid":2048010791,"modified":"2024-01-07T17:37:51Z","type":"item","id":"Q61693905","labels":{"en":{"language":"en","value":"Specification and verification of real-time embedded systems using time-constrained reactive automata"},"nl":{"language":"nl","value":"Specification and verification of real-time embedded systems using time-constrained reactive automata"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"en":{"language":"en","value":"scholarly article"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f"},"hy":{"language":"hy","value":"\u0563\u056b\u057f\u0561\u056f\u0561\u0576 \u0570\u0578\u0564\u057e\u0561\u056e"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"11649cf36f70569f9ae7415d02ab45bc2d7b2f34","datavalue":{"value":"10.1109/REAL.1991.160380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q61693905$55729972-1523-4482-AFA1-94A80121C828","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q61693905$8BF561EA-0EF0-4C78-A23B-D0DFD5270EC4","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"5947add84ecf24a611e5680e6588b41cdd72e32d","datavalue":{"value":{"text":"Specification and verification of real-time embedded systems using time-constrained reactive automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q61693905$D2AA6B11-72E4-4717-A1AF-3C2BE279EFBD","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"6f3012f610f543be2fef53dc3e6810341ec4572b","datavalue":{"value":"A. Bestavros","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q61693905$450CD95F-57D0-4678-9C70-8644F841CDEF","rank":"normal"}],"P921":[{"mainsnak":{"snaktype":"value","property":"P921","hash":"530a504f51c5a977ca9289c6da2ce4e5009e9727","datavalue":{"value":{"entity-type":"item","numeric-id":193040,"id":"Q193040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q61693905$8F950EF7-216D-4CA1-8595-035C3FB65524","rank":"normal","references":[{"hash":"0723282bb80042897ca697416c050b4bf7fb5428","snaks":{"P887":[{"snaktype":"value","property":"P887","hash":"2009eafb2646ea71bee7372b061e8521ee613fc2","datavalue":{"value":{"entity-type":"item","numeric-id":69652283,"id":"Q69652283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P887"]}]}]},"sitelinks":{}}}}