{"entities":{"Q1036066":{"pageid":1037914,"ns":120,"title":"Item:Q1036066","lastrevid":66848091,"modified":"2026-04-12T13:15:42Z","type":"item","id":"Q1036066","labels":{"en":{"language":"en","value":"Verifying time, memory and communication bounds in systems of reasoning agents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5625284"}},"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":"Q1036066$149568EA-77B4-4877-8089-14A3553D570D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"caa07db3eefb892bb385be3872439d019699c338","datavalue":{"value":{"text":"Verifying time, memory and communication bounds in systems of reasoning agents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1036066$F1B794A5-5F82-43FE-A0F9-47CBD2AC86E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3f05d4d8af411f41f76e8e4ffce497831dfbd3a","datavalue":{"value":"1187.68571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036066$92ACA962-C4A3-4265-AD40-FDA099B1628F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06b9d3e98376955f4f1468110c0445691894ccd","datavalue":{"value":{"entity-type":"item","numeric-id":208223,"id":"Q208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$BF8F129B-54EB-48DE-89B3-10C723E88463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d52aeee7b8bf072b0ab639aadd1e7acccb1b466","datavalue":{"value":{"entity-type":"item","numeric-id":208224,"id":"Q208224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$1EE5CE2E-19E5-499F-9422-056E25F9C0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f31cbb69d992932609412c99f70ead74ade8028e","datavalue":{"value":{"entity-type":"item","numeric-id":514141,"id":"Q514141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$ADB29E6B-941C-489C-8D96-87A4DBBB09DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"900a92e2bedf37e0464f76b64291234d7518d0d9","datavalue":{"value":{"entity-type":"item","numeric-id":1036065,"id":"Q1036065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$7AB1B08E-0E02-4ED1-9E31-786DB4A66B06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$A26BFDB4-5B15-462E-BE61-1248CF678A89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2b4a391107c8565fc25ba0caa09f7f59741046","datavalue":{"value":{"time":"+2009-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1036066$086BC325-7F2E-4004-B5A7-B8E9E521F009","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036066$9C785097-77EE-4377-8730-28E64348B995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036066$7BA02BC3-41AF-4333-A0D1-D9CDD856F598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036066$E5E7AE1C-9FD6-46CB-85F4-90A7896F256B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036066$2C4EBF04-9E34-4558-AF30-C02103CA781C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02b3d5bbe8b31c0722033f914835b1181bc64e7e","datavalue":{"value":"5625284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036066$2F60BDF9-C019-4A74-B768-8FD5B4F9693F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94ae43ac09caf3e932d8b6a3ce0d16fb79ebb0a9","datavalue":{"value":"distributed reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1036066$077D6C8A-6A73-4278-9A67-01680A33FF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"badbe74c089eda101e95c66072171725a17f9aa1","datavalue":{"value":"resource bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1036066$DB0250FE-5542-4075-9E8F-8107CCA7E8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1036066$6F990DA6-57A5-4C83-ACD8-D42DFAA2849E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$A6580051-82E1-4A2F-8AAD-11BB6485AC23","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":"Q1036066$17B6D157-6ECA-444B-B767-798F717E4A85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"445a9ed9917599b93a8e3507a40e97e36ec6f15e","datavalue":{"value":"https://doi.org/10.1007/s11229-009-9557-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1036066$699C6064-52E2-41DC-AE67-9B415B570B7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86e815bd6588cf3bfcd1451ce157ad58e7dc3ad6","datavalue":{"value":"W3138118222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036066$98A9F9B5-728A-4784-8FA8-5BCAFE30030F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2b7c198fb0094f602e09ab264a2e92e2ccc90c","datavalue":{"value":{"entity-type":"item","numeric-id":3624002,"id":"Q3624002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$A36EBAB4-048A-4C8E-A5BA-420300C232F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f110eba70b392b5895f04844f84ff017203895bb","datavalue":{"value":{"entity-type":"item","numeric-id":3623963,"id":"Q3623963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$BFEA3BA6-FF1D-47B6-AE42-429C1588BAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f5dd2bde6f974587eb291ac157a13d4d46e088","datavalue":{"value":{"entity-type":"item","numeric-id":5423880,"id":"Q5423880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$5D513073-6506-4DA1-B813-6F6BA007C198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46ba082ecb9e1779604230bb32dfd32186c8cd2","datavalue":{"value":{"entity-type":"item","numeric-id":1036066,"id":"Q1036066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$EA7C8456-0B2F-46C7-9DB6-463D9BF86123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc37db555dc6aff30ef0a4cfd1683636fc4dbe3","datavalue":{"value":{"entity-type":"item","numeric-id":5394117,"id":"Q5394117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$804BE3BA-2E07-4A3A-906F-6168DD02B21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff8a1d983dc735fd82f262f00fed618f4232eaf","datavalue":{"value":{"entity-type":"item","numeric-id":3149864,"id":"Q3149864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$948D4C43-55B6-47FB-9AB9-96B8A21C7B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$196F0351-3CF3-4B45-A27C-8068FA1051D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbf2356c33da6949992e76652d09afb44a132cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457688,"id":"Q2457688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$1C1A9852-041C-46F8-9643-B40790E83F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0870ff671a90d57fe35482ede04c0c5a32ea13","datavalue":{"value":{"entity-type":"item","numeric-id":4209291,"id":"Q4209291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$2F15E150-C2C5-40C7-B7F6-4765E1D12892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$E45274E4-9D12-4117-BA6B-037E228F8EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f616cbb28bd5339be3c1a756b0cf1f4a5c0f5d5","datavalue":{"value":{"entity-type":"item","numeric-id":4365322,"id":"Q4365322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$2C435722-59BF-499E-B30F-1DC931DBF0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$80F56CC7-642E-4237-AE50-DE2BC25A3EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f5c37c1e41ee33afc3c56f39a1eb3cfd7a880f4","datavalue":{"value":{"entity-type":"item","numeric-id":4251071,"id":"Q4251071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$B52F11FA-2565-48A8-8F67-103529864933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$1068A3CA-35F2-4C13-90F3-3556A28913BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$5BAF18D6-7345-4D85-AB6E-5484B0C45966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5490edff7e86b453cd1c3cbf6a6a3668c1ee3881","datavalue":{"value":{"entity-type":"item","numeric-id":3992823,"id":"Q3992823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$4B6DB534-0C69-4B5F-A596-08DEA469B692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3cb8998211ed19cc13811ae8ddce8d28c289cc","datavalue":{"value":{"entity-type":"item","numeric-id":5477459,"id":"Q5477459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$85C6391A-FCCA-4F41-B595-5AB34A73379E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16634a24214f35bef4c1198df3f73db7f1aa6989","datavalue":{"value":{"entity-type":"item","numeric-id":2457612,"id":"Q2457612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1036066$88DDB4A5-427A-43D1-B371-178E81A0780B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aac36303050f246442976ed96a3302056288eb58","datavalue":{"value":"10.1007/S11229-009-9557-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1036066$0CD0A9F3-DD6B-4A5F-95CF-17FD2B517226","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a41bd364839a2a7fe17958c3fe5b558bc3b486","datavalue":{"value":{"entity-type":"item","numeric-id":3188235,"id":"Q3188235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f72ceadb3848c15293f0764a6ed48f73b5dd1c","datavalue":{"value":{"amount":"+0.9085861","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":"Q1036066$A22CDCA2-1CAC-4E29-A9B0-387F59D349AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bda82f634f976c442c4afcdc51bccfc81d8337a2","datavalue":{"value":{"entity-type":"item","numeric-id":3614874,"id":"Q3614874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ed01bcefcd32832e1e11ecbc059c8de8f54104","datavalue":{"value":{"amount":"+0.90597093","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":"Q1036066$E38F4C90-4C1F-4823-B73F-3BB3DB5968C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5a61d768dd26b30033a4e928567dbf82165ce0c","datavalue":{"value":{"entity-type":"item","numeric-id":5897330,"id":"Q5897330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f440d7d7fe2bfebb9d37c39eb011ee9dfd932d","datavalue":{"value":{"amount":"+0.89196545","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":"Q1036066$19490C8D-D259-447D-AF0B-B16B3C80757A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ff691b4c36c29f11ac16203127a3bef5b083c9","datavalue":{"value":{"entity-type":"item","numeric-id":5423880,"id":"Q5423880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c02f63f2a392df581679f56f70458c356d863a","datavalue":{"value":{"amount":"+0.8899139","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":"Q1036066$5FB4EB79-0796-42A3-A45A-D083D988DA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce66b2124fac2dba105993fffe4889b32b4eb92","datavalue":{"value":{"entity-type":"item","numeric-id":5049036,"id":"Q5049036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419f0f9d47b72e8c69398c3d1c8138151b97f5cc","datavalue":{"value":{"amount":"+0.88769156","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":"Q1036066$1BCDBDA7-0060-4309-AACF-0A4CE2E02649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f84670331ba87cfa916e7454a7b5bcf3f69c9b","datavalue":{"value":{"entity-type":"item","numeric-id":5394113,"id":"Q5394113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e63ac37ca945fcfad1813f3ffb5a57406fc4323f","datavalue":{"value":{"amount":"+0.8850792","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":"Q1036066$561775C9-E6B4-4D9D-B205-E994F01852BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0dfe6888e8821c28b5b9ddd1301f8fd102ebe5","datavalue":{"value":{"entity-type":"item","numeric-id":1040334,"id":"Q1040334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70157eb6cb8c26fc53d9841b7d35dce75f3bcc56","datavalue":{"value":{"amount":"+0.88264066","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":"Q1036066$2A20E8F1-DFC8-4E00-98D6-DAD73D7FB117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9903b296fedf6b9972e13e6b742c08b9b342435c","datavalue":{"value":{"entity-type":"item","numeric-id":1610622,"id":"Q1610622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e55cbbdbdf495d4c849f8fbef136af44be0109","datavalue":{"value":{"amount":"+0.8813193","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":"Q1036066$59903B08-38A2-480F-827D-2DC6048794C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d8c41ca789c27a004f5da0c7e01e4f6b9917dc","datavalue":{"value":{"entity-type":"item","numeric-id":5394117,"id":"Q5394117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc054e485653ab67b8854be0b872e18cc38e503","datavalue":{"value":{"amount":"+0.8797182","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":"Q1036066$D7D04D35-E01C-4469-9D10-82B42D4055BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying time, memory and communication bounds in systems of reasoning agents","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_time,_memory_and_communication_bounds_in_systems_of_reasoning_agents"}}}}}