%0 Journal Article %1 journals/is/SilvaMF06 %A da Silva, Paulo Pinheiro %A McGuinness, Deborah L. %A Fikes, Richard %D 2006 %J Inf. Syst. %K dblp %N 4-5 %P 381-395 %T A proof markup language for Semantic Web services. %U http://dblp.uni-trier.de/db/journals/is/is31.html#SilvaMF06 %V 31

@article{journals/is/SilvaMF06, added-at = {2022-01-03T00:00:00.000+0100}, author = {da Silva, Paulo Pinheiro and McGuinness, Deborah L. and Fikes, Richard}, biburl = {https://www.bibsonomy.org/bibtex/29e4c8618f34574d02e9169e79330392b/dblp}, ee = {https://doi.org/10.1016/j.is.2005.02.003}, interhash = {452d0e537a0fd57b4ab495ce380abf55}, intrahash = {9e4c8618f34574d02e9169e79330392b}, journal = {Inf. Syst.}, keywords = {dblp}, number = {4-5}, pages = {381-395}, timestamp = {2024-04-09T03:34:50.000+0200}, title = {A proof markup language for Semantic Web services.}, url = {http://dblp.uni-trier.de/db/journals/is/is31.html#SilvaMF06}, volume = 31, year = 2006 }