{"entities":{"Q2200647":{"pageid":2211390,"ns":120,"title":"Item:Q2200647","lastrevid":53826575,"modified":"2026-01-25T19:01:41Z","type":"item","id":"Q2200647","labels":{"en":{"language":"en","value":"Type theory based semantic verification for service composition in cloud computing environments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250291"}},"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":"Q2200647$4981F006-FA36-4A0D-BE20-8E44D4C95769","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"787d2b456b2268e71a3b0eb9cf1866fcda3d7c52","datavalue":{"value":{"text":"Type theory based semantic verification for service composition in cloud computing environments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200647$6D62F9F4-24C3-4115-A59C-1DA021707692","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f752eb85f6e4aacade14f2a806847dfc45d573e","datavalue":{"value":"1441.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200647$FC53342D-5425-47C2-9BAC-5958E77EFAA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a4cfd96f7f3afbead91e21cabf4fa9279f9978d","datavalue":{"value":{"entity-type":"item","numeric-id":1724812,"id":"Q1724812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200647$41EC646F-C973-4CE7-BB83-08967CF9B177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd06b614f781255384866c6a1af6bf584c35735b","datavalue":{"value":{"entity-type":"item","numeric-id":2200646,"id":"Q2200646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200647$DD929F91-333E-4BE9-B70C-DDF460F5C9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c080a0b2b0f110d08eb230bb82a21dcca0e383eb","datavalue":{"value":{"entity-type":"item","numeric-id":223109,"id":"Q223109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200647$B59E964F-356E-4746-970A-E03AACF502B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200647$A8357734-3AAB-45D4-8CC2-DB386799F8EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01916a707effd1d89230bb721fc7f1bfff6d69cd","datavalue":{"value":{"time":"+2020-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2200647$329F7334-35A5-46CA-AE92-14218F0BBBB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200647$5CE0C1A0-57DC-442E-BE19-F7993C370E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200647$F5AE569B-5183-4158-8E62-9800C827FCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200647$276046F2-160D-4373-B201-7C9C1DA5AB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200647$C2043791-8CEA-46B8-BC91-DD923B9FAA85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cc04e061937b6c3550eabdd6ec729d992bd81cd","datavalue":{"value":"7250291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200647$49A5316F-2B00-4117-A760-F389B5096A76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200647$9AFB17B9-2AA8-4B2B-BACF-93F4C3CF9FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"187bd8c0a00edf533e073a2fcc2b475ea072059e","datavalue":{"value":"cloud service composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200647$53951AEC-C846-4F6B-AE7C-5CF9A71C4493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6bbdfd28a4e2d6031a9474952ece8eb17fcee30","datavalue":{"value":"semantic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200647$1E5633FA-5653-4C1E-A90A-73822039F1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"595f4a0aa1908e30d142cab07e141137b040ce35","datavalue":{"value":"theoretical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200647$CA5745EB-65D5-4DB6-B5D3-1DD2D17FD5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a70988e3e6ea2d26702f56991f315d3d60c7063","datavalue":{"value":"software-as-a-service applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200647$7C6E19B6-8E74-46E4-9807-8E0B339D8CE8","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":"Q2200647$7ECC9970-4F86-41C6-8EFB-AF19CCD70CCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3e4520de466b3d858b1aa2f3d5b465fe0c32514","datavalue":{"value":"https://doi.org/10.1016/j.ins.2018.08.042","type":"string"},"datatype":"url"},"type":"statement","id":"Q2200647$25AE37B4-7248-4EB7-A721-603D57F29101","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b66b558ef776fe92d346a49a58f8ce82c6083a8d","datavalue":{"value":"W2888554338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200647$9697D3D9-89D8-4DA6-BCD8-73833152AE9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae72ca3eb9836c81238e2dc57e2e0c6f01268dd4","datavalue":{"value":{"entity-type":"item","numeric-id":5741563,"id":"Q5741563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200647$9DBDEA11-7375-4E3E-814E-62B0F2D483DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7801674a23e06a59d417f3e874ab8fcaac0ff8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200647$E4A2E9A9-34AB-4217-8616-2B56C55752AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200647$DD745FE3-C00B-4FE8-B8C0-DEF2B306B9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a06252384a0241337bdf3c51e24a574fd7b9b29","datavalue":{"value":{"entity-type":"item","numeric-id":5900554,"id":"Q5900554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200647$3BD0DDAE-6798-45C5-98A0-B8556B70F524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3714445feaecb01348c47d8cc9de8195e7231f66","datavalue":{"value":{"entity-type":"item","numeric-id":2980980,"id":"Q2980980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200647$858316D6-2B4D-4767-A8BC-7CE063D2F187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78195a80b4448c1880d219e87826e248632a1205","datavalue":{"value":{"entity-type":"item","numeric-id":264996,"id":"Q264996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200647$ECB95593-F83B-4BD9-AAD3-402456CFEBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bce0021a20e6075192b92537623e64018b293b","datavalue":{"value":{"entity-type":"item","numeric-id":4099614,"id":"Q4099614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200647$C85198C8-A315-4998-B1E6-24852C8045B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c79286c98fd281f59f5512eef5c2c6a8309c476","datavalue":{"value":{"entity-type":"item","numeric-id":2874304,"id":"Q2874304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200647$E1F73E10-1D88-451A-99AA-A767C62C1814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7249997795b9d02768ef290f3b6e95e3bd93aadf","datavalue":{"value":{"entity-type":"item","numeric-id":2892728,"id":"Q2892728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200647$CFC9DD0C-23F4-4956-80B0-9DA5F77A6810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f02cfdf501f88e8aa0cfb03dd0f5e6c970d97ba","datavalue":{"value":{"entity-type":"item","numeric-id":5900851,"id":"Q5900851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200647$AC64CE81-3B3E-4DF1-AD87-E393239D57A2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"75bac8a366cbad513a6a9a3470ebb586a7d84320","datavalue":{"value":"Q129399723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200647$4D834C49-1BA1-4617-A648-0C9CFD8BB615","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"689452b7329345531cfc8bf0e899058614d9987d","datavalue":{"value":"10.1016/J.INS.2018.08.042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200647$5C354464-11C3-422F-B4CE-B494E1AB8E87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e710b7336aed660fcac33952ae0a3601151a40","datavalue":{"value":{"entity-type":"item","numeric-id":982939,"id":"Q982939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0dfd5b7f3083541a021da62b747f499baa7918d","datavalue":{"value":{"amount":"+0.72139972448349","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":"Q2200647$8D35E819-C41D-4699-923B-FC03C8139DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447c91e5de540174beb4ce865164a1a9fe3014b8","datavalue":{"value":{"entity-type":"item","numeric-id":826351,"id":"Q826351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0061217b90324a179796efb0d570900b6bfb484","datavalue":{"value":{"amount":"+0.7160307168960571","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":"Q2200647$BB7ECB9B-B6F1-4412-84FF-EE7104E0CC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c72e67ebc2241e39bc7e75a53c22763363d656a","datavalue":{"value":{"entity-type":"item","numeric-id":1941851,"id":"Q1941851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb407f0efe65ac30c9b3d9954d969bfc931e3f1c","datavalue":{"value":{"amount":"+0.6912004351615906","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":"Q2200647$2E907DFF-621D-4672-A029-9EB5DED4E600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"795ef1c766d55772596e4caeb2980c65c0b33838","datavalue":{"value":{"entity-type":"item","numeric-id":3066118,"id":"Q3066118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ce7417830b286cdb2fc44959cf97d55126149a","datavalue":{"value":{"amount":"+0.6718147397041321","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":"Q2200647$5F4D9EEA-FDB2-4CA3-82F1-B30FD0F38EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e653d686a63c0bc75c5143dad29fff1db89e1187","datavalue":{"value":{"entity-type":"item","numeric-id":3501865,"id":"Q3501865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bedb9ba060b8dd1fe5b761e3a5d5f2b835a5084","datavalue":{"value":{"amount":"+0.6689244508743286","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":"Q2200647$CBBECC72-66A3-4E87-9FB4-8BEA5D914D85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2200647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2200647"}}}}}