{"entities":{"Q1901696":{"pageid":1912438,"ns":120,"title":"Item:Q1901696","lastrevid":43407706,"modified":"2025-07-25T13:25:04Z","type":"item","id":"Q1901696","labels":{"en":{"language":"en","value":"Modeling data-intensive reactive systems with relational transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 814149"}},"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":"Q1901696$C6E8331C-BBD5-476A-83F1-E07ED9190504","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7721f364171c484df2a1a4cecbfd40ff7b856499","datavalue":{"value":{"text":"Modeling data-intensive reactive systems with relational transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1901696$9F913B45-2FE7-4FE2-A6BF-2F2E0249ADB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9de6636e18e2e187c82ee4231e995f40586a1a10","datavalue":{"value":"0849.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901696$B7EEAF3F-3A5F-465B-BD40-EFE37BF321A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec222ca00b9d98fcfa3954244a5bc2a875de933c","datavalue":{"value":{"entity-type":"item","numeric-id":1323324,"id":"Q1323324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901696$12B0272B-BE66-4945-8471-E5C74DE22EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4698f1cd2100d5893d55a1315b1e1cb91fb2b3ac","datavalue":{"value":{"entity-type":"item","numeric-id":547478,"id":"Q547478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901696$B5D9164B-872A-417E-A643-147C6E9BFFDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901696$50AE02C7-D946-45B3-A02B-D686F3C5A520","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58452d19a472009c898bc19b9bc2b3649275ae77","datavalue":{"value":{"time":"+1995-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1901696$E869CFE4-F6D1-43A6-B141-835D99875D3C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0e5d1becf4da1c36a613372aee8712501d43e4f","datavalue":{"value":"The formalism of Relational Transition Systems (RTSes) is used to model data-intensive reactive systems, and four RTS models of reactive systems based on temporal logic programming, production systems, recurrence equations, and Petri nets are presented. The paper also describes different methods of comparison of the expressive powers of various RTSes in terms of the trajectories they can generate and carries out this comparison for the four RTS formalisms. It is shown that these formalisms have the same expressive power in the deterministic case. The paper also compares expressive powers of non-deterministic production systems and non-deterministic temporal logic programming systems. It is shown that, although the two formalisms are incomparable in the general case, their restricted versions are isomorphic to each other.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901696$2F12E410-D3B3-40ED-BAAB-B98FE3CDF83D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901696$4CE3DED9-6CFB-4B91-8A2B-56AF260E2AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901696$AC9AFB08-F4B4-4105-AC8C-A398E1DB7CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901696$AD7C4443-FAA1-4183-A78D-BD3BACC4E3B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba7d13a51130583f716d2d1c6c56cdab203ba5fa","datavalue":{"value":"814149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901696$415642EF-DF0F-4A5A-BA96-C69BBF854BFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901696$B0328076-8CC2-4497-A3A6-F0A8937A8D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7781db5f810100b1c75183665ffe0c10b181c915","datavalue":{"value":"relational databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901696$1C8A1CC0-B8C3-4354-AE9E-8F3EBC583DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed00663381eafbb37d269a101970dbf61519410","datavalue":{"value":"trajectories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901696$38186B7D-9095-4B3E-9099-8FE42B09B790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd725f803891be1be1d608af3524b486ffbca1be","datavalue":{"value":"production systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901696$BB3C2134-3289-4D41-B4C1-045F5B47B47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"320c6b98495f6a93820b8b60d3248ff7b4cd73b5","datavalue":{"value":"temporal logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901696$8A790569-31C2-48BA-9A2B-E6BBBE5AB40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab3ff55a6d80cdfe759100a39ea538f07060c244","datavalue":{"value":"recurrence equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901696$9F9B5D10-A8E3-4D0E-A4E3-672828B62644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f814b19926799e7ced28088d0e8b611a285b5b","datavalue":{"value":"predicate-transition networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901696$341F2953-D706-4080-84F0-12534CA73054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901696$57C60C85-B0F5-4926-899A-155302924307","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":"Q1901696$EF21272F-9CFE-4A97-A4CB-D1DF8506A542","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bef11407c3ed20a2e942825b4b9277c38fa70149","datavalue":{"value":"https://doi.org/10.1007/s002360050041","type":"string"},"datatype":"url"},"type":"statement","id":"Q1901696$00FCBCBB-03B6-4C35-8920-D96B2FBFF3C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"badba5d7348317826ad74b0bfd17aabf4fae9f3e","datavalue":{"value":"W2047117783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901696$8B49F791-E64C-403D-951A-F26FC7F785E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6f503f40624c3a67fde02595febb3d31b13ecd","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901696$BA8D3DE8-26B0-4704-B13A-D5104F6F79E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061c74acfe7ed299eeb2c95c750dc4bed6741a4","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901696$BDD5B3D8-1A10-4335-B4E5-BE7405ACD1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b330f5cd7a65a8735b5cd88f9d99cd7626efdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901696$CFA28C80-972B-431F-9D80-B8DF0B0A224D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1c6acb31205ce7e236213c9d48443cc38913af","datavalue":{"value":{"entity-type":"item","numeric-id":4264717,"id":"Q4264717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901696$44B98DA4-EAE9-4BB5-A259-9DD832F7DB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8b95fc49a76dd8bbb2369f4de406bfa97dab88","datavalue":{"value":{"entity-type":"item","numeric-id":3729994,"id":"Q3729994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901696$B6D81C5C-8E07-4821-A351-E62D3B79B379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8dd59ec7dc826b5e54894fa38c76bbbfecba960","datavalue":{"value":{"entity-type":"item","numeric-id":673958,"id":"Q673958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901696$20137356-58C2-4DA9-960C-7B80A7436BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901696$8D502C9A-6BF6-4EC4-A0CB-E83B3B2677D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a27d29d6c8a6d90cf683150add9e5ddb2d9f1b6","datavalue":{"value":{"entity-type":"item","numeric-id":3806791,"id":"Q3806791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901696$DD9C3CAA-8FBE-411E-88BD-39EA7E1B13FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901696$0E78F6A2-401E-4334-A78F-D42665093F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb60f83a068910494c708f7b3eb16240705cdb44","datavalue":{"value":{"entity-type":"item","numeric-id":3780918,"id":"Q3780918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901696$16C5F57A-04E2-43E0-8113-2792EB5D7C86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e40a2e4d0b5c774b16e66e8bdc0e2e56de7a8f4a","datavalue":{"value":"10.1007/S002360050041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901696$2837EE6C-5333-4D99-A5EF-FD9C1C40283B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b923881ae12e27f93f9fabd889333d7e75ec70ca","datavalue":{"value":{"entity-type":"item","numeric-id":4332703,"id":"Q4332703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ef9e43ad3be844cfe37321142186c517a181ab","datavalue":{"value":{"amount":"+0.8597508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901696$C1851ED7-2342-4AF3-B064-F3F01036A6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bc7de5e01286bb7096255bebc2df8a6aeea2bf","datavalue":{"value":{"entity-type":"item","numeric-id":4372464,"id":"Q4372464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7704550e1aa7a297c4c2c2ad9f573c2904f7c711","datavalue":{"value":{"amount":"+0.8575265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901696$C0D8F9E8-708F-4274-8460-B31E4D2E1CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318be623f67427cc8fee0ccfa6332c6f84b11e0e","datavalue":{"value":{"entity-type":"item","numeric-id":4653016,"id":"Q4653016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670a42c70ebbdcb5b506d2bfc5b49ef17b783a25","datavalue":{"value":{"amount":"+0.8562283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901696$336871BD-9A4F-48DE-9F2D-3ACC807156BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b42f4a98171c457f8763e8ef211e75b637ebc4","datavalue":{"value":{"entity-type":"item","numeric-id":4251929,"id":"Q4251929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670a42c70ebbdcb5b506d2bfc5b49ef17b783a25","datavalue":{"value":{"amount":"+0.8562283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901696$5DC4B5F4-90AC-46B5-8BC8-F37AF9AE92B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474ae5e3ed684a08068c890bb6f361ad8fd8b847","datavalue":{"value":{"entity-type":"item","numeric-id":2763546,"id":"Q2763546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313d6af5109e1da874e89d188912583cec2ec4f0","datavalue":{"value":{"amount":"+0.8501709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901696$CE78343A-8820-42F7-B9FB-E4F936CB58A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5540b7f65af7b728fa00a3c0416eb26b0f3b65","datavalue":{"value":{"entity-type":"item","numeric-id":4681459,"id":"Q4681459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1445314ad9a021534cb1c2ecca377bd5c5c3a1","datavalue":{"value":{"amount":"+0.8371557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1901696$8E2CEFBA-A8B4-49F2-B4F3-95E40D00610E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1901696","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1901696"}}}}}