{"entities":{"Q982939":{"pageid":984787,"ns":120,"title":"Item:Q982939","lastrevid":65881560,"modified":"2026-04-12T06:01:09Z","type":"item","id":"Q982939","labels":{"en":{"language":"en","value":"Model transformation and formal verification for semantic web services composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5762176"}},"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":"Q982939$433CF763-8573-481A-BB04-F134B123472A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51fbedc2a730aa998b9c9cbb0e926728575f272d","datavalue":{"value":{"text":"Model transformation and formal verification for semantic web services composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q982939$0B0CBB6D-D1C7-4AD9-97B8-70A1BFB4C5DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce4396464d9b4e9eb465229959a8b68281906519","datavalue":{"value":"1192.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982939$3A8E3363-6BF4-465D-981B-CD1ABEA4DE1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"363da9a51131230c0350323eb7b7bc6e606e0720","datavalue":{"value":{"entity-type":"item","numeric-id":982938,"id":"Q982938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982939$91BCF29E-463E-4FDE-BA8E-225886426986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c773bf398f3032efe7694931d933eb7fa72875fa","datavalue":{"value":{"entity-type":"item","numeric-id":639078,"id":"Q639078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982939$769260BB-E180-4ECD-9B11-CF132B2D55C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a64fc42d1acf03a4e5b747fd62fb05c72aa8639","datavalue":{"value":{"entity-type":"item","numeric-id":85683,"id":"Q85683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982939$8730F7BD-60A4-4981-BF1B-3202063010EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db5779aca83fc6955aa16e220e67e96fbf4b9556","datavalue":{"value":{"time":"+2010-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q982939$D36CCB36-0ADA-419D-B35C-A192BEFE26DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982939$AF389945-F45E-43BC-9B89-263E149EACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982939$A574A5D3-84EC-4955-8D3C-3E976A0DC8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982939$36D5A960-4753-4683-BE71-6E3E5245B982","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d6d745e6fb3eb7f70f41b53179b72028ff2e827","datavalue":{"value":"5762176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982939$3676A68D-9B95-4654-8F9A-817583DF7C9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b13fdba1522b49e7caf886dd3085b203ff2432b","datavalue":{"value":"semantic web services","type":"string"},"datatype":"string"},"type":"statement","id":"Q982939$BE1609F0-8648-40F7-94D0-EA2E36577A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3febf9b5d5a439f46625422cc6b1339e186d624","datavalue":{"value":"services composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q982939$5EF7C4BB-7B34-4776-896A-F20E0059A7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36894352476fc2ebf9b50730d142b3e5b8ccfe1f","datavalue":{"value":"OWL-S","type":"string"},"datatype":"string"},"type":"statement","id":"Q982939$F92F19F2-4A70-4A26-BB97-6727D9D1F5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7c826a5780d22d9a174de51c3a633554aea0a5","datavalue":{"value":"coloured Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q982939$EF520189-86F7-48C9-BC54-975B824ACACE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d61c12c39a91d759918684e74fb715faa919e5fe","datavalue":{"value":{"entity-type":"item","numeric-id":17128,"id":"Q17128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982939$6DC254DE-EA26-4CE1-8A6B-ED873446E1FF","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":"Q982939$E2379029-98AC-4EB2-8A7F-00B57905C6D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6487e3f1db0a81ed6b876daf61a208258e64cdaa","datavalue":{"value":"https://doi.org/10.1016/j.advengsoft.2010.01.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q982939$07AAAE60-A797-400C-94EE-4E9938B18AB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7496e8c025ed8fe35b2aff6dcd35ce3c042cc25b","datavalue":{"value":"W2086162616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982939$0FB04811-F681-47BB-9DF0-E7BFCFA04500","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9569d51dace8941ac2c01e7d729b8a6a204211fc","datavalue":{"value":{"entity-type":"item","numeric-id":5428886,"id":"Q5428886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982939$5129D726-859D-4CED-B1EB-C6398B10DCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dcdddf3678b60178f89ee27b1a4feba3549f448","datavalue":{"value":{"entity-type":"item","numeric-id":1398902,"id":"Q1398902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982939$F28ECFFC-8175-440B-BB62-BA5E4D8151CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c93aa020cf5800686368016dc4e9788d9ccc306","datavalue":{"value":{"entity-type":"item","numeric-id":4348471,"id":"Q4348471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982939$360BE1DA-4B3C-4621-A1F0-273E99B650FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fc66d54c75600a1409f5c11fdbabb5f276b3a6e","datavalue":{"value":"10.1016/J.ADVENGSOFT.2010.01.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982939$7B8BD640-4712-4B14-9A24-DAE7AA3D5153","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6616427b3970600c2db0e40b44e6a6dd1a9ba24a","datavalue":{"value":{"entity-type":"item","numeric-id":997228,"id":"Q997228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3260033b409e40c293576c58609133e73ea0b5","datavalue":{"value":{"amount":"+0.7701252698898315","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":"Q982939$9C533ABD-CAB1-4E29-95D6-3316DA604DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6fdbff0d4267c8e99699069179fe3886fa6cd0","datavalue":{"value":{"entity-type":"item","numeric-id":3610940,"id":"Q3610940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6265860828e9f18796f756282e793cbff8c13327","datavalue":{"value":{"amount":"+0.7686492800712585","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":"Q982939$90FA52C1-1D49-4193-8479-17852FC08A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c3fd91fca04eaf5cc1f0b5fc852f816c59b37b","datavalue":{"value":{"entity-type":"item","numeric-id":3446027,"id":"Q3446027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24c11bb707221b0ed449d184597b63a0366613e","datavalue":{"value":{"amount":"+0.7657846808433533","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":"Q982939$C56931AC-3656-474E-8E6A-211A2E9FCFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe9cff99f0a705693730d6c9c6a931d07d651a1","datavalue":{"value":{"entity-type":"item","numeric-id":1398902,"id":"Q1398902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250e0bbbba992d1165c8628c1d5c46c1e84734c9","datavalue":{"value":{"amount":"+0.7634530067443848","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":"Q982939$DCE87461-B39B-47CB-9DD9-B0752D272619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff40ceebe7f920d2715b74baf0dac4ab1db054e","datavalue":{"value":{"entity-type":"item","numeric-id":2988998,"id":"Q2988998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4871b8c8c2a09286fa9bffafdc42f5191752aaad","datavalue":{"value":{"amount":"+0.7460721731185913","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":"Q982939$3B2311C0-7E4F-44A3-89A8-56E212CBF8A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model transformation and formal verification for semantic web services composition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_transformation_and_formal_verification_for_semantic_web_services_composition"}}}}}