{"entities":{"Q1853160":{"pageid":1863902,"ns":120,"title":"Item:Q1853160","lastrevid":71501442,"modified":"2026-04-13T22:40:59Z","type":"item","id":"Q1853160","labels":{"en":{"language":"en","value":"On disjunction of literals in triggers of statecharts transitions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1856492"}},"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":"Q1853160$3B10BD2D-C300-4BCE-A0BF-F4C9132AB8BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12c43428b93f67fefce6e50e60ba33e906e4eeac","datavalue":{"value":{"text":"On disjunction of literals in triggers of statecharts transitions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853160$D516A31E-6183-411F-839F-5EE1BEE080FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a1cfff6b00338b4368f0c755de47b221f7b7654","datavalue":{"value":"1042.68610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853160$C62CEC24-7AB7-4F4F-B6F2-E08810F75976","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdf4344d2b607f8ddb3aed60a83e094b02cf765a","datavalue":{"value":"10.1016/S0020-0190(02)00314-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853160$4A9EC66B-FB39-4CF6-937E-9E8EE3649634","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853160$922E2977-9EBF-4F1F-AC65-45D57C1FCB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"986210a7788bf135576802eb9fb5ade52a93410d","datavalue":{"value":{"entity-type":"item","numeric-id":256972,"id":"Q256972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853160$4D69E42F-D6A7-4DC8-A921-D728D3466BFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853160$BFA1382B-DFF9-44F3-A4C7-9828621BF5F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853160$049B5725-02B9-4747-A527-0DEC0EA1F6FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853160$60862254-BD3B-4452-AE58-438D4828669B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5f6ddd651dcefd23ed1f4009dad959b5910c47e","datavalue":{"value":"1856492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853160$ED7F8D75-0F26-46A4-87B6-CBA883890646","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ab01a9249e8b8b5ce5b297680636743e961ae3","datavalue":{"value":"Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853160$44B70AB0-D9CC-4B08-A518-62C0D3ECE458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f371187a5ea65b84d0b56e09c00f21964cedd1a9","datavalue":{"value":"Reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853160$52559880-740B-4828-916D-AB22A2A9862F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e44a161ba26e286cc00f505fc2c17b54142149f","datavalue":{"value":"Specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853160$88196DB1-D090-4F37-8F9B-478072E6C384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b4b081f2a1f07be976826f43c103f76b5a29dcb","datavalue":{"value":"Statecharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853160$015A5675-907C-4AD1-9778-E51287ED5A33","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853160$E4B833DF-CE80-4CD6-929C-240A0404A000","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":"Q1853160$7C62E18F-DCA0-4A84-A693-DECC677FB692","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853160$29120BB9-555A-4E39-B8B6-100E929F6871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853160$ACA66166-9C84-45DF-AD17-217851523901","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":"Q1853160$F4C38CC5-746F-40C7-B5A2-A5B58A097DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0596a710be974bfac0b59838a9a366be8fa3809","datavalue":{"value":{"entity-type":"item","numeric-id":750133,"id":"Q750133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853160$46FF9A32-D50F-4B7B-BE26-15C2C8FD56E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe3c0282ca08e17e502d48783c1032c53cc1aff","datavalue":{"value":{"entity-type":"item","numeric-id":6162113,"id":"Q6162113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853160$EE3F88FB-F680-4801-B76F-AF4D15AE4C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28ecabde8f5d0b90df596cdd1697be80853d9f1","datavalue":{"value":{"entity-type":"item","numeric-id":5096220,"id":"Q5096220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853160$6DDA4CD5-D03E-43E9-AB76-9D44D698A8BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53819c60a7cf7504e790e168256369fe52847e52","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(02)00314-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853160$5512FCDE-70BB-4A31-A94D-DC821E314A57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"320f16ac1600a443e4440e1deabc47550a909ba0","datavalue":{"value":"W2087211664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853160$4AC3E32F-BBB5-4875-AB92-A59294F8E795","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On disjunction of literals in triggers of statecharts transitions.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_disjunction_of_literals_in_triggers_of_statecharts_transitions."}}}}}