{"entities":{"Q736794":{"pageid":738643,"ns":120,"title":"Item:Q736794","lastrevid":63985665,"modified":"2026-04-11T16:52:53Z","type":"item","id":"Q736794","labels":{"en":{"language":"en","value":"Reasoning about goal-directed real-time teleo-reactive programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609442"}},"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":"Q736794$0ABB33DE-BB66-4EA6-BC09-B1187FD5FA68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"405c3de8af4c5e3dc50c64a81abdbace0fec5c14","datavalue":{"value":{"text":"Reasoning about goal-directed real-time teleo-reactive programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q736794$CB2252A9-42F7-4ED2-B594-ED3CB06A8089","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9e2d7b640f638abe03799a37fa832eba6acfee7","datavalue":{"value":"1342.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736794$9A272DD3-B8A5-4907-9242-80885223ECBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c694df1fbeaa11f2d143be3a0f488131a3d130","datavalue":{"value":{"entity-type":"item","numeric-id":736792,"id":"Q736792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$5F749BD3-53A9-4BD6-8982-AA32C8DB2EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d2de5877895937d2af49704410633dcf0bea75","datavalue":{"value":{"entity-type":"item","numeric-id":736793,"id":"Q736793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$DE81CAE3-F829-4A4A-A0C0-1E0AAEBBF5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$B2C0D884-416D-466A-9F66-DA4B996D841B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$A67873EE-8647-4B89-9D1F-577694A545BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19f8be58b1829936b94d36e09e6fb6fb923fb3ba","datavalue":{"value":{"time":"+2016-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q736794$3A8588E9-AC79-4023-B71C-F65F7AC6DA23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f56a9834f30347d577e8923267243cc6afa7616e","datavalue":{"value":"http://bura.brunel.ac.uk/handle/2438/9747","type":"string"},"datatype":"url"},"type":"statement","id":"Q736794$8AE359FA-18CA-4C67-92DD-8FE781286C2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736794$1C0B52E1-B54E-42DE-A5AC-33CFF91D197E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736794$299BFDAE-13DA-46DD-9E6B-2DB99B734C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736794$7E57C8DD-87AB-4A84-854E-5B82234202A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffcef477cc380001e6e8a87da87da67e034c7a24","datavalue":{"value":"6609442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736794$3F1ADE6D-B187-4F88-96FA-FC2846932995","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d60a67f3d3e66bf66979cdcd259a5387a9873a69","datavalue":{"value":"teleo-reactive programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q736794$E5F4FDF4-1129-4469-8115-175E9AEABAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac86bb2fa3722212fbdd95a33debc07c5f5f3e7a","datavalue":{"value":"goal-directed agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q736794$6ADB7092-A135-487C-B083-366F8F4C2F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db99a0ebb9288ec90c751c678ef76935ba4a3c4","datavalue":{"value":"rely/guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q736794$15DC6B64-549E-4776-8F14-3B5A58BDA68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8277344960c956cfb9ed39824ea087b33f6b7ff2","datavalue":{"value":"real-time programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q736794$85FC88E2-B5A3-47BA-A93A-5B5F4D84AB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q736794$114CD171-E830-48A9-B035-62C8F5D67F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf61c50fa3f3ef556e6fa7a400ea20bb8ba10c5","datavalue":{"value":"interval-based logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q736794$E39DF1FF-9922-42E8-8792-4E7175BEDF7C","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":"Q736794$E7909536-68ED-45E2-A25F-319330586A46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a93036ca7fa1b7aa468103e2bfed2e99925411d","datavalue":{"value":"W2069553366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736794$62C36499-AC8C-4667-A35E-BA0AC2032988","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9697eb0d739868c9adf2c97a80e77aa74ec47ff5","datavalue":{"value":{"entity-type":"item","numeric-id":987537,"id":"Q987537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$76CEFAB1-2127-4000-A424-A7B1C5B29FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5f394f3778cd01213c25143c1eb2b0a3fc37af","datavalue":{"value":{"entity-type":"item","numeric-id":2766651,"id":"Q2766651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$C2ACBAEA-E9F0-4C2E-BD3C-C13EBD1BF260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ee198e579ba9861b2bcaa47b1ed5eefff2e76d","datavalue":{"value":{"entity-type":"item","numeric-id":1427865,"id":"Q1427865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$924203F0-EB59-4E28-A05E-4BBB3318ACB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63710b8d2758ec266155a9f1953e1214ea75407","datavalue":{"value":{"entity-type":"item","numeric-id":2908563,"id":"Q2908563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$36CD63F7-2B45-46E8-9E93-9149CEBD2465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$6C35C2CA-81CF-4616-809A-C3F6277306FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$5CECF8F5-A780-4725-B254-1556C49B9AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb546abd67bf6e86ebd0867fded79221f1363869","datavalue":{"value":{"entity-type":"item","numeric-id":690305,"id":"Q690305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$5FD2A932-DBAB-4DD8-9F91-7346D593A002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3818aac61b795ea2d401cd89a992d6841ffd8b","datavalue":{"value":{"entity-type":"item","numeric-id":1853618,"id":"Q1853618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$E7DC57E4-B955-4F16-971F-56B30236840B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$BF6C604D-7C90-4A59-A52A-C6E137F2B690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$6B277F16-1076-494A-AEAB-F9B26E68231C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f9aab3ed0f4dc4cdabfd532754a3cf472a7125","datavalue":{"value":{"entity-type":"item","numeric-id":1344731,"id":"Q1344731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$2C97BA4F-3916-4180-A0A0-39050C003C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2499bc24714f45ee4fcf2d925c0b76e0dce92e3","datavalue":{"value":{"entity-type":"item","numeric-id":3618830,"id":"Q3618830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$53F49124-69DA-4D82-978A-62732B710AF6","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":"Q736794$B6285187-DDFA-4DDD-9863-B9ACC81907E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb87ab052a57bcd10aa45952d6d907aec50fc","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736794$EF0A5EB5-1153-4BDC-B61E-D04CE49997C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93e169dc9cccf77c52472c35f3cc13f5012d648f","datavalue":{"value":"10.1007/S00165-012-0272-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736794$E2C0F634-42DE-4BCC-91DA-1C687B68969C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0694fba4ab143ef8ca0ffd2c0330ff204d2684df","datavalue":{"value":{"entity-type":"item","numeric-id":2900468,"id":"Q2900468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5094ce149f528575ced16c56e867d24c89d8600","datavalue":{"value":{"amount":"+0.85322964","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":"Q736794$71E7A225-18AC-4239-A50A-8D85394B4638","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":"b9792a699949336a67e89545d42f60fbdbf93727","datavalue":{"value":{"amount":"+0.8420123","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":"Q736794$4E4FC9C5-26BB-435D-BD35-9209BA098D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdecd480587d8dc8e097e39b8e95f56117121db8","datavalue":{"value":{"entity-type":"item","numeric-id":4812321,"id":"Q4812321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b247a1ed5e746e0265a0d6726a6c9fbaba6f26e9","datavalue":{"value":{"amount":"+0.83074695","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":"Q736794$A8CAED1B-9296-4BB1-A4F0-A12BD6CF0C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d87cd9f434b7b4c50b7b995e8aa9f37379edd85d","datavalue":{"value":{"entity-type":"item","numeric-id":2372188,"id":"Q2372188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27aa93b52c058aee96dc89860e633cd86375f06f","datavalue":{"value":{"amount":"+0.83018565","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":"Q736794$F9B962E5-7396-4B53-86D2-1D04D72A99A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa606853d64dbd06a1a39c12eaf1887f1356cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":4221300,"id":"Q4221300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ea7361f604b5a946e5c0631569eb4ef031c3f0","datavalue":{"value":{"amount":"+0.8268858","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":"Q736794$E4C2039D-CEB0-4921-8EED-62610C4BF342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7d60a6ce8052bfa56fde89469334cce4c5fa7c","datavalue":{"value":{"entity-type":"item","numeric-id":5447371,"id":"Q5447371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6de09452c05de6d0c7631325d0013d3df64c4111","datavalue":{"value":{"amount":"+0.8268195","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":"Q736794$5DC3F9CF-9AD6-4B1A-BD94-503F2C2B2FA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about goal-directed real-time teleo-reactive programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_about_goal-directed_real-time_teleo-reactive_programs"}}}}}