{"entities":{"Q5415284":{"pageid":7444858,"ns":120,"title":"Item:Q5415284","lastrevid":101132930,"modified":"2026-06-05T23:57:30Z","type":"item","id":"Q5415284","labels":{"en":{"language":"en","value":"Towards a formal representation of interactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6293753"}},"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":"Q5415284$6C86E4DB-2844-4D02-B7A2-1607347A54CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ab48760ec674b572201bf85b4fc834078344f11","datavalue":{"value":{"text":"Towards a Formal Representation of Interactive Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415284$3E9C5156-5F44-4F4B-AE0E-7923B2435956","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cae631bb66a20356ebb1a6fd9be415a78f81ad3","datavalue":{"value":"1359.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415284$6B67897C-F9EB-4773-9123-8BD010E430F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e070a67473c51387428e81edd1f0586141d9cf2","datavalue":{"value":"10.3233/FI-2014-1017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415284$95B094C0-18EA-4393-AF08-41ECFB868317","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c78858fe81fbcf5245f5d120662d6f5c19843f6","datavalue":{"value":{"entity-type":"item","numeric-id":2948242,"id":"Q2948242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415284$7161B3D7-549D-4CD1-BAEA-47651B8CAA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b36f8953419b12d7e9e20c7a09e7abcc7fd1d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":987965,"id":"Q987965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415284$2F0C24B3-F7FF-4004-B695-F4B7BCE506CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415284$5FDE883D-ACF1-473B-BB33-2A5BF3B77958","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b98a65e001f93197037bf094eccba452bf828a3f","datavalue":{"value":{"time":"+2014-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415284$591B7612-C183-4BAD-A014-4464AD4F0880","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415284$4B1B5C75-E380-4AC9-9FBF-3C0AF3633000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415284$8B41FA83-D6DF-42C0-A3F2-AF1C681FA7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415284$4694E07B-305F-46E8-86E2-6C51BD5C98A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9bc152747deadac2ec462020ceded2f8607d1b7","datavalue":{"value":"6293753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415284$E335B9F2-7B05-49D1-B10D-0085D9761C9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3856f0f5f3d8506ff2d5fea6957010c25b70b7","datavalue":{"value":"parallel programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415284$9E22E8E6-2ACD-4251-AF66-8C64027963D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50da3e22f353aab60122cf77f58fb715a3c4aa9b","datavalue":{"value":"interactive programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415284$1C6C8AEB-3CA5-4D45-8454-FC9E017D0847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415284$1C4C89A5-471B-4FBE-9B52-FA2A5B4DD487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66c88ba6a37516e0220a5bc3707ba980386b39c9","datavalue":{"value":"regular algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415284$D7F96CD6-1DB2-4A64-804B-3125D23A8786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776971b86e6c4cf15851a3ea837e7ca01487d625","datavalue":{"value":"Kleene theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415284$2C93939A-B800-4763-A6B8-E69A73F4B67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cc600303dc7744df78a77fb2e1151b08c039e5","datavalue":{"value":"network algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415284$AE7BFCD6-3056-45F2-8BF9-B11A7F5E54F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbb2b861c36709d53c3c5763acb6552bcc36026","datavalue":{"value":"2-dimensional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415284$DD377322-9778-423D-A7B5-2AB75D098047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30f0b3abdda7d91a60b443c8ecc13b8c4476b52","datavalue":{"value":"finite interactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415284$730A6848-7EDE-4477-9321-A98A4D46EFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415284$B348F2BB-A183-4443-AD73-D2E60A803642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415284$CE354C90-8C84-4E2C-924F-50D87CB5077D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415284$43CD0181-22E5-43B4-98B1-2DE8E6C6711F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8e5b781e36883bba5d772d344a8850f1b27a8d3","datavalue":{"value":"structured interactive programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415284$280DFF14-D4C2-4D36-82D0-29A52610F20B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"057ac4724402be5827a13d1e752b681e88298a37","datavalue":{"value":{"entity-type":"item","numeric-id":19215,"id":"Q19215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415284$ECD8EF29-815B-46F1-AA5A-511BB87945DC","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":"Q5415284$BFDDB6BA-1E9F-4966-91C3-BF3AFBCC42EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cb93db2691604d728761217e74127163460e922","datavalue":{"value":"https://doi.org/10.3233/fi-2014-1017","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415284$C1941290-E5E1-49C5-8667-DF500EF00C94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d37e5ee68b9d74e6510438e0bd2caa185c145207","datavalue":{"value":"W1480399023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415284$926CCD40-5C3C-47E9-B84F-86D641E240F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a053cb3c14df73b9021b1d2a30d65dd8d5fc2178","datavalue":{"value":{"entity-type":"item","numeric-id":2948244,"id":"Q2948244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547110014678a04588631d8b600856ae372f590c","datavalue":{"value":{"amount":"+0.8904832005500793","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":"Q5415284$29D64B60-5B2B-469C-8409-AAC91DE30F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a3b7b09486284a2a1458fcfae2cfe7b0772ffcf","datavalue":{"value":{"entity-type":"item","numeric-id":3460613,"id":"Q3460613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c4b79adf04ffdad932be868faa18d4ad44b1f9","datavalue":{"value":{"amount":"+0.7443567514419556","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":"Q5415284$4ADF1634-C33D-47AE-8A93-BBA218690298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73d7c79ee7a6f537a039c322ea3ca281df6e90b5","datavalue":{"value":{"entity-type":"item","numeric-id":3409999,"id":"Q3409999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be810f8bab9f8f1a800bfbe16a64d0e783bc9118","datavalue":{"value":{"amount":"+0.7267583012580872","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":"Q5415284$CD41E359-3376-4257-A9CB-37621645DE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee4eb96665a781f70141c72e35d5ffe3eb515d38","datavalue":{"value":{"entity-type":"item","numeric-id":1127523,"id":"Q1127523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315aaff0931b9e8050a55fa1900ca877bc6419d4","datavalue":{"value":{"amount":"+0.7093011140823364","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":"Q5415284$867FF3EA-2302-44B6-9B37-A8326A1E5971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cbcc567f10c04c5badfe7f24b92f8c69d3b2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4963995,"id":"Q4963995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315aaff0931b9e8050a55fa1900ca877bc6419d4","datavalue":{"value":{"amount":"+0.7093011140823364","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":"Q5415284$AB292100-848B-4FAA-A3AE-EF995906830F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a formal representation of interactive systems","badges":[]}}}}}