{"entities":{"Q4020485":{"pageid":6050259,"ns":120,"title":"Item:Q4020485","lastrevid":81461657,"modified":"2026-05-06T18:34:32Z","type":"item","id":"Q4020485","labels":{"en":{"language":"en","value":"TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96007"}},"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":"Q4020485$E27EBC46-3F99-40D2-97A6-FAF96A674E4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff1a40ccf5a79f1362a4f68bec3ebc6ca2af6800","datavalue":{"value":{"text":"TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4020485$74A0A0A0-8AB9-4623-A287-E82AEE65C191","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dec7a7aeb784570edccfe6afe69b47356138fcc0","datavalue":{"value":"0754.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4020485$09A9F2A0-F092-42D4-930A-D37EC1A1986B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70bd25740ca8a7d1304ce3e824d5cca11b97e02a","datavalue":{"value":"10.1142/S0129054192000103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4020485$3DB71AB4-8406-4B1A-84BE-EF1741B4CEC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b346a4e742665f6fae44f5c4c1165c37d3a575","datavalue":{"value":{"entity-type":"item","numeric-id":229995,"id":"Q229995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4020485$7E5E4F37-00C3-4632-A72C-240E421CDCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8392ad3e919ceda3cd16f19f1268cacb9704ba7b","datavalue":{"value":{"entity-type":"item","numeric-id":229998,"id":"Q229998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4020485$8F4E598F-A3A2-48C2-9A53-56EF3A069C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8de1b864db61026e712bb2f2d7e147ff4e2cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":1403407,"id":"Q1403407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4020485$E50266E6-798A-43B0-A39B-387F741724DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4020485$56E2484C-4E97-4AB3-8F15-BC576B65F3E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-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":"Q4020485$598007F1-47AF-4A6D-BC9E-35172F7D9F6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4020485$01DE05C3-05DC-455D-A09F-40C167CF492D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4020485$20BACA42-97AE-4481-B276-5A37B5FCAE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4020485$659517E0-5386-43F8-A197-FEA9C5FF519B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b984b8060469639a9cb05f29ca14f885ea2edb1","datavalue":{"value":"96007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4020485$EE15EED3-4E20-404C-81B4-70F25FD7A9F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf09c35bdd6d677c33c574be87e34305355e7f9","datavalue":{"value":"reasoning about distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4020485$EDD5B90C-1E80-4B2E-B31E-A6726AC05959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01c2e9fca6f8eae5967e213326fb0359ea050d0","datavalue":{"value":"logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4020485$4546B5CF-87B4-4FB1-94DA-D94028BA102D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4020485$C738A537-701D-4BD5-99C4-57D4C4EC3698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4020485$6260FAE8-06CC-43FD-B2A0-863B71D2A272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83cbad61cc50911d58c260ce765705e4bf4f5603","datavalue":{"value":"family of indexed temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4020485$1BBBC3A0-2B18-488D-9C8A-03F6049D38F6","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":"Q4020485$E1E57155-4D91-4E93-ABBA-869A493330F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1856508930f96c4d550904995ce272fc48aef173","datavalue":{"value":"https://doi.org/10.1142/s0129054192000103","type":"string"},"datatype":"url"},"type":"statement","id":"Q4020485$5044EFA2-CB58-4678-89F0-0F9734BDEC9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62a342e82242afee9afb07b0dd83ffbe345fccfc","datavalue":{"value":"W2040489949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4020485$0A9A45B4-A670-434C-AD14-7AB74D339EE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7bf3ba22f1df87a325e726eb4975cb62ff8e244","datavalue":{"value":{"entity-type":"item","numeric-id":4260709,"id":"Q4260709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a3c94af25d5c546d713d386dda398ec2a94bbb","datavalue":{"value":{"amount":"+0.8706265091896057","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":"Q4020485$364CC2E1-004D-475B-87FC-626EFBED7934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac2f61e678db8fb8e5c55458fc9198116620a74","datavalue":{"value":{"entity-type":"item","numeric-id":3656773,"id":"Q3656773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a3c94af25d5c546d713d386dda398ec2a94bbb","datavalue":{"value":{"amount":"+0.8706265091896057","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":"Q4020485$ED9D1528-478F-4A6F-A70E-2F3FB3E16BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c94df592f03444a88b6665e3463f1c0f1aef56","datavalue":{"value":{"entity-type":"item","numeric-id":2757805,"id":"Q2757805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80dc0d82ab034f4c4584fc3549af866e5cbd1fb4","datavalue":{"value":{"amount":"+0.8186025619506836","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":"Q4020485$954F0FC4-3B6E-4561-A473-C154CE9C6FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14239c5ea597cd4f22afd4ff733955b21a2e1b29","datavalue":{"value":{"entity-type":"item","numeric-id":3835444,"id":"Q3835444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e29588e8b7f3ca9bf590d04b8964bda98d72423","datavalue":{"value":{"amount":"+0.7854503393173218","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":"Q4020485$BD8DEA38-42A3-470D-B983-9D4E36E451DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"225e33be687ea7fb0020706cf61ebd13cf7461ee","datavalue":{"value":{"entity-type":"item","numeric-id":3045252,"id":"Q3045252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7d3a7729e31666b0603416e1087ce3f0caa4bf","datavalue":{"value":{"amount":"+0.782898485660553","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":"Q4020485$9BBBC19C-10FC-4C7A-A841-11B45CBBE886","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/TEMPORAL_LOGICS_FOR_COMMUNICATING_SEQUENTIAL_AGENTS:_I"}}}}}