{"entities":{"Q5277692":{"pageid":7307267,"ns":120,"title":"Item:Q5277692","lastrevid":52850261,"modified":"2026-01-23T15:39:41Z","type":"item","id":"Q5277692","labels":{"en":{"language":"en","value":"A modal logic for mobile agents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743936"}},"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":"Q5277692$3B460148-4ABE-437F-927E-83EF8E8666AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aae33e7aaeaab404ecaefa7306206d1307434fe4","datavalue":{"value":{"text":"A modal logic for mobile agents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277692$7C6BF439-B6AF-4E49-9014-1432A6062182","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2722c29f1a507dccfb8c876e9fd3aa251b2dc9dc","datavalue":{"value":"1367.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277692$28D32D39-37E5-4586-91B9-F71AC219DF30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1937550c6afeaebed046eeaf3b73260538ca94a6","datavalue":{"value":"10.1145/963927.963930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277692$18EEAA73-61D2-44EF-A0E9-3270A79E2A13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277692$29732D39-7B77-497B-B0AC-B3068E0C7B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277692$0961C889-8F13-4B71-9EC7-665D383269B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277692$D90AA346-AF5C-4343-95F8-D446ED517B9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-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":"Q5277692$893ADB1F-8B5E-4F4D-AECE-780755D1213C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277692$BAF9F46B-A8A5-423C-84FD-9F23A7A2519D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277692$AF48FEC7-12FF-4617-99C8-67572DDAD043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277692$4B67309E-D8F0-43D6-A110-AC20206FF91D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d0d2758fab76f228464173a02b179b95f6e64ad","datavalue":{"value":"6743936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277692$93441DDA-0F01-4DE8-A87C-340A1994CF70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bee41036f72035072cde6c2a90c0bd741dbc491e","datavalue":{"value":"coordination models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277692$54D6520A-3EF3-4516-9D93-08B48125AE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cf7cc74cb3d23cfc53da4791b1527fa98e5a445","datavalue":{"value":"mobile code languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277692$5142A30D-850A-4052-BA60-6A055D447DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941cf2149e8d408a2759797bfa7a752aa8823307","datavalue":{"value":"mobility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277692$5CD7FD62-0C72-4653-B989-18C5B9CCB5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277692$27E9BFAE-F6CA-4739-B22F-1DFF29B67CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01aab0e01cc9bebd3e9424fa8aba46e511433654","datavalue":{"value":"temporal logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277692$96C1FC91-9A3B-450E-9571-ABBDD1B34088","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":"Q5277692$4933870B-66A0-4316-8CDE-319308F91A88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d9b78b2fd40380bd2ff2a376752ab49b31963cb","datavalue":{"value":"https://doi.org/10.1145/963927.963930","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277692$153FA895-5195-45D2-B3E3-044B515F7665","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b22321dffe1e29f479d49ccf68804d46dbf541a","datavalue":{"value":"W2026960406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277692$537C6B0D-AE8F-45E0-9A43-202064ACEEDA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f9a4921d0c1fdd204476a9a11cc39524a8a52f27","datavalue":{"value":"Q124439135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277692$F10C0A10-F656-49BC-B363-1B85B0A605B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9866da76516e89b7c040953cac0120925567d5f","datavalue":{"value":{"entity-type":"item","numeric-id":2767185,"id":"Q2767185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbda42612378ffd3998d64ea80f96ee80cb47fee","datavalue":{"value":{"amount":"+0.9542180299758912","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":"Q5277692$76BB83FA-8882-454B-A310-8723522B1747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96503734333ec57c13a5e181df5be530f9ea8122","datavalue":{"value":{"entity-type":"item","numeric-id":5897447,"id":"Q5897447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8424d1e882b6b7c474807a4e21ca743ff6576c19","datavalue":{"value":{"amount":"+0.948003888130188","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":"Q5277692$78F5A238-CB38-4345-9679-A9910D2BBB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b7bc787f6b502e56f189d9d153b8e4bc8d8126f","datavalue":{"value":{"entity-type":"item","numeric-id":5897114,"id":"Q5897114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66664da464d1f61fd8f600b9c9ff166d00ae4c48","datavalue":{"value":{"amount":"+0.8007638454437256","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":"Q5277692$1105678E-2030-4C6F-8AE8-12DBD62E0D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f15da2b04d2f3b2272e9a4022da8cfa9d5aff953","datavalue":{"value":{"entity-type":"item","numeric-id":4738174,"id":"Q4738174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f95aab10c351aec71297a5152c8fa511a8e1db","datavalue":{"value":{"amount":"+0.7999734282493591","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":"Q5277692$ECCD83E2-74CC-4791-A5BE-1E48139DD0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb8d73244b8204ce298b70d79c39f8565aebb58","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"408745acf6047efa8a9f39e4a4f9ea50e3f3ffb4","datavalue":{"value":{"amount":"+0.7716680765151978","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":"Q5277692$DB75B93B-055F-4BAF-9D4A-82FDBFC92C11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277692","badges":[]}}}}}