{"entities":{"Q615897":{"pageid":617673,"ns":120,"title":"Item:Q615897","lastrevid":63323394,"modified":"2026-04-11T12:05:55Z","type":"item","id":"Q615897","labels":{"en":{"language":"en","value":"Validation and verification of web services choreographies by using timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5833476"}},"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":"Q615897$DE804CFC-13C5-49BB-954F-AAB2E882B278","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c9ff1d829b70f72bd587d2ef13cb1feaa79e4eb","datavalue":{"value":{"text":"Validation and verification of web services choreographies by using timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q615897$0E9D96DB-7ED8-49E7-8E6E-3595B5CE07DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bbf96ef8e2a10f7077b7f7285a4b98bcdf9148b","datavalue":{"value":"1207.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615897$C89EA103-F1CB-45F5-8AE4-1B53E4418AD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e309cc30096e284f5da1fee685dbaa85a390508","datavalue":{"value":{"entity-type":"item","numeric-id":260793,"id":"Q260793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615897$48D2A9AE-E312-4F18-B7D5-E7D767AC9935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5f69e36ea2bde8610a5b6aca8ddac16b034b1ed","datavalue":{"value":{"entity-type":"item","numeric-id":615896,"id":"Q615896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615897$1F928B77-58AA-49C5-B60B-787C9F8302AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f00d76f2beb673643e2f767b40abd30faf48df5e","datavalue":{"value":{"entity-type":"item","numeric-id":436360,"id":"Q436360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615897$F9E5326F-633B-4B40-9A38-A890DB5AD1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f1b2be9732015562188617a574a6fc2c554f4b","datavalue":{"value":{"entity-type":"item","numeric-id":300303,"id":"Q300303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615897$2FDC3E46-545C-4E66-A3CD-537C9315803D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615897$EFF21DD1-895D-4034-8092-3628DC6D308B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q615897$CA51ACA2-47DF-4945-BDE0-A7889053A510","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615897$75E318E0-0ED0-4C48-8FBD-7FE3DC7204A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615897$15976990-0CCB-4D07-89E0-097F1B1BD3A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0996af513b76401b04edbed633997cc89d1862b1","datavalue":{"value":"5833476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615897$3333FFBB-5572-42F5-B2B6-E6745A9527B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17c23c3d6a2abc84029cb6ca54e8b131745004e","datavalue":{"value":"web services","type":"string"},"datatype":"string"},"type":"statement","id":"Q615897$CC6E85FB-24E7-4B6F-B0E5-BE28C491FBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aff57ee588ae4da6917a03fa2588ba6b563bf9ac","datavalue":{"value":"choreographies","type":"string"},"datatype":"string"},"type":"statement","id":"Q615897$C32E35F7-482F-424D-9ACC-4A4A019E346C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ab8e922bbb8d37e6cb1b1875919a5d7037143c3","datavalue":{"value":"WS-CDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q615897$6CA76B54-DFA5-4B1B-B4B5-8DEB1D148387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q615897$83B5F31E-ECF4-4438-BE39-471DBA54E8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16d9d194f46adedc91196f5b7183dd80e72e7f5","datavalue":{"value":"formal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q615897$CFB7F8B9-77DA-4E49-A9DB-CAC766FF77E2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615897$57D70FE9-C60A-4341-9E93-BC662EE1AFF3","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":"Q615897$579126F5-00CB-4261-AE97-9C02800AFA0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4843134d586f71bef9824fcfe58090fb1932e19","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2010.02.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q615897$077E7207-A9B6-4A6F-B2A0-430C1C2DF214","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c410879a191c9d72c6acd501425bb2fd92f5ece","datavalue":{"value":"W2070813196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615897$0BA01288-0254-4C7F-84FE-ECF7A7AA65BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b628579247ec80dbd3352c8077186a6cb372e951","datavalue":{"value":{"entity-type":"item","numeric-id":4739565,"id":"Q4739565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615897$B4C1CFAE-1D3F-4709-9BC5-C3711CB6A9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615897$58AE9969-CD9B-418E-9E0B-74663EBBEE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615897$2CA30F62-03CD-4F4C-84E2-C3A42E984FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caaa0a7bcaaaa54206e64eb64f4398aaa3e84e58","datavalue":{"value":{"entity-type":"item","numeric-id":2847798,"id":"Q2847798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615897$1F57DB1D-38B6-4BAD-ADF9-BE1ABF33D1A8","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":"Q615897$A077F617-2DED-4D44-9312-2BECDBABF677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615897$63BB18DD-BB43-4553-B70A-79754DEE0379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615897$D49F98F6-D10C-4D11-84D5-BA53C690A276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615897$2D82B9C9-F03D-4989-92B7-81278212BEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3c9708d962233359dd26b5e6a4de387eb1daca","datavalue":{"value":{"entity-type":"item","numeric-id":2390034,"id":"Q2390034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q615897$61279E52-22D8-4FAB-8EFD-0AF938C1D461","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a698eefcce85da03a01c76927d475d57da91f94","datavalue":{"value":"10.1016/J.JLAP.2010.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q615897$2D2E3B80-ACF2-452E-8481-8528E159E847","rank":"normal"}],"P1643":[{"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":"691822c5c2f8384aa008725144d35e681c98c3bd","datavalue":{"value":{"amount":"+0.8388400077819824","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":"Q615897$E6754D20-28A6-4DA3-A3DE-37530EB6C215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20bf87eb6f8d151d9af013e059dc309f919a63d7","datavalue":{"value":{"entity-type":"item","numeric-id":3464408,"id":"Q3464408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c471e4c0d77bdf4a2dea10e717a7985ab6832a","datavalue":{"value":{"amount":"+0.7797971963882446","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":"Q615897$F6BACB2E-31FD-48E7-B2F3-17E7BD0ED151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"908ab764b769dd7637400de2cfd25fd51a669efb","datavalue":{"value":{"entity-type":"item","numeric-id":2390034,"id":"Q2390034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf300380211acafbe84b67d0ed34448b3d0eca8","datavalue":{"value":{"amount":"+0.7785837054252625","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":"Q615897$E68C867D-F78D-450B-9C9F-1F92EB9E0336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbc4e2a8541ba84cc3530f43f83bf863ef09ec97","datavalue":{"value":{"entity-type":"item","numeric-id":436361,"id":"Q436361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4dccd3143ec120069c81b587e3976cb1c18f3d4","datavalue":{"value":{"amount":"+0.7667974233627319","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":"Q615897$E00E37AF-20F9-4E1E-B59A-A30974531468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a056d32ae36588e7e06d37974ab1b8c9889217e","datavalue":{"value":{"entity-type":"item","numeric-id":5179212,"id":"Q5179212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b45aa436b785c8e1150104d5eef29552ada8884","datavalue":{"value":{"amount":"+0.7585574388504028","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":"Q615897$B378E7A0-FB40-4D5C-B90E-2EA2DC53A0C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Validation and verification of web services choreographies by using timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Validation_and_verification_of_web_services_choreographies_by_using_timed_automata"}}}}}