{"entities":{"Q2372184":{"pageid":2382927,"ns":120,"title":"Item:Q2372184","lastrevid":72630654,"modified":"2026-04-14T06:11:06Z","type":"item","id":"Q2372184","labels":{"en":{"language":"en","value":"Specifying and verifying interaction protocols in a temporal action logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5174336"}},"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":"Q2372184$127F3382-63C0-4B1E-8EDE-F9740C499E23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"053200bf2facc4c4bf0afd6aa44117ff8d59dc83","datavalue":{"value":{"text":"Specifying and verifying interaction protocols in a temporal action logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2372184$67DC7C3E-DCFA-4BDF-81ED-6046166FB8D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"666fd02ec495bd09cbbfbfae729d9cc3e47f940e","datavalue":{"value":"1122.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372184$C5C2CA0D-18ED-4305-8023-1AB860AFEE86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d256bccf6f801a12fb431d179f3dfdac24eba28","datavalue":{"value":{"entity-type":"item","numeric-id":596474,"id":"Q596474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$7FF876CD-AD05-4FE7-9E28-22E83F54CCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a95c81b1b983e32ebe3edd662c771481c22c0947","datavalue":{"value":{"entity-type":"item","numeric-id":596472,"id":"Q596472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$14427480-708E-4492-935E-D92622D9A1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08aa0606712b57b04bb895cd11bde1d520e10b26","datavalue":{"value":{"entity-type":"item","numeric-id":1344884,"id":"Q1344884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$F89B5FE7-5935-43DD-A04C-AF7DD9A4C60D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$2A389AED-6087-459D-BE23-9B77686A650D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1c38db5340c04383b1791c03458c798d747c85","datavalue":{"value":{"time":"+2007-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2372184$CE638E0F-8A9B-4AE3-A156-FE79713222D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372184$5E21CB88-E909-4DCD-9AAB-70EDA0A587FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372184$0626F59B-5833-4C20-9933-2FF31BBEE337","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f03752aca2942f95a7b435ec7cf4a4ae40953904","datavalue":{"value":"5174336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372184$EB113CFB-D834-4F39-94EC-DBA1D4B1F641","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad58a226eff21a70be845cd71cac40ef99497fa1","datavalue":{"value":"multiagent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372184$C3554D48-4B20-4983-BD53-F1CA00FC23C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372184$BEBD7054-8507-417D-BFF6-1D88614DA989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372184$9485C72E-2344-491C-AF9A-3D8C4A4AE88E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$24E12076-A7BD-4B77-975F-A1E115F1F3AA","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":"Q2372184$1B8E6406-B595-48EA-9B8B-51A78B51411A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea7c3de4abe08c9bc155dad3ea07bbc416191b6b","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.12.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2372184$998E8342-4754-4C2A-A37F-359AAAD2BC68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00078e7bb547a277946a622b8c738e616234cb2c","datavalue":{"value":"W2092139396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372184$1A66B93D-7FEF-4FC8-B4D2-892F0D08DCED","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c0a5e623d9a9ea75b2a5d6892a6c6316b2a28a24","datavalue":{"value":"Q58207621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372184$228C6423-ECBE-450E-AF4F-B36578E922C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a40f9e0e3f9e6847ea54e4227b4f1cdbd6de40","datavalue":{"value":{"entity-type":"item","numeric-id":2844044,"id":"Q2844044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$F8790D79-2825-4C29-AF63-F49D693AEBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692f33298e12548a7de121e9b379ab5a875cd0fd","datavalue":{"value":{"entity-type":"item","numeric-id":1383350,"id":"Q1383350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$ED4DE044-75A2-4032-B6FD-DEE7BB09460E","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":"Q2372184$ED223A35-D94A-418D-A6FD-656215E5BB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4767512d469d87b5bcef85b5448607c482c0547","datavalue":{"value":{"entity-type":"item","numeric-id":4522330,"id":"Q4522330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$FCC0DA22-C7DE-4F24-97F6-B7796B842618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fc07c83e1fceab51f852eab30a520cc09d0633","datavalue":{"value":{"entity-type":"item","numeric-id":5897330,"id":"Q5897330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$A4E63FE3-8FB6-414C-BFAB-55176E0FB271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e640ebbd56b8703368c2ce9091e183d3b7b23ca","datavalue":{"value":{"entity-type":"item","numeric-id":5394113,"id":"Q5394113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$BB032474-E0E6-4C2E-AB8C-1976488B8D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23a7df43fd0e45caf47914519fca90098cc6ed18","datavalue":{"value":{"entity-type":"item","numeric-id":2852084,"id":"Q2852084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$017D09E3-00D3-4FA1-89E6-88D8FDD2599B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28e975c63916365e7cc071bb1b99a0b40a103ae","datavalue":{"value":{"entity-type":"item","numeric-id":1407694,"id":"Q1407694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$1754F6EC-D4FC-421D-8AB9-178D27209557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641f7a1533f6ac8244a7b3a6697fda0ed03c12ef","datavalue":{"value":{"entity-type":"item","numeric-id":6044107,"id":"Q6044107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$6CC2CE57-F285-4770-9122-36D0BAF88D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a61cdaa469b53d71144c66713ed5cb34575b94","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$3448A35D-846B-4AAE-9567-5258B24FF018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62c573142ce8aa8359285c2c9b666189dad8d7b","datavalue":{"value":{"entity-type":"item","numeric-id":1174513,"id":"Q1174513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$CEA13A0F-F1E7-4329-9E94-3B8F938EE2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64518fcc65551beddd4b9bec8720e5ef2c67af6","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$BD8A1EFB-51AB-4783-B501-28BE4BBD45A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d58245da881f3cdb86d99b65a47aa10bf7772d3","datavalue":{"value":{"entity-type":"item","numeric-id":4016561,"id":"Q4016561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2372184$A16C38B1-A84F-4F15-83F1-C5A103516B44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcda094cbbab095975aa399c25407b1a0c0a85ff","datavalue":{"value":"10.1016/J.JAL.2005.12.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372184$000DFE41-C6AF-4788-93B8-435B441787C7","rank":"normal"}],"P1643":[{"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":"73f03e42dfe1c690730c7ad125bcf82834f34eca","datavalue":{"value":{"amount":"+0.9646012187004088","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":"Q2372184$6D61CD7F-ECD2-4F5E-A30A-3E8EAEE5167F","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":"c77760632c864a7b3707217c98b075d62c1427de","datavalue":{"value":{"amount":"+0.9306530356407166","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":"Q2372184$0B2F89EC-91EC-4679-A0BE-FE0AEB6F241A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc52187a305bff061eba083a7906a68c2e4b81d3","datavalue":{"value":{"entity-type":"item","numeric-id":2852084,"id":"Q2852084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43786109af8836f7614947232afb26aa53879f5a","datavalue":{"value":{"amount":"+0.8577922582626343","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":"Q2372184$974038F5-321F-4314-81A6-46E4B82DA809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796541e19ed0f056e0d5135a8775b0d6b1f2a825","datavalue":{"value":{"entity-type":"item","numeric-id":5706839,"id":"Q5706839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"716af5ab5dc75eb3844392b30924aa42eecd727b","datavalue":{"value":{"amount":"+0.7765249609947205","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":"Q2372184$22209C5D-CC0C-4EFF-8F5E-D6278AECB73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85549b491cf324cf90218ee63dd7292741bab3ab","datavalue":{"value":{"entity-type":"item","numeric-id":4799264,"id":"Q4799264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da28b8cf25446054be56787c2b6c483963db32a2","datavalue":{"value":{"amount":"+0.7563856244087219","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":"Q2372184$0070F6FF-9444-4F65-AF88-F0608D5454D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specifying and verifying interaction protocols in a temporal action logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specifying_and_verifying_interaction_protocols_in_a_temporal_action_logic"}}}}}