{"entities":{"Q739636":{"pageid":741485,"ns":120,"title":"Item:Q739636","lastrevid":52603769,"modified":"2026-01-23T02:13:53Z","type":"item","id":"Q739636","labels":{"en":{"language":"en","value":"Realizable temporal logics for web service choreography"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6618153"}},"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":"Q739636$6F356DD3-6307-414C-99B9-A3F6E14CA17C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61da8202df8ed41a038cfc885ecc0a8ccd5a6cd0","datavalue":{"value":{"text":"Realizable temporal logics for web service choreography","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q739636$332C085B-474C-4083-9441-30115348EA7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94063394768aeacae3da63d4525b57b196cc13da","datavalue":{"value":"1348.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739636$8F30D5DF-A35D-4DA5-B0F8-C4B0C9F2AA6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$ACCE8D9C-BD73-4A46-B4A8-49268522D209","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$283E83A0-26BB-4BC7-892D-772F704DF2EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"706da6f12e9daca9da0b5659a31fd3aa9be7fde4","datavalue":{"value":{"time":"+2016-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q739636$21B5BDA6-9476-40F8-860D-C5C26B278FBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739636$757FE073-3EF9-4CF3-A826-B3815EA8455C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739636$2956C467-9F34-4560-BEEF-97CCEF8768F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739636$75C0DCFC-2E0E-48FE-BF6A-79E4A214F1C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c63e7e44e1d50d8f105aa98504e7d3f2c8811971","datavalue":{"value":"6618153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739636$F514A8EE-9BBA-46E2-AE0B-1CCB2010FC63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17c23c3d6a2abc84029cb6ca54e8b131745004e","datavalue":{"value":"web services","type":"string"},"datatype":"string"},"type":"statement","id":"Q739636$AF0F11D9-99C7-4EE0-9839-B172D837F691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2e210c4d62794db7157ec7df49ad346fa73c17","datavalue":{"value":"choreography","type":"string"},"datatype":"string"},"type":"statement","id":"Q739636$B2A6550B-02F6-4791-9030-6F3F8B84E280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q739636$633684C6-1DB4-4FB2-970F-65D4E15BBA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48f4a285fcf6fa43d0fa7e7bb01dd506e2de14df","datavalue":{"value":"local temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q739636$0479242C-9D45-46C5-BB0C-E0E7AFFAF863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b540c1974e4f91a1ebdbd0611399a8ad7d05f0","datavalue":{"value":"communicating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q739636$BB787DB7-D97E-43DF-AF32-E9C9C21076B7","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":"Q739636$960ACF5B-D4CD-489F-ACE1-98FA6506A2CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f37a7f86e379f519cf1ecd0383b11b975e1b5f4","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2016.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q739636$FF1E5C6C-7540-4EF0-9CC6-5838FCC021F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3decab82e14d7379f23225d3099058dcb8558be","datavalue":{"value":"W2460437814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739636$244A71BA-6837-4649-8E92-9C4B25F31B81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9089a03a77f982e57f3ea3d61d3b306a8ed76079","datavalue":{"value":{"entity-type":"item","numeric-id":703491,"id":"Q703491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$9CE907DD-BCB5-45B6-B4FF-97EDEFC6D106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a7e72b95a10f2dc9da6b549a054bde0a8ed786","datavalue":{"value":{"entity-type":"item","numeric-id":5756486,"id":"Q5756486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$F6541D9A-9916-4F94-9148-9E75C460D851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2182b7779cb179b39a2d6903978c52b8f514522f","datavalue":{"value":{"entity-type":"item","numeric-id":1770427,"id":"Q1770427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$5680A801-429E-421D-990C-1164BEAC60E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bf0074860aa12a5d59078c93c69d13ede297e51","datavalue":{"value":{"entity-type":"item","numeric-id":5897781,"id":"Q5897781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$A28B2BD1-14E8-4E25-A588-1C579C696DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1409cb70fda59fe3d2b6c9b96c0b2febd70386","datavalue":{"value":{"entity-type":"item","numeric-id":2754167,"id":"Q2754167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$D4507921-54D3-46F9-A6A8-30DA47C9577C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163fceefea075b43c7a97126b1282dd624b40c36","datavalue":{"value":{"entity-type":"item","numeric-id":2942872,"id":"Q2942872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$2C78DAE3-1620-4604-8EAC-DFC2087B574A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487ea18e7fd77135f29a2e0fdd56ee6b8b0399f3","datavalue":{"value":{"entity-type":"item","numeric-id":3613058,"id":"Q3613058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$849B9E86-42D0-4208-9C8B-2158C2B545EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec39ea599cc55360badb4291e2e6f497e22d0cd","datavalue":{"value":{"entity-type":"item","numeric-id":4649300,"id":"Q4649300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$BF9EA863-EC01-4358-B26C-2680FEC6A04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a091fa96805ee8cc47c29cf15da844810699fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$B6A410FC-FB09-4273-9AE3-61EC0F74DC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ab62e1149400c4a2c7766bdf251dc3eebd2092","datavalue":{"value":{"entity-type":"item","numeric-id":5431330,"id":"Q5431330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$5BF5C431-F1DA-4D9A-893D-2C76C6C08550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c97726108eb5c94e4f01a19ba698615051e785","datavalue":{"value":{"entity-type":"item","numeric-id":1886450,"id":"Q1886450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$929063D0-CD89-4283-8181-52D5DEE1CB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$9574633A-A0E7-40A5-A3BC-44F8D389F43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e5c626aad4a96137be71c5e456d400a7c480ece","datavalue":{"value":{"entity-type":"item","numeric-id":5394322,"id":"Q5394322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739636$4F988B50-50FC-4CD4-9192-98CE15860DCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d68288e14d828f4303e3e648d72d81b8c154cae0","datavalue":{"value":"10.1016/J.JLAMP.2016.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739636$74036537-2644-44A8-B054-8CD27C49B78B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea9152e3593d995114de2b2a3d86971b3e42623","datavalue":{"value":{"entity-type":"item","numeric-id":3613058,"id":"Q3613058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba6e73f1cefa70847937a586336cf417fedfd91e","datavalue":{"value":{"amount":"+0.8261276483535767","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":"Q739636$5150166A-5D44-49B0-88EB-93DD999DA49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8a49080728b8d9549936ed40ddfdc4c13da3b6","datavalue":{"value":{"entity-type":"item","numeric-id":2942872,"id":"Q2942872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e7085b0af6bdc5dc88c52de7bb879ae1247c6f","datavalue":{"value":{"amount":"+0.8075633645057678","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":"Q739636$C8A4EDC9-2AF7-49B8-8CCC-CEC7874B6EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba69dd4bd26d5a289fcf68d826e70ea84c3f7f50","datavalue":{"value":{"entity-type":"item","numeric-id":2888201,"id":"Q2888201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97eb593768041b32859e662b49183cf2219378c","datavalue":{"value":{"amount":"+0.7883524298667908","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":"Q739636$19DC9FF4-51E3-4805-B8F2-D14EDCB4D51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eadfeae45c734aa0c614c5a03c7596e7f3055b20","datavalue":{"value":{"entity-type":"item","numeric-id":2875284,"id":"Q2875284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e326859739bbb717124458588867b8e9e325d8","datavalue":{"value":{"amount":"+0.7828755378723145","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":"Q739636$885E2F55-1699-48EF-B8C5-BDD14F3C0FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73ac661d8552c11208ebe6d154ac8caa5ffb74b","datavalue":{"value":{"entity-type":"item","numeric-id":2206787,"id":"Q2206787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac2376a7d4af0711b9cda8e4a9c3b2eea56e522","datavalue":{"value":{"amount":"+0.77853924036026","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":"Q739636$7E138946-3223-4A9D-991F-A1951E732DDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:739636","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:739636"}}}}}